-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 1.8 Date: Tue, 28 Apr 2020 15:32:56 +0100 Source: cbmc Binary: cbmc cbmc-dbgsym Architecture: source Version: 5.12-1 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 Closes: 952256 Changes: cbmc (5.12-1) unstable; urgency=low . * New upstream release * Updated Standards version to 4.5.0.1 (no changes required) * Acknowledge NMU - thanks Adrian for the build fix (Closes: #952256) Checksums-Sha1: e551da89560a0a515f7367921ebe5edda9efe454 2234 cbmc_5.12-1.dsc df12ecf4e71cc9e71322fb7ddeeb9c4e1588b8a0 303871 cbmc_5.12.orig-java-models-library.tar.gz 00186310c8664380c6a3363699b24e25a1f55500 7226147 cbmc_5.12.orig.tar.gz 14965c26bcf7720564a3b8bf5ffcd06abe830fde 16708 cbmc_5.12-1.debian.tar.xz Checksums-Sha256: 082d1d3e4f4b4a4ba2d65fddd133c080bbd4b1a6ac94792ac0ba2cc26627417b 2234 cbmc_5.12-1.dsc 38e5181b05687c1c6baaa48bec3110ba3989df6daf303ace44ef15e38f7721f3 303871 cbmc_5.12.orig-java-models-library.tar.gz 1b9d003e1baffc714b36a38087e4ed42b47c04da5ebdb02bbce03262ea3acafd 7226147 cbmc_5.12.orig.tar.gz 83d27a2b7a635c21a0ec17bdbea4c4300947b33606695e5f6e694bcd1e5ceef1 16708 cbmc_5.12-1.debian.tar.xz Files: 50263d60cab78d630677ed848c118104 2234 science optional cbmc_5.12-1.dsc ac2c4bd95d602a589a3e0bace05c6f08 303871 science optional cbmc_5.12.orig-java-models-library.tar.gz b3c3f77800d21b7875bc935d4c580ee8 7226147 science optional cbmc_5.12.orig.tar.gz cc372f599e8b7a7dfe68e6fe99d685d5 16708 science optional cbmc_5.12-1.debian.tar.xz -----BEGIN PGP SIGNATURE----- Comment: GPGTools - http://gpgtools.org iQJCBAEBCAAsFiEErKbD9OEAOYbzU4gEO7+DkzbsqTEFAl6ofLoOHG10QGRlYmlh bi5vcmcACgkQO7+DkzbsqTFqBw//dJIJvAnIIk4K1a5YCihK9M/mXmQrl8qPZmlH BFFZAkDgXCX9x+LkbbWO9JlHMvZ4zIgGVnGFwxHH5fO6DoR/63QHHkm4fKxRPJrZ 4sYS0Ppw0PyjNXFxPZQQuXqkjtiDXEPabHUtWtGRw+6s7DPKxKaLENDIfXA2UGFt 8Z0AvwfjyHbOzTPMj4XKPqck8vlQs9pgXTAeLT0Gr1LT6CNpW1DY0zom7SKOUiui Npyyj7Ea3VzK/j/SXT+bh02YGrIfA6r5oB5ZoWdQtVCRyru+ykeJVH0cvZjjP0na adoTsmlnMAlsmWclmq54M69gfsBU/Hk4wvF97FOLsrkWFDvTPkib7+w2lCDM/OyU 8wFltFMk7WQRe6Oiu3WOURftuoMIwFda5GCjNbyVua09Ls3t/jPCyBOF+wAe2SUL Nr02txA8TtOhDzanYzr/Ivy9JFW6gRFuiECcAiaEh3tGB6ViKVgclpgBUa+cvbyV Z8R8Uk1QJtxWjOgwa2araty8nD4KHIgAn3HgVz34ordKnuhrUqH6k34QkTmKSr4G o2f9apGWnwUSRnWMyduiuBjn1vEokqot/HpjuFbWGKDIJYBrJ0jBLTraWDzey5FZ kus7VrD0S3c0BRat2QvuCPtwHvcXsNstDNbOetd9FH3RJCRNvGGiWR39yuyGt2dn w6jRu+0= =ISm4 -----END PGP SIGNATURE-----