Accepted cbmc 4.7-1 (source i386)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Sat, 28 Jun 2014 17:55:30 +0100
Source: cbmc
Binary: cbmc
Architecture: source i386
Version: 4.7-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
Closes: 752072
Changes:
cbmc (4.7-1) unstable; urgency=low
.
* New upstream release
* All 4.5 patches merged
* Updated Standards version to 3.9.5 (no changes required)
* Added support for mips ABI n32, n64.
Thanks Sphinx Jiang (Closes: #752072)
Checksums-Sha1:
574291b6ba5d4b6d73451966669ee329c8509aa8 1746 cbmc_4.7-1.dsc
01dcab70222bfcf91f0a5cbb10a8ea6a0f2a1c62 3859858 cbmc_4.7.orig.tar.gz
f9724e02b9c2234c15e0046d67df066e29ac3bb0 5744 cbmc_4.7-1.debian.tar.xz
e0b8680db8e0c5e61d6b8141701433fbca4935b1 2764026 cbmc_4.7-1_i386.deb
Checksums-Sha256:
167e5edec5bda565bf597f848b30e0fc99fd2154b3a082e395b7bc7362a72089 1746 cbmc_4.7-1.dsc
238e709a5d2269752c79ad1f18ec22b3f2556bb5cb062d625b026fdb4b375e6f 3859858 cbmc_4.7.orig.tar.gz
8b3a7d3d9afeb5019ec41f48a6fa956edf74f475e2fa66e0c1222bb9de54e05a 5744 cbmc_4.7-1.debian.tar.xz
f6fd5a3a8a86f578f7e817845cbb3e05d65331270dd177a0a3c458102367c525 2764026 cbmc_4.7-1_i386.deb
Files:
d34de66ceb3440968d2b31d3b84db824 2764026 science extra cbmc_4.7-1_i386.deb
851fde32576e3d38094ec760a91a2b46 1746 science extra cbmc_4.7-1.dsc
5330261b84a943a1f076696d56d0a157 3859858 science extra cbmc_4.7.orig.tar.gz
a26980206b94ecb25e09417a9447822a 5744 science extra cbmc_4.7-1.debian.tar.xz
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.12 (GNU/Linux)
Comment: GPGTools - http://gpgtools.org
iQIcBAEBCAAGBQJTrvhzAAoJEKjvEonjOGdBBC0QAI5SkuxFt7TCWPlCXpF2W2OI
4H79dyADngqbEwsJKbDHDXaTbqenWcRhER0/e9Kk0eDI2jrfDarzw8jVYsDeH8lP
uSw6EePEs78o7MvZTNA/wAd9m+koMaROkKKhrIdXOkGVxD7k6RykCTBP6aHVkHLm
6c4QI0bNuphLdUPDhCQkzH03IhblO8/hOOtTtemD/+mfz4KpVPKfXgMKl8ZaADgV
anhZcCExvJBRfcHqaB2TxNCmYt+/K07DvlClbmAv2tAl9WjNCkBWY42tcjvPTK6G
n8v/lUPrE/KASfjqOSIlcZxFUAZo4Wu9eGR0bnG+Pcm0rCGvzna1dzpy/yDLBups
lbcoIxpt5u8CP8JtlL4WrSsqG5CFuGkdf/0sDGz2SuajJ9vcq+WBkaDw1mXE8QlH
88EEq+9BYgHRedrBw3GZ9pYGXkSpqFljSLhUJcbG7VUW9MaU9IrJUTJ4prLoG1Yi
BNL47qDP3sU0ROs/FsJBYhiYXAEUFSVJ63h8QToibdT9u1XFjWKWRBuz0X/qM+De
IWZQWNsvx889Ccizh5jhXZZNnByQPx6gI+f/8tKoKVVlhN/5Khdb5jDk6uxcztTs
zAPZIqcxzu1fmDE2s3EOaQTf3DnW8vP40LSZwJsTRktWVzeKxr4PpPuVBUafbEbt
TNG/s9ue2gpz0la/Deqb
=FGS6
-----END PGP SIGNATURE-----