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