Accepted mona 1.4-13-1 (source amd64)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.8
Date: Thu, 27 Aug 2009 20:25:39 +0200
Source: mona
Binary: mona
Architecture: source amd64
Version: 1.4-13-1
Distribution: unstable
Urgency: low
Maintainer: Ralf Treinen <treinen@debian.org>
Changed-By: Ralf Treinen <treinen@debian.org>
Description:
mona - a theorem prover based on automata
Changes:
mona (1.4-13-1) unstable; urgency=low
.
* New upstream release
* debian/rules:
- we do not have to calculate DEB_HOST_ARCH ourselves
- dh-clean -k => dh_prep
- Drop usage of dpatch, link to recent config.{sub.guess} during build.
- use variable $(INSTALLROOT)
- install lintian overrides
* Lintian overrides for private libraries
* dh-compat level 7
* Change section to math
* Standards-Version 3.8.3 (no change)
* Remove build-dependency on dpatch
Checksums-Sha1:
ca968dff4f9070279f5bc28a5f2dcbe26bcc9f36 1011 mona_1.4-13-1.dsc
1ca3472280d70cc1be82a864d7cff310c3a7a936 618373 mona_1.4-13.orig.tar.gz
2e992ac4abc14cd059a9f7ee81c37eb9c7b7a6ab 5764 mona_1.4-13-1.diff.gz
d53126b7d39f32a8299020901d5ef1a7bc6288ac 439116 mona_1.4-13-1_amd64.deb
Checksums-Sha256:
fcc7406f9e4320c1395b8fa679d97552a0e5ac55ead0abdbd181d443250f85c7 1011 mona_1.4-13-1.dsc
6e62668220b866b6e37b26f105a98f886f39d21fa328d344bad2e39bc0525d5b 618373 mona_1.4-13.orig.tar.gz
5a22db53c2824c54e7e528c43ef022e11e0c1538f1a02bbf33d7034970b9d56d 5764 mona_1.4-13-1.diff.gz
1586dd8ed0ca38595e10e886aede812379ee860a00d2a623cccdf83341923bad 439116 mona_1.4-13-1_amd64.deb
Files:
52c5e2815c710eec5412dd512ed81bc3 1011 math optional mona_1.4-13-1.dsc
60f5ea4cc0c470dd0e72731836536f03 618373 math optional mona_1.4-13.orig.tar.gz
6f298bce660e7d11db9228876a1dd8a0 5764 math optional mona_1.4-13-1.diff.gz
841055a5dbee328d6d367c9eb5f835c1 439116 math optional mona_1.4-13-1_amd64.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.9 (GNU/Linux)
iD8DBQFKlvRBtzWmSeC6BMERAtzbAKDj/5bXrCFSDRA5BLgiihhBRXakLACgpxgV
sABcO1maEmOa8WQjX7Plkc8=
=fnzQ
-----END PGP SIGNATURE-----
Accepted:
mona_1.4-13-1.diff.gz
to pool/main/m/mona/mona_1.4-13-1.diff.gz
mona_1.4-13-1.dsc
to pool/main/m/mona/mona_1.4-13-1.dsc
mona_1.4-13-1_amd64.deb
to pool/main/m/mona/mona_1.4-13-1_amd64.deb
mona_1.4-13.orig.tar.gz
to pool/main/m/mona/mona_1.4-13.orig.tar.gz