-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.7 Date: Tue, 20 Nov 2007 13:47:26 +0100 Source: matita Binary: matita matita-standard-library Architecture: source amd64 all Version: 0.4.98-1 Distribution: unstable Urgency: low Maintainer: Enrico Tassi <gareuselesinge@debian.org> Changed-By: Enrico Tassi <gareuselesinge@debian.org> Description: matita - interactive theorem prover matita-standard-library - standard library for the Matita interactive theorem prover Closes: 451896 Changes: matita (0.4.98-1) unstable; urgency=low . [ Stefano Zacchiroli ] * fix Vcs-* fields to match pkg-ocaml-maint repository settings . [ Enrico Tassi ] * Fixed dependencies among camlp5, ulex08 and findlib (Closes: #451896) Files: 393eedc04c4faf6b3f36dae1d20fb622 1095 math optional matita_0.4.98-1.dsc ef7449f06efc67d48ccbddbf55817ac3 1862669 math optional matita_0.4.98.orig.tar.gz a669a70e80b7e4d3704d5a7902223450 3216 math optional matita_0.4.98-1.diff.gz 7d82482c181f8b03c545f8fe0ae4d44d 12513106 math optional matita-standard-library_0.4.98-1_all.deb 48540b32bc7576625b976fcc77817a78 3586298 math optional matita_0.4.98-1_amd64.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.6 (GNU/Linux) iD8DBQFHSZm27kkcPgEj8vIRAsb/AKCbj+QPjueC4LidqkF4R/qmSaFL6ACdGbZ+ iMyb9U5BPLfliCFX5L50Kv4= =DYIU -----END PGP SIGNATURE----- Accepted: matita-standard-library_0.4.98-1_all.deb to pool/main/m/matita/matita-standard-library_0.4.98-1_all.deb matita_0.4.98-1.diff.gz to pool/main/m/matita/matita_0.4.98-1.diff.gz matita_0.4.98-1.dsc to pool/main/m/matita/matita_0.4.98-1.dsc matita_0.4.98-1_amd64.deb to pool/main/m/matita/matita_0.4.98-1_amd64.deb matita_0.4.98.orig.tar.gz to pool/main/m/matita/matita_0.4.98.orig.tar.gz
