Package: cbmc

• 5.95.1-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]