-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.7 Date: Tue, 27 Nov 2007 10:31:55 +0100 Source: matita Binary: matita matita-standard-library Architecture: source amd64 all Version: 0.4.98-3 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 Changes: matita (0.4.98-3) unstable; urgency=low . * Bumped again dependencies over liblablgtkmathview-ocaml-dev Files: 25a5f733c370337d493d20acfeb647e9 1108 math optional matita_0.4.98-3.dsc 6dec0bfd238ba2919ff8b5448f855c89 3309 math optional matita_0.4.98-3.diff.gz d99dd1a22f075653e38c1e5f45d87fa7 12513100 math optional matita-standard-library_0.4.98-3_all.deb 365008f212082d229da2711209447e80 3586416 math optional matita_0.4.98-3_amd64.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.6 (GNU/Linux) iD8DBQFHTAvC7kkcPgEj8vIRAtUzAJ96IAChAACJKKKT7n5dLg3hNKJyGACeKW/a 2fBvLo7w29lsO1kgKg/qt2w= =jlhV -----END PGP SIGNATURE----- Accepted: matita-standard-library_0.4.98-3_all.deb to pool/main/m/matita/matita-standard-library_0.4.98-3_all.deb matita_0.4.98-3.diff.gz to pool/main/m/matita/matita_0.4.98-3.diff.gz matita_0.4.98-3.dsc to pool/main/m/matita/matita_0.4.98-3.dsc matita_0.4.98-3_amd64.deb to pool/main/m/matita/matita_0.4.98-3_amd64.deb