Accepted mona 1.4-17-1 (source amd64) into unstable
-----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-----