Back to mona PTS page

Accepted mona 1.4-13-2 (source amd64)



-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Format: 1.8
Date: Sun, 24 Apr 2011 09:19:37 +0200
Source: mona
Binary: mona
Architecture: source amd64
Version: 1.4-13-2
Distribution: unstable
Urgency: low
Maintainer: Ralf Treinen <treinen@debian.org>
Changed-By: Ralf Treinen <treinen@debian.org>
Description: 
 mona       - theorem prover based on automata
Closes: 622521
Changes: 
 mona (1.4-13-2) unstable; urgency=low
 .
   * Switch to source format 3.0 (quilt)
   * Do not install .la files (closes: #622521)
   * Standards-Version 3.9.2 (no change)
   * Short description: do not start with an article
   * Add dependency on ${misc:depends}
Checksums-Sha1: 
 76689af8b0111e8c4d6d3136d4edd6c7d55432a8 1046 mona_1.4-13-2.dsc
 92682459cb081153937a1520f80bccda267be02d 6387 mona_1.4-13-2.debian.tar.gz
 7e5b631ae3549104f098c16bb7c83a9219b3e944 458170 mona_1.4-13-2_amd64.deb
Checksums-Sha256: 
 7dec6b79ea36918c09a9a018145eea2775f83ceeb970f6638a17846120d793b7 1046 mona_1.4-13-2.dsc
 ed1e44d4acb4d826f2d064289350dcc68a8a49f1863612e1ed0c6ebbc01c494f 6387 mona_1.4-13-2.debian.tar.gz
 2ac7d6a6c0fd03de5a0cb13bff4ed6c2a3a4b23b2e9bfd9a02d134fd9cafd8c5 458170 mona_1.4-13-2_amd64.deb
Files: 
 919cf5100b2cd1cabc0abb5d16322419 1046 math optional mona_1.4-13-2.dsc
 11f5321fae2acc81c06131e7da445a05 6387 math optional mona_1.4-13-2.debian.tar.gz
 ed3ccbfd88a68bbd96a7f6b3fa27565a 458170 math optional mona_1.4-13-2_amd64.deb

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.11 (GNU/Linux)

iEYEARECAAYFAk2z1+cACgkQtzWmSeC6BMHqUgCg3r3o6giloBsnl9uJgg1E4ecO
5YoAn1/Ysw6RapDxRfuYIVo9OPXwCWgg
=xx/3
-----END PGP SIGNATURE-----


Accepted:
mona_1.4-13-2.debian.tar.gz
  to main/m/mona/mona_1.4-13-2.debian.tar.gz
mona_1.4-13-2.dsc
  to main/m/mona/mona_1.4-13-2.dsc
mona_1.4-13-2_amd64.deb
  to main/m/mona/mona_1.4-13-2_amd64.deb