-----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 <m...@debian.org> Changed-By: Michael Tautschnig <m...@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-----
