Accepted cbmc 5.12-3 (source) into unstable
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Thu, 30 Apr 2020 16:26:35 +0100
Source: cbmc
Binary: cbmc cbmc-dbgsym
Architecture: source
Version: 5.12-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 (5.12-3) unstable; urgency=low
.
* Fix endianness assumptions in tests
* __float128 is not available on all architectures (again)
Checksums-Sha1:
d08f6db4632f80d9f364ca68e1114c57a19bbac4 2234 cbmc_5.12-3.dsc
cae23213f58bb4471a8af4dc09e314df5ebfa986 18624 cbmc_5.12-3.debian.tar.xz
Checksums-Sha256:
781899bfcd4514bc09db0d15d7a0ca340fa987c9731dc12368007ee781afaad1 2234 cbmc_5.12-3.dsc
fc187fcdf29e0b945ce5c35432fee6ba358074cd72147acefd0935e506bfd56f 18624 cbmc_5.12-3.debian.tar.xz
Files:
eb88977ec2f559b99fa8f0cd79de02cd 2234 science optional cbmc_5.12-3.dsc
2df33b8d2b2dae720c57c7920338f968 18624 science optional cbmc_5.12-3.debian.tar.xz
-----BEGIN PGP SIGNATURE-----
Comment: GPGTools - http://gpgtools.org
iQJCBAEBCAAsFiEErKbD9OEAOYbzU4gEO7+DkzbsqTEFAl6rFcgOHG10QGRlYmlh
bi5vcmcACgkQO7+DkzbsqTEbeg//RnzqABT+3rDY7B/KZGkkkJVG6vC0mmZf/Nr9
TxHhn/ZKqd1quZ8HSN9yGp1I8y8LjtsZe3ToffYGCaOJQzcgnCFcWldguZj1+reD
YP689IBcJEXaRZkfxHje7+fAwrJAod2MubFxRijAlbeM6PK36FaWy8LbPbMLt5DD
m6drDQy8HokZ50QyAwKuAWJ1dRF6mQP+h7jjLmfRU+eyMBuaXyzMckddTMVJhUG6
AWWOJBEwwIXtY3UZYzDkjhSe0EJPoGUU3SopOYjpExSdWzGogUOjaNfWs7mCTOQi
mVcx7HVN7VBkMHUDKlZ5p9NGGukN/1Ik3qRxRzM2J7Auj6p5fZwMTh59a4gO0uaa
WqlK1N1zijvMhMl/mEnsaYL0L3/MYRUt7GLIh3W2+zirs0utElJ+cpxKaM0v2wyA
Q4pt8n2X1pb4qIucufeMr0cyJBSNTGSAotV8d38g/D5803pHb5a1A/DZ8FRoQiCT
BshENGFQIHmIWA9J/fi3lCofplL42eOt8XPX1lHMTMR15PGspKqYHZvuNU4gbLH2
ZPgybYi87vnlAvChRpFmRtELsrkNs9npYGOO2wobOyIoYNKXY6oNxhX5dD+9XsSX
zOP2rELHmhZgNQ5dy4QH3AkkMTyv9F9WQSnLhYbnX87BJAOqzowEE6KAUBCjzbAJ
vfDPAzg=
=NJCl
-----END PGP SIGNATURE-----