Ubuntu
cbmc package

Branches for Quantal

Name		Status	Last Modified	Last Commit
lp:ubuntu/quantal/cbmc		2 Mature	2012-05-20 07:55:28 UTC 2012-05-20	10. * Non-maintainer upload. * Update fix... Author: Salvatore Bonaccorso Revision Date: 2012-05-20 07:55:28 UTC * Non-maintainer upload. * Update fix-FTBFS-with-gcc-4.7.patch patch. Fix FTBFS with gcc 4.7 on kfreebsd and hurd. Thanks to Steven Chamberlain <steven@pyro.eu.org> for the patch. (Closes: #673579)