-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.8
Date: Sun, 10 Jul 2011 17:22:04 +0200
Source: cbmc
Binary: cbmc
Architecture: source amd64
Version: 4.0-3
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.0-3) unstable; urgency=low
.
* Make sure $(LIBS) occurs at end of linker command line to fix Ubuntu build
failures
Checksums-Sha1:
579fadf6682c52475ad55d74da63bcdd61b3901a 1025 cbmc_4.0-3.dsc
c05fe1f20dcb316daf124332aa2fb6820e5c096b 4929 cbmc_4.0-3.debian.tar.gz
97d7b0699126676cde620c3546d48421f3d12d66 4516206 cbmc_4.0-3_amd64.deb
Checksums-Sha256:
d91a036d81e940c8db4fede7bb510b1bca08f6b0e0d427b6f202ed7253ca095b 1025 cbmc_4.0-3.dsc
b293738f40d9da1b2bfc73108def2f9d9271a424925bdb790dcd2cacb0da66fb 4929 cbmc_4.0-3.debian.tar.gz
c12dfbfd907ef4b460a09a3e1c94ad997752833e3e3060e61b2c82d8edecd5f4 4516206 cbmc_4.0-3_amd64.deb
Files:
47b9aebd09324410f6d52002ba6a402d 1025 science extra cbmc_4.0-3.dsc
3871aaf43e27f821b2d02375f6152431 4929 science extra cbmc_4.0-3.debian.tar.gz
9837262c0fbd5412e5d6daa61359341f 4516206 science extra cbmc_4.0-3_amd64.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.11 (GNU/Linux)
iEYEARECAAYFAk4Zxy4ACgkQvx6dH3bVKsRC1QCg39UmE5GGuRNiJaSm6J4lRGpq
IKoAoLMzRhhYNqIG57n5p4cH6HMw4hC4
=euKl
-----END PGP SIGNATURE-----
Accepted:
cbmc_4.0-3.debian.tar.gz
to main/c/cbmc/cbmc_4.0-3.debian.tar.gz
cbmc_4.0-3.dsc
to main/c/cbmc/cbmc_4.0-3.dsc
cbmc_4.0-3_amd64.deb
to main/c/cbmc/cbmc_4.0-3_amd64.deb
