Accepted cbmc 5.12-5 (source) into unstable
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Mon, 04 May 2020 13:06:54 +0100
Source: cbmc
Binary: cbmc cbmc-dbgsym
Architecture: source
Version: 5.12-5
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-5) unstable; urgency=low
.
* Disable regression tests that take too long on mipsel.
Checksums-Sha1:
7fd19bacefcb30a3de7170632d348c5a43f119df 2234 cbmc_5.12-5.dsc
cc6f5ece7b65a2e4a8ad929fcd99ef4ab04f24eb 15804 cbmc_5.12-5.debian.tar.xz
Checksums-Sha256:
7aec7026e5d85810f1222441f7902a649671e8efa983761cabf9bb1175c81120 2234 cbmc_5.12-5.dsc
4f9a7a59047c83ad4abec8c2483e2a76a8d1a38e5fb8e5d7c2475514bbf920e9 15804 cbmc_5.12-5.debian.tar.xz
Files:
f344a2e31104bc6f45635467893f8bb6 2234 science optional cbmc_5.12-5.dsc
93b35e3fa4a4a0bc4c458e6d336bd599 15804 science optional cbmc_5.12-5.debian.tar.xz
-----BEGIN PGP SIGNATURE-----
Comment: GPGTools - http://gpgtools.org
iQJCBAEBCAAsFiEErKbD9OEAOYbzU4gEO7+DkzbsqTEFAl6wLywOHG10QGRlYmlh
bi5vcmcACgkQO7+DkzbsqTEl4A//VPE9RXhgmxzxHKHDDFEj8KBKoGphuHqM1vC7
CzOurUEVyVHFMeAyXsqWx3TlSgzLbqYaiHXI0OfFeG4gK1BWcJP03USowpyj5YwA
Qxv9oBMD1IPdVndjV7LnLpHMa2Euhnc1ioYqekg4AEgzbpHuEugNiGcqZdzpEIL3
Wmt9dPTtwatbKS68Bk/mi521oOPKHJZ0rY+Y9RirEgCB01PkjFck6gsbW3cC84id
tfCL+gK47Kka7ZrNBTr9wdavhrpRamghpgJKy9AiqdzDbkMAujc2kumFli6vwq1k
LONko+HRyie3rPOy+eN/yT+t5gHSaCdwRtBTwCL730wQtJjZWBwgU5dNvroIqd/e
B8jBCnsua0Y6kuy69Jvr2O+7MXzuxyX4Svl5N6kTEOoBxYAf8f6+va3477CJb37/
Zu6x9dK25us1pRY/dMOZQDgiymBAczmdfS96pJdgQIsF7VNRB32hxDllEGvD4gCU
IWIxF7T4nLpEJtoehS/HcwndWIMiFznvyUD8Ch5yAWhXkCMAyu5aK/TItH86ZgPf
w6DK1SYjkxBARJLQhp/zBnadQFsWzvsqOiBCP1iCedFAbBlVtno3u7bFNVMdVXms
IwIkBO4alXmYdaJkbn49+iGZQV2KoD54oFIYbbzqH6Ab+hhQxmAi6Bo3HmryoRsB
K5qW0qc=
=DZvn
-----END PGP SIGNATURE-----