-----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 <m...@debian.org> Changed-By: Michael Tautschnig <m...@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-----