Accepted cbmc 5.10-3 (source) into unstable
-----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-----