Back to mona PTS page

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