Accepted cbmc 5.2-1 (source i386) into unstable
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Wed, 02 Sep 2015 14:37:38 +0100
Source: cbmc
Binary: cbmc
Architecture: source i386
Version: 5.2-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 (5.2-1) unstable; urgency=low
.
* New upstream release
Checksums-Sha1:
e62e02d3f4789af68f24c8be7d6d96b4a4f845e7 1729 cbmc_5.2-1.dsc
3caa37cc69e85a56979b3bfb4bc0b4f45141f0f2 5080771 cbmc_5.2.orig.tar.gz
fb404f8391cb7c655f2484d93d6daadbd058de99 9780 cbmc_5.2-1.debian.tar.xz
Checksums-Sha256:
74d79ef68a8606b9cdb99b84386105322e325a8aa54e9ed5e4dcd766638ce7e4 1729 cbmc_5.2-1.dsc
765215096895a75a25e7eff3c6caeab2fbe6127e01e9c404bf6c3ff2ac23a411 5080771 cbmc_5.2.orig.tar.gz
bc026a802046bc5416f689eae61ed2a0bf8b159f52e3848de7441c6c2783b38b 9780 cbmc_5.2-1.debian.tar.xz
Files:
39c95b7b85cf882950866691a504f292 1729 science extra cbmc_5.2-1.dsc
bfe89ae5f21e666d14ffa9a56f60436f 5080771 science extra cbmc_5.2.orig.tar.gz
75c13bb8b73898d9a87d2e8d6c14b3a4 9780 science extra cbmc_5.2-1.debian.tar.xz
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1
Comment: GPGTools - http://gpgtools.org
iQIcBAEBCAAGBQJV5y+iAAoJEDu/g5M27Kkxk28QAIikh5YKrYCAnxqtD0qy4ben
jSvsiv7rT08BNsaFR7GseDogDEXQPAI7Z/meGw9gzhyq7RxTXE8VCq9JSHLFGec6
IV1RH4FhLzrvZiqy7HOnU1o5yk5g5NiWduWu7P3jjmWcgO7CuUPa3c7e20f0k2hz
oz8Z2563x1yJQzTBv8I1y/vvzoQWZqFQDyeiA+ZIuMihrN55yBfYjiKsrw6aA7GI
LSHgLGf3n7rpaiS/NMM39Eh7psd+kuGAklP1+1aMBU0YEoN9OYbCh+Pg/sBsgxEj
vVKZSSZVKGcCQ1hZkY5tI3mgfCdiaJ+7CtS3/hkD/cj/Bl3ICloA6PUCXEwktLiI
4nTczDyEom8fPuZg4Xoj0cIwCfbo7r9z71mFrHHSbBXVQDbxvd+xdYpzOU03EKsb
QjeDqaCpW9EmKgCpHUGjjJh7M16xMssPuVdQjQOw39ZyNhdpROz+zvs1uShCYaLO
0iBOP0AgHnXTv9Hrkcb7A/X0RtUISp4K8hWC12WM6qB+YAErFo8UsWHMwXjojJh+
a9veqK/S/qWvgLcWTZ4/ORJ5wDbKwRqBoFgGnwggacvDfTfQJdxs9yvE7VZHf/v1
+0aGIsDsPRvvcNuaa/CYdEhRsvWXZlkI9w2iUReMd7uM178NuYJImMwBOwWaaKuP
Z/Npfx8JcWThUdsEHzhg
=RDs7
-----END PGP SIGNATURE-----