Accepted cbmc 4.9-5 (source i386) into unstable
-----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-----