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