Accepted cbmc 5.4-3 (source i386) into unstable
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Thu, 14 Jul 2016 09:45:43 +0100
Source: cbmc
Binary: cbmc
Architecture: source i386
Version: 5.4-3
Distribution: unstable
Urgency: medium
Maintainer: Michael Tautschnig <mt@debian.org>
Changed-By: Michael Tautschnig <mt@debian.org>
Description:
cbmc - bounded model checker for C and C++ programs
Closes: 831166
Changes:
cbmc (5.4-3) unstable; urgency=medium
.
* Disable enum8 test due to limitations in C++ front-end. Thanks Lucas for
reporting (Closes: #831166)
Checksums-Sha1:
a9a354d4cdddedf835228a1826c1a7ae99923244 1744 cbmc_5.4-3.dsc
9f6abffa0d8e5fe56767169acbab0fe233a1f7ce 12188 cbmc_5.4-3.debian.tar.xz
24a11e2354e716728238b38ad8a5df172a241b1b 106465588 cbmc-dbgsym_5.4-3_i386.deb
6634f88b4ea1c7a5cb0d4b779bbcc5549de3370e 3529372 cbmc_5.4-3_i386.deb
Checksums-Sha256:
0008dbc2e6540f496a648b7c852de287133db8349321f2b4fffa145f28d19983 1744 cbmc_5.4-3.dsc
654f261fad4d3f184b0271f0c590da1bb1f794baa813296bd0560f6298f7b3f8 12188 cbmc_5.4-3.debian.tar.xz
95677be56c98e2334714e7f5ebdcfa35fcd593e32eafb9ae7a95ed798948c0c5 106465588 cbmc-dbgsym_5.4-3_i386.deb
69bfb313f7c1e951133ed2d2e8c1e8f6aaed221d44f3af98c3e06a95e4ba15d8 3529372 cbmc_5.4-3_i386.deb
Files:
67d48f7503fb2d5b89653aa15cc3d670 1744 science extra cbmc_5.4-3.dsc
488999a18b6a7c1f3f6a2cd5c2b2ac06 12188 science extra cbmc_5.4-3.debian.tar.xz
8426b1f20c96573569d7c924d34df02d 106465588 debug extra cbmc-dbgsym_5.4-3_i386.deb
560ebd7638fe22a5b8160ba197329331 3529372 science extra cbmc_5.4-3_i386.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1
Comment: GPGTools - http://gpgtools.org
iQIcBAEBCAAGBQJXh1k/AAoJEDu/g5M27KkxwbsP/A/XWjPifR4OQED12sNDweo8
02hkQ8jCNmxyLPRXe8AifFlonGAGTQw/LcOG4aINmuSgA5gnN82denBgbtZ8bB3d
gsHb+fpvAoCQ9XRFxh+0HiZ9XE3hFALkDROFoeGPzp+fUmJMoLtnPYeYK7EqfmMg
tHz5bB6XGg8yMOSP2H55mQKkwEHI6udZhHyAJ8NRahvvi+SjimqHKNOx9PwkQlll
tlZrDhkswtdY6wBZnKT43umWabSbufQwcItQnnp5XBCJd/lGa8KsssSJf/B3XF5g
25Vn6xGmiPVm1QT/bspGh+8eb2mkm4aEEt93ce24zuM1T43kJm8ymcRo8BhshjTU
FX/g/uLZ3Zp3cFzJCTXgcqNaadX0qJK8kiyWyP+jv56VqvaadFsumqdp/ssu+eaN
3Edpt3wjI4ZLIVx9bGO2iS9VRwZBr0sVJXdtpcd2taNAFssXZjApDbM4szFCXEs2
JoaGlCELfmgRZOtWEbJYVjJUaOpyQP4Yh7zdlnIOlCmmogvVOZLqroazgx4wX6jr
Bx212Yuodd5U/jgI8PaxAR5Ro+dKWmLrJd9tU1GvUgGONE3iguul3bNPojf+Lf5Z
+NkZRTXR/A/2W1mXw3frdeo8w05bYcDPTuKmjYbHlMh4rrgcQwnPZkCcGmefXx1x
ZhNF5vox3eXsylQ5CuHC
=9chz
-----END PGP SIGNATURE-----