-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.8
Date: Fri, 08 Feb 2013 11:12:41 +0000
Source: cbmc
Binary: cbmc
Architecture: source i386
Version: 4.3-1
Distribution: unstable
Urgency: low
Maintainer: Michael Tautschnig <m...@debian.org>
Changed-By: Michael Tautschnig <m...@debian.org>
Description:
cbmc - bounded model checker for C and C++ programs
Changes:
cbmc (4.3-1) unstable; urgency=low
.
* New upstream release (all code patches merged, only build system
adaptions)
Checksums-Sha1:
47ea7606281e0ba39f8fee4fd1304a5b89227893 1061 cbmc_4.3-1.dsc
d7fb6bedda29fb75aa92f12ddf9af741edbd9648 3611033 cbmc_4.3.orig.tar.gz
fce52bac25c774ee9d64cb56d6b6ccd4d931ec65 5276 cbmc_4.3-1.debian.tar.gz
e36dd9c2a662f43f34d7b57da42150a481b4f234 4589414 cbmc_4.3-1_i386.deb
Checksums-Sha256:
6e1c540fd055360817ffb39515ecbf452b00df347310642cc1cff68c8f6d4465 1061
cbmc_4.3-1.dsc
f8c7f06b259a089af001af0b14f4d93bda3695b24fce8d6392b83dc2643529a8 3611033
cbmc_4.3.orig.tar.gz
cf6bcecb91ba5325a3ae44ae90d172de9513f85f5d2d666764fc20c3feca7c00 5276
cbmc_4.3-1.debian.tar.gz
c7e54db7dc172a443d7fd80891f3da609a94d0cd494296e8201071977b167efc 4589414
cbmc_4.3-1_i386.deb
Files:
5952727a1158f00715b3723da9f9e778 1061 science extra cbmc_4.3-1.dsc
95caf128b1ba87937d560b9e2058131b 3611033 science extra cbmc_4.3.orig.tar.gz
8ae55d6d0cf83d4569be1fd46bcb7aa8 5276 science extra cbmc_4.3-1.debian.tar.gz
4eb25ded95dcb37c45ffe9a23d3df978 4589414 science extra cbmc_4.3-1_i386.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.10 (GNU/Linux)
iEYEARECAAYFAlEU70AACgkQvx6dH3bVKsRH3gCgt/t9/hLCvrxI34tGFqeAiVAc
TVwAn3Mqx4iN78d1Zk2LKh37blSeDC5A
=dnDT
-----END PGP SIGNATURE-----
--
To UNSUBSCRIBE, email to debian-devel-changes-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
Archive: http://lists.debian.org/e1u3n8d-00020z...@franck.debian.org
