Accepted cbmc 4.9-3 (source i386) into unstable
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Thu, 07 Aug 2014 14:45:19 +0100
Source: cbmc
Binary: cbmc
Architecture: source i386
Version: 4.9-3
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
Changes:
cbmc (4.9-3) unstable; urgency=low
.
* Actually fix most instances of missing big-endian support
* Fixes for SH-4 and ARM64 configuration
Checksums-Sha1:
de1a90343c1debeefd2a418851880898ffa8f021 1749 cbmc_4.9-3.dsc
ee3f25e3d35ca59f60a01b988ff2784e5931e000 14528 cbmc_4.9-3.debian.tar.xz
Checksums-Sha256:
42f4a3b293dd875da493411c79e99cb8a5dde56663fb83ed92cc6c6c7e26aaa0 1749 cbmc_4.9-3.dsc
4fd2cab6f9466becf9d4b28fc7ca89807e1c0b2c718e0167de91c41f0b66e7c1 14528 cbmc_4.9-3.debian.tar.xz
Files:
84e9c395a164ace1d886533250657bd7 1749 science extra cbmc_4.9-3.dsc
548f982d26a241648ab7a29e4ec41ca0 14528 science extra cbmc_4.9-3.debian.tar.xz
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.12 (GNU/Linux)
Comment: GPGTools - http://gpgtools.org
iQIcBAEBCAAGBQJT446oAAoJEKjvEonjOGdBYp0P/jWU+nujaU2ZY3+xWxUK2s+L
BaNciPlufp04JvCZ5aD2J6rC3QzEd3MsBv7CY76dJ1CarpV1uUUCoMWj4XpZbFRf
hG/E1hJ9/2UzHXmvzR7CsuJPH1LFrUOIQoLhxrANi1rBhrbhS4aRxJzY2N8VUPiy
+/wxIUaXtMQ5+yzGkMc6FJY7azu7YXiDzYJcepdjIiT1pgQXebDkcS9Eh9qayYse
vWWQX0alO9iNRbnVP1Pb/ndsFK4o1IHEtZYDJ7eBbakuTyPqIiQ7iSxJXeW1S3Cc
iJMAUfBAz6IMVqgOt7T+FVPE8XFM1YRBxEKvQ+99TzMePQa9c3QDNnJUBRIA2Si7
5nGaRZNoeXgwxWTcYI/+LN5cZ0r17wfHrqFB0Vau9GNCCFg4tOvWD6zZB+XZm5VL
cGOB/nnsYALIBvaM/nVOPBOYz3dRupR4ut1OXDACGg2khl4w4UdHY9/wb8ZecOEy
Zb7jsKPEEqYeHS4epdulH0nLhX7la52qaIchL/zvPc1utehhBtHyF0sJbjVoWbg7
/xitefHe4wk5Hp1EfpSJCA6tIeaVXYBwb5rkC1Yy6wmnT/i1dP5Bow1d2OK406eH
cBKe5gEqqjU+4ER9FJn0nJ1EUxF9L2DE1x8c7z12YUn1Q5uSUsanHkXZQ3oYC1Jg
ZstqjRsORnf257itia4Q
=SMtV
-----END PGP SIGNATURE-----