cbmc

Reported FTBFS bugs

• #984008: ftbfs with GCC-11
• #1006919: src:cbmc FTBFS

Cross build dependency satisfiability

See also

• bootstrap.debian.net
• debcheck

Cross builds

No build performed yet.