-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 1.8 Date: Thu, 18 Dec 2014 16:46:38 +0000 Source: cbmc Binary: cbmc Architecture: source i386 Version: 4.9-5 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: 773455 Changes: cbmc (4.9-5) unstable; urgency=low . * Make assertion fail if chdir fails. Thanks Graham Inggs for the heads-up. (Closes: #773455) * Updated Standards version to 3.9.6 (no changes required) Checksums-Sha1: 7f85850ec9c07964f5832f4e3bdc78a555afe050 1749 cbmc_4.9-5.dsc 04b91500ca23745b20a12c1c3c521941a14c249c 15780 cbmc_4.9-5.debian.tar.xz Checksums-Sha256: d37747922b50daeb17f1b7ecc305052e8a291c2becefc000ae85d67f48c45f56 1749 cbmc_4.9-5.dsc 88a3325a6821ea7f377083b2f18626752bcaea4f0d668e26d9c43f2e2be73232 15780 cbmc_4.9-5.debian.tar.xz Files: a95e545bd9908ba484c4b7074e91077b 1749 science extra cbmc_4.9-5.dsc 00d99bf043a3acba8803dae2587dade0 15780 science extra cbmc_4.9-5.debian.tar.xz -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.12 (GNU/Linux) Comment: GPGTools - http://gpgtools.org iQIcBAEBCAAGBQJUk89lAAoJEDu/g5M27KkxMUMP/3oby5Mwa4Iu8kUph/172xVd wjsgY6Hn2byxHzXU8mHFMqjLhOJ1MYqt43mD6rmtG++A+Z9v0zpLzr8JcQyKx84S JG+Kpi+7uFQZNTMo+8ZZoS1iofvSuCmcYEu4LA+txx4wxlaGbil+NWMv9tQO0WYs 6EMf60+Ka29aWpBaexRXmvB/5vyuSIiX1WoEG290+tb+6Aufi5N8HLVeFxqKyjIa tmJ+5OWi6Uw0that/ufSWAMO/vOMJ4uGyFOHzjV63oATbo036zSX7cNwyptn5oGU UJ/hxg4O1jUuY6u6ZUdt9PFvSMS8LD9np5V9JY2xwfDHw9A5auQaDnH3XZLrzAO6 grkYZhqyZv3bJ8mWwuV4GtuxGMqpGgifdjSpeCJRLKNK0v8RcqLhpZOrjDvorcZR pLHUUvNDieSdMoIiiRHnQX/4hpfFU0Drp22AsDdrM/D3544WSgB/Gh4S/FyvyIi6 sYRgmLwU/O3VebDmmZahKOBTOxdbmEnO+Iw6wNtJRQYFRjQJqtP/FbkCiFXT5/j9 WeuhmYsWf6U6AU4CKvvqnzmOQYeFskIcakCwQnnH8pflnFMEbrhWmWZMAiLc4KwP iAPVNGJykwJJ9zIYkbKgnvrIZV1+iHt4z2kfIA4un7FdHt8wQ8AYNcCdiduDctLz b0kw00OB86jDl1dOHzOK =Bjr1 -----END PGP SIGNATURE-----
