Accepted matita 0.4.98-3 (source all amd64)
-----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