-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.8 Date: Wed, 11 May 2011 22:16:26 +0200 Source: mona Binary: mona Architecture: source amd64 Version: 1.4-13-3 Distribution: unstable Urgency: low Maintainer: Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org> Changed-By: Ralf Treinen <treinen@debian.org> Description: mona - theorem prover based on automata Changes: mona (1.4-13-3) unstable; urgency=low . * debian/control: - Set maintainer to debian-science - Add Vcs-Git/Vcs-Browser fields - Set priority down to extra - Set section to science Checksums-Sha1: e9766576df28bbefa1afff6848a2df7792815ff5 1275 mona_1.4-13-3.dsc c3d86a3bd991d0d6e3ebc4cee8a99592ac671f48 6456 mona_1.4-13-3.debian.tar.gz 778ad2dd9c7139053a506390b3226140c325a626 445520 mona_1.4-13-3_amd64.deb Checksums-Sha256: 90dc8ac53929fd91ef6737b026bae772e64f145472246cde1adba88847e8dc69 1275 mona_1.4-13-3.dsc 90075f6697a7e174ef54cf0a8fd7a4c14b9149f5bdd82b888e752ed9bc7895f1 6456 mona_1.4-13-3.debian.tar.gz d29103c8506d4a95656acbedcba188c999125126020da0fefa571fd12ecef1fe 445520 mona_1.4-13-3_amd64.deb Files: 2b30cea4442cbef3ec2f69a6d52eeb83 1275 science extra mona_1.4-13-3.dsc cc2500cff564e5db93cb8dad6300bf4e 6456 science extra mona_1.4-13-3.debian.tar.gz d184d2ebe8e501834bdfdd61c577d38f 445520 science extra mona_1.4-13-3_amd64.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.11 (GNU/Linux) iEYEARECAAYFAk3LCwMACgkQtzWmSeC6BMGbrQCggj/SPWBmrCRnjhf5tpsw2QNE cIUAoMykP9xvdTunATfPrjgXsp1oCGmg =jnkT -----END PGP SIGNATURE----- Accepted: mona_1.4-13-3.debian.tar.gz to main/m/mona/mona_1.4-13-3.debian.tar.gz mona_1.4-13-3.dsc to main/m/mona/mona_1.4-13-3.dsc mona_1.4-13-3_amd64.deb to main/m/mona/mona_1.4-13-3_amd64.deb