-----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 <m...@debian.org> Changed-By: Michael Tautschnig <m...@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----- -- To UNSUBSCRIBE, email to debian-devel-changes-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: https://lists.debian.org/e1xfpwf-0005ev...@franck.debian.org