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