Package: cbmc

• 6.6.0-4 (main) [trixie, sid]
• 5.12-5 (main) [bullseye]
• 5.10-5 (main) [buster]
• 5.6-1 (main) [stretch]
• 5.2-1~bpo8+1 (main) [jessie-backports]
• 4.9-4 (main) [jessie, jessie-kfreebsd]
• 4.1-1.2 (main) [wheezy]