-----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-----