-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 1.8 Date: Sat, 07 Feb 2015 22:23:33 +0000 Source: cbmc Binary: cbmc Architecture: source i386 Version: 5.0-2 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: 776842 Changes: cbmc (5.0-2) unstable; urgency=low . * Pick big-endian patches from trunk (Closes: 776842) Checksums-Sha1: d74e8222dae6cbed6c9099e38f048e1d19b42edc 1749 cbmc_5.0-2.dsc 871f5ab0d78bc75b3048c8e13652186f4d47c7e1 23804 cbmc_5.0-2.debian.tar.xz Checksums-Sha256: 88dea6caf6d3f60b54d6a1855b81e990d2ec778b27ed98182ef3f133ba509f26 1749 cbmc_5.0-2.dsc 59a63a9fe0cd81f30e3ac9fc46620abf88db85359ed5252bb68a999b4b907a92 23804 cbmc_5.0-2.debian.tar.xz Files: de178440faee1dcf5e01fce0f5002f87 1749 science extra cbmc_5.0-2.dsc d1ea5f7ca8fdb4dba075c0507d76788d 23804 science extra cbmc_5.0-2.debian.tar.xz -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.12 (GNU/Linux) Comment: GPGTools - http://gpgtools.org iQIcBAEBCAAGBQJU1paUAAoJEDu/g5M27KkxcT0QAIMogRAMO1BimRDcEDqiis/F +7M6Cojf9wEU7G5XIz1NbprL6an+x5jcxSgY5jF8KwaMcR2nZx9bRvofYVf7XV42 wFDAJOdFjVrZymGWK4pYNQUy3q347nbUiiCz25ER44p8A8WHfrBWLNWqysdTuYH8 oBr8EQ60D3MkfNuESmURoOyKxvkRvtAyYaL7K+yAQpki/x9DQhBeF89x6J17CAxq e4yuLsxR+crpDp9vqv3qEB3xUIgQ0+3uraR/TUMv3UcOO2wFvjHFd/xzcE6NViiV vKXQQGUon4yXrpi8zetOw2cAM1fEN+y/YdM71X1l4tiAmMTBFn9Lk4r2HTmcXqoH fy5C9GfNDs7YzLai7M+RBxu71xvgQM2xywWhkeMTIhT2GualJWgjphOQphezQcHK MCGfCOIE283PRwlHgpi9gfo8PwhZoPMOaS01j0uc3T0q4j2XrHUyetdbs1i6OMte +YrTSrVKd3PdpB8BOG+60d4Ti59t9EBIi/pFOT6ztNt7J5q7CX5XS4YdgnbpDLWm ENZFsE82PltTPUxgWVAe97Epa832nXA2qXA0WWlhsoumLagJwHqaXJc+s4bRlhSm y3eFNEQDW9I6g1L7DlUm98E1oEJo5Du1OOrch/EaD+5HC9fUViBvMKSoBx2GJANt mwdkp4e8NigMpKnx4bIZ =YvvE -----END PGP SIGNATURE-----
