Back to cbmc PTS page

Accepted cbmc 4.9-1 (source i386) into unstable



-----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-----