Back to mona PTS page

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-----