Accepted cbmc 5.4-1 (source i386) into unstable
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Fri, 22 Apr 2016 11:03:08 +0100
Source: cbmc
Binary: cbmc
Architecture: source i386
Version: 5.4-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: 811603
Changes:
cbmc (5.4-1) unstable; urgency=low
.
* New upstream release
* Builds using GCC 6 (Closes: #811603)
* Changed watchfile to monitor github
* Fully enable hardening
* Updated Standards version to 3.9.7 (no changes required)
Checksums-Sha1:
94e40b29a1ca82ef903fcc8d0e7baa9392bf3cef 1741 cbmc_5.4-1.dsc
5a336053cf101fce96ba0312783f33b538ac4151 4997586 cbmc_5.4.orig.tar.gz
e1919ecca990f4f79ee1c122fb43d581368e7719 9932 cbmc_5.4-1.debian.tar.xz
Checksums-Sha256:
ce39439cf3fb67bc726b82bda01947adb29955d2bd7231e188b70dee42bf5e55 1741 cbmc_5.4-1.dsc
9aecffcd04ed2b7989990731505d60c49af84f9b4f32739e2ce1d6438fc7d1cf 4997586 cbmc_5.4.orig.tar.gz
2f76698d4934ba01d16a236c2febd169eb4a763e214a22bbca54b71a608d7f47 9932 cbmc_5.4-1.debian.tar.xz
Files:
ee4c5c1c30395f65c210cea398c8c248 1741 science extra cbmc_5.4-1.dsc
7b02092af5183b63a5d37bbd63d466e2 4997586 science extra cbmc_5.4.orig.tar.gz
c372db2838ffd61d54de0dadbd6c067d 9932 science extra cbmc_5.4-1.debian.tar.xz
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1
Comment: GPGTools - http://gpgtools.org
iQIcBAEBCAAGBQJXGiz4AAoJEDu/g5M27Kkxk1AQAKXaK8a0/K2h8sim04rw9BdJ
dK/5AXyduB+cVeKzGLKyc9d3wkOl6xU6zTbN6FQP42wmO4Luo7X7laO1YA8lWdHM
UOvD4LIMn4XsEzXH0WW177zbl/sBVD9upABgHHAkE50HjtP8QSWMCfWZoOjYD/0G
gxitXJMgfHwZ3AKdLCARGKm550CZ45m8gIspEa22ORGbknIqRIWHoXcz6+A3kb/T
pWXHe3Q1c/ZAgbp0RkT7fiw/AmlahVy91poVzWamDLqcRvfeFsDxSU0vz/4f6Rkh
yD3crKTg/wnWt0hqTkOkGYK5CXyUDlYE5/HVq+IIHX2aA0Se28UFyS6DoCUk/DB8
Y0MJA3VGJ2mVFjdLEtzetZJhxj/BBKxBJ4WQZkjctH7TYx9KlV4J/y6tiPA2/kxg
lrIorbf7j0pJ2yAoru9J67NL6+MCse/EF9ndxSl08hVM3OreSD4RsLxOu08H/mLH
teUz5UwjhRbnxS9P3DkXdwsZDHiwEX2HGTBrKR8yE39UXfGbZobpW+lzzTCi6C5u
ENtmZpBugTsd5QB4dOPzTpQG1pFCATn0XWL8JrTz1f1LCRWujYR7PpV9lmhq/NXu
Uc294iV0QyUyRA7jRtFykScBwM04KvR92s4hTmXsHConYAv2FPYDOkBc3IcFjULM
bqMWolZJh3aM1h52uzJm
=ewol
-----END PGP SIGNATURE-----
Reply to: