Accepted cbmc 5.12-1 (source) into unstable
-----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-----
Reply to: