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