-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.8 Date: Fri, 08 Feb 2013 15:46:35 +0000 Source: cbmc Binary: cbmc Architecture: source i386 Version: 4.3-2 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-2) unstable; urgency=low . * Cherry-pick upstream r2111 to fix build failure on ia64 and s390x Checksums-Sha1: 40f92eb41523829fec67c224a38604fb2707143e 1061 cbmc_4.3-2.dsc 3c4bb9b27a79cb30c682ebd1ede1bcbf7c2f14db 5970 cbmc_4.3-2.debian.tar.gz 00c51feef9656157ff976b4a2f5b2ea341b71b7e 4589438 cbmc_4.3-2_i386.deb Checksums-Sha256: c13c3bfedd2311e3dff54c39ebfd7813191b3afedb6d9d3f4c263031a6c72ff0 1061 cbmc_4.3-2.dsc 0b072bd780a0be8cb53914850f466f724e3bd347b5d650128c20e6da11cc0656 5970 cbmc_4.3-2.debian.tar.gz 06e8e4a25b0d6e7506b0cd0307e0b9235fa50bd96007aa0b6e9d28f18305042d 4589438 cbmc_4.3-2_i386.deb Files: cf1b10b7022c3f4aaf38f0b2e057423c 1061 science extra cbmc_4.3-2.dsc 83505ba477e930c1b6c6d2f8fb40e5d6 5970 science extra cbmc_4.3-2.debian.tar.gz f04b52bf8c31bebbb8d5888952ff9f90 4589438 science extra cbmc_4.3-2_i386.deb
-----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.10 (GNU/Linux) iEYEARECAAYFAlEVPHEACgkQvx6dH3bVKsQcOwCgurdmClmSmv49JZvOee3Pd4Qd ISgAoJr6LxOVUYQBPJ85F7d8DBb5giAH =VGFb -----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/e1u3v5m-0004k5...@franck.debian.org