Accepted cbmc 5.12-2 (source) into unstable
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Wed, 29 Apr 2020 10:34:10 +0100
Source: cbmc
Binary: cbmc cbmc-dbgsym
Architecture: source
Version: 5.12-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
Changes:
cbmc (5.12-2) unstable; urgency=low
.
* __float128 is not available on all architectures
* Fix endianness conversion in ELF reader
Checksums-Sha1:
52695478f79ae95f0e374e915e1be839404e166e 2234 cbmc_5.12-2.dsc
57395161cbb0d89ccce20996175e3eeed19b3778 18312 cbmc_5.12-2.debian.tar.xz
Checksums-Sha256:
d442c3e307c5a24e9ad7ca00779b32eb9c203256b6cb159e540cc087401b7659 2234 cbmc_5.12-2.dsc
b6e55541ec08de22e6088ad786d8d8bef683e60da849486771df9f0c14511777 18312 cbmc_5.12-2.debian.tar.xz
Files:
070ecd844655999a81ca92a7cea8d47c 2234 science optional cbmc_5.12-2.dsc
f96870002a3b31be02277ec48adf9979 18312 science optional cbmc_5.12-2.debian.tar.xz
-----BEGIN PGP SIGNATURE-----
Comment: GPGTools - http://gpgtools.org
iQJCBAEBCAAsFiEErKbD9OEAOYbzU4gEO7+DkzbsqTEFAl6pwXoOHG10QGRlYmlh
bi5vcmcACgkQO7+DkzbsqTHZ2Q/+OsmbzFrBhI0OmC1Qa51adCbTJ7SNHn9xXRKk
JQYpOf6XZsM4gkyY3O8hbPadoPD+Y6GK1g7HiT4I229v66dkIaY4+2wsor5/PCyL
tPyI9mvJolmBjDyrcPnbuW28zdR1MvAkG+FCzY0yyPuyy0fwXdVJND+NtR2ocKP7
nDeHoK7xMuV3nV/0biyrx9eBGdezgrQCNQj95PKqgWzl1jhpFud8VWbezdgcktBo
hbeiiXxb/2oMLsWL+DeWwvJotrncv6YpWHKMLT4WilbGd35eVFQMHIcPkdc08EfQ
7jQuoLmscM7JI7auc/rHsZmqF0YC6KQbHS34nrLoUyQh9IwseiQf1/cYjL3iHV0R
Myq5gAHz80taSZ2OBxsQdThguAJ+o+yZeb2uSEoD2oEcvQp34aQc+sOoNkSWS67M
u9QlaEGrIyd0Ip3rX+rAyHlJ2P4ATGdzTfmO8ippO+slQe1kv7rLhYGPIQZoenHl
gAXcfar1jY56FD1zOU+tDF3Nl62/Hyn426tfwfbuSlWSaJhaiPTootxrR8BTSqMu
QXhmyBaQvBZhUKpRA22H39cj6qC8EW1+J/AP0W2BifMFKSb2LQxkm7Zxal9Lpamm
sAHdWmcffMCOh/ifgzOKLkCv2UdkcXqTyGW7nwyom6rZST0YJQAEfgvrkRx08I2k
FT/DVKE=
=PZ1f
-----END PGP SIGNATURE-----
Reply to: