-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 1.8 Date: Sun, 30 Sep 2018 18:29:38 +0100 Source: cbmc Binary: cbmc Architecture: source Version: 5.10-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.10-3) unstable; urgency=low . * Fix regression tests using __float128, which is not available on all architectures. Checksums-Sha1: cea457db6aa57b67f39aa2dee55b5b9d45466dd2 2169 cbmc_5.10-3.dsc bdf2c61bbb1ec8c48b548191cadd0ed549e263ac 12320 cbmc_5.10-3.debian.tar.xz Checksums-Sha256: 33e7b7acb77ed51eed6c568d7775fdfbc3255e9f016adc14fa070dfa2e666e64 2169 cbmc_5.10-3.dsc a043da965089734de07bfd4f0805d01b518d94c5200652c8102d429b4bf18233 12320 cbmc_5.10-3.debian.tar.xz Files: e2b5d81329e2aab0356df0541ecbde78 2169 science optional cbmc_5.10-3.dsc 44b3f67b234b3a233aaef5de80f7f135 12320 science optional cbmc_5.10-3.debian.tar.xz -----BEGIN PGP SIGNATURE----- Comment: GPGTools - http://gpgtools.org iQJCBAEBCAAsFiEErKbD9OEAOYbzU4gEO7+DkzbsqTEFAluxFrYOHG10QGRlYmlh bi5vcmcACgkQO7+DkzbsqTHyURAAk2jzfBnOr0PodzO4Eh4UTMV1OYWiie6F+szu wtZAInm8bu7tqpggOPJTJYsNSy8jaXUBF6VGPA1XXyNUZR4taoXBaf8iSoXcV8II kNV4hjN0WoKWmb33MNgEywPoOCYlZFVMvMqTRbkI1CrFKuN7wlrhdbzQQuVsN9P6 zeuhwDlgGT+SgLsD2cG5cGXZPGxgNZNsCXH9wmuyTRYJOGYTho4fOLOS21uRaheU MUGNTGmEtyxw0g1BjCRBtWkZbp/D/eU3MtIVY2s+gfYkMQ/CxBnPEwrpDTHZYp/v 4RqukDh0jmFmTil2FrbYhvjngYTAL/ePV8C17qObzTIduHg4Z+s3KlPQ0G0gcm8T 4a7cvTLt0giTJq44E/H+m9YWSPQoXfycwbESkIufgePsFdevjiLociNOvn1a1cLb NrJ1q0PhSU18AW4p1uxRqwmFyiKEFAtBaqVYy038cVLm30XKAb1iTa1Cq9a2bXKB foEg4TgsHaYebaWsXm+FwQlEmQXLg9eI7/oB5+lzQ+H9Q7kF3Qx/zJ6i5GFiei7a 2jgTA7RZDhRvMxSwXOVZxKBa22pW+vVQPdz+hu9K4+A23iTuT2C4VHpg0tksMumg sUzE9TlicwL9O5idsDslaqy10o6HRtzELvgFU9Vc3lhAAnucfPLOwArzC5iJNEc/ OYmnyFY= =FRGL -----END PGP SIGNATURE-----