-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 1.8 Date: Sun, 03 Aug 2014 16:22:33 +0100 Source: cbmc Binary: cbmc Architecture: source i386 Version: 4.9-1 Distribution: unstable Urgency: low Maintainer: Michael Tautschnig <mt@debian.org> Changed-By: Michael Tautschnig <mt@debian.org> Description: cbmc - bounded model checker for C and C++ programs Changes: cbmc (4.9-1) unstable; urgency=low . * New upstream release * All 4.7 patches merged Checksums-Sha1: e25de275bfaf539cb5d5276fb2f67e2d3e6e4697 1746 cbmc_4.9-1.dsc 3ca63375e8e5d1544334d0d43a72362fdebbf14b 4247646 cbmc_4.9.orig.tar.gz 0f2839ca1af50a6f2e72af3a49188063d0a82f12 8732 cbmc_4.9-1.debian.tar.xz 5c8c66b3c5f49424732eddffb201055dc21bdf7c 2809484 cbmc_4.9-1_i386.deb Checksums-Sha256: c5bf25352e2505b001bae3fc1c3817f0745ac07a804c68ce6ee106a95edce9f5 1746 cbmc_4.9-1.dsc 5a09a9664a0f5b7e0403e5f45fde8407dbdcf5e99ea4513ad88b325bc8693207 4247646 cbmc_4.9.orig.tar.gz 0ac63a4a60572dc3220b9174b2f65cc7b42ad657ec815edeb2026bb1e7d07126 8732 cbmc_4.9-1.debian.tar.xz 8846a251ed98c99b29562d00f479a1a44a554f5674f4599cdee275a2e6803118 2809484 cbmc_4.9-1_i386.deb Files: 00365fb9854ac636663b85d399316920 2809484 science extra cbmc_4.9-1_i386.deb 9633c7d2241016fedc062919b3d0ae13 1746 science extra cbmc_4.9-1.dsc bfa66b211976a1fa5ec032571f62bc1c 4247646 science extra cbmc_4.9.orig.tar.gz db5c838ec4cfcfc4c174168f364d9b80 8732 science extra cbmc_4.9-1.debian.tar.xz -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.12 (GNU/Linux) Comment: GPGTools - http://gpgtools.org iQIcBAEBCAAGBQJT3lpDAAoJEKjvEonjOGdB3N4P/jiTfkIH2PLuJxSuPk97+N5c pRAEqwXXam+ZSnPxzmfOs8PDYHtBbBfBni9TEOqPl1r61yTXzpTNPpMrGJCNArrY mYG95TcAekMQnqC2j61QVCVcwk16ohqyLsPoRnmQUtBTFzO+lIJHGhD0tb44aDBu Hq8mxg57JPAI6lOezV+aSsSp8ormwJ3vk8J0odoHfk/6N3RIPcrrkLCPsF4cFKMm ALvgmPFnbGxatb+tE7kgr2M81j9Sw8YpUpS5VDsjS3q8HTwIFSqKhobfxFqaK6Ih lp/XP1ITTpL8IzY5Nzt7AQHHF4U246WlAjU+L789YrRWd2YYH3BFEY1aImLRFoMZ pZCIWzNVS+2jF23kKDil+vk+RdBAtjnOrELO4cjKE13n96ywzbVX9P7zVL2/5/j9 XPidKgiEDtiTrw4vfwm0pWR86ldmjqgHZ9CSyWdjKQQXitOxs653+q/Fj509u1am X008lujrqEQMyn1RsBCECtcpR/HJJLChrZudfJFj0H0lyF7lUwo/XvVLSyv0QFPg gM+mUlYFK5LmSpjeB/BrZWQM/ONyKYWWMcd1wWTaImT0y21ScSNLY2vM4zVZvWIf ASUJUh08yhj2AnZDeMCcTzoixMygPWWda6wlkbYjKpLLWLtJyC2/GB2C8QEkkZDp mWAECC1fowyHrSqvWtGt =qdRz -----END PGP SIGNATURE-----
