-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.8 Date: Thu, 20 Sep 2012 16:14:23 +0100 Source: cbmc Binary: cbmc Architecture: source i386 Version: 4.2-6 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.2-6) unstable; urgency=low . * s390x hack, will be fixed properly in next upstream release Checksums-Sha1: fa452dda013a0911c2a6f5604192f97aca202a0a 1061 cbmc_4.2-6.dsc d8bcc64419035a3facd2778171957273c75b41a1 7340 cbmc_4.2-6.debian.tar.gz 85e4013db59b09e9cca1913d32d63699d070cf4b 4965530 cbmc_4.2-6_i386.deb Checksums-Sha256: c705fb7aa595eff239366526f753e124dcb9863b476bcf56375d808326e38359 1061 cbmc_4.2-6.dsc 53af426bfbbbdec526ea1bbbce735298b43d1fac4547f508795d8ff67e508712 7340 cbmc_4.2-6.debian.tar.gz e4b9be894d2a15dd8f7160975afaeccb3bb8f96e490b812324a5bcd9bda3b280 4965530 cbmc_4.2-6_i386.deb Files: ccdb065d1c4fd0d4fcf0b3da56d9dc73 1061 science extra cbmc_4.2-6.dsc ad71e99ce553ff314e797e818472895a 7340 science extra cbmc_4.2-6.debian.tar.gz 85b5dda0123a44dde59a00c726e87734 4965530 science extra cbmc_4.2-6_i386.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.10 (GNU/Linux) iEYEARECAAYFAlBbOkoACgkQvx6dH3bVKsQqDwCg2hpUNAb2KOzG7fWZFknDIVwM Nv0AoLu3uNWSJAGZL/TZJHacV3qHVALW =6KS6 -----END PGP SIGNATURE-----
