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