-----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-----
