-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 1.8 Date: Sat, 26 Mar 2016 19:46:18 +0100 Source: mona Binary: mona Architecture: source amd64 Version: 1.4-17-1 Distribution: unstable Urgency: medium Maintainer: Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org> Changed-By: Ralf Treinen <treinen@debian.org> Description: mona - theorem prover based on automata Closes: 806139 Changes: mona (1.4-17-1) unstable; urgency=medium . * New upstream version. This version fixes the default alloc used (closes: #806139). * Standards-version 3.9.7 (no change) * Update URL in Vcs-*fields * Dropped XS-testsuite field which is no longer useful * d/copyright: updated libtool entry Checksums-Sha1: 5db919c04ea25d770f435b4ac6e0dfd96f220afe 1963 mona_1.4-17-1.dsc f512a9fce8fb704b57e412a2f00f9277ed903f12 699352 mona_1.4-17.orig.tar.gz 46cfc9ccf8ca79357423aef36211cf31b7c2cd5b 6312 mona_1.4-17-1.debian.tar.xz ea0297dcec6a0e20894aa85313831f4f8fab85e2 977474 mona-dbgsym_1.4-17-1_amd64.deb 8e805ddeadd207328a10e7ecc82fc70031c5f2e8 385136 mona_1.4-17-1_amd64.deb Checksums-Sha256: e04994e3c8bfc86d479f7c5c27317343044f97bca679b91035c121273111aaf0 1963 mona_1.4-17-1.dsc 5471c80dbe71e691b21ead6d703a925daa5daa2ca55f94fe22fdb436c9370b46 699352 mona_1.4-17.orig.tar.gz 8c20989e009511133d7ccd0562ec4bd26f68841587dd490fce19dd8affdb6051 6312 mona_1.4-17-1.debian.tar.xz c66864940cab4f993d81a8e90d1fca5d5a0fd63857c55bf72484a0baad7cc579 977474 mona-dbgsym_1.4-17-1_amd64.deb 383f51cd789a6add847162293e0fbed561fb27fe9d002acc43e7f5655392ecd2 385136 mona_1.4-17-1_amd64.deb Files: 0234f58dc312d47e5d2895b85cfcc5fc 1963 science extra mona_1.4-17-1.dsc e1f7646b8284ca21cd505c4713c55e7e 699352 science extra mona_1.4-17.orig.tar.gz 54bfa2dda748a1db429e9ac2b3527795 6312 science extra mona_1.4-17-1.debian.tar.xz 959a883a87c07f425b9dec16ecd6c130 977474 debug extra mona-dbgsym_1.4-17-1_amd64.deb b03056d267d0a199488cb463aa5556c2 385136 science extra mona_1.4-17-1_amd64.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1 iQIcBAEBCAAGBQJW9uh9AAoJEHRcR2bUys3/oxMP/2FtY8LYAVYbFrNG+MnxGJiU nKHhUrATFFd59+0D0UBlFco3zIgALGa+wdzEliHbbcMNhgoMq+uRg+ZOD9kFyagb YeJbSivXC98lEPQcuKmDAHDGFCXSDrtVFRuogOHw94kaDlCoASkEWQp6wHSkMG6O 2Ew45Vp4YqTYp1FgUgTb3hfh4F/F9pqfsTzEyGQTgnu5lT9+GAG1JDwPrmhslVvc BMJ6A2G2QRNsamcIwsxSgLaDPO/AnuYYOOBthCrNoaMI1wrFx7piZdyJnpKt7pSE /QnFZt/Pt74LA0alAYzU/1MKRxZT8UIIRJ2g5WSsiWVY5HousLzAzEENjZrDCmbo Dr9dPMFbEYJCskAEONXoljGwfvxOiv/zWUAXaiEhJFu+41KY8pO4wcnNohGwqzRt 2ZP5sWm7MD9/WcLvJDpg6QjbvTl2PPSfNSzwBsI2ZReTOEtJwfl6F8f6d6xhpKFB kQ2SWJouB77DMI4nmpz56CcpmTebEFHtLdlZhWnLVdPe864wTZFP9i5y4KriMpN0 m1afsr6s9tk6H3kptrlCxzVjspyMUp2fWkKu/SrWCqYIVBWXES72VN0MXJ3GTi+x NmultWVha94Tmvzm3SvDsYT9gK7CcfVUJJNatcCbqzWUGrzxOcCQ1/bcTw5hweiH plUks6EY+wfhUfr26sAB =vYfH -----END PGP SIGNATURE-----