-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.7
Date: Mon, 26 Nov 2007 19:14:53 +0100
Source: matita
Binary: matita matita-standard-library
Architecture: source amd64 all
Version: 0.4.98-2
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-2) unstable; urgency=low
.
* updated dependency among liblablgtkmathview-ocaml-dev to
possible fix FTBFS
Files:
7b2cbc58863322fc93aafde19b5db22d 1108 math optional matita_0.4.98-2.dsc
7e9c6d2d76d0993cea418c56247498e2 3275 math optional matita_0.4.98-2.diff.gz
c8392d20d9dbc75b80b2bb9c0d96c677 12513096 math optional matita-standard-library_0.4.98-2_all.deb
99419f93533e8e2e470fb2cc91c1f825 3586372 math optional matita_0.4.98-2_amd64.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.6 (GNU/Linux)
iD8DBQFHSxNu7kkcPgEj8vIRAv+NAKCQ+p6hOKUHFTC1JwqXE0m9LEyTwwCgj4K9
f3iISbdabp4L/OkUXNNrjw0=
=d3sv
-----END PGP SIGNATURE-----
Accepted:
matita-standard-library_0.4.98-2_all.deb
to pool/main/m/matita/matita-standard-library_0.4.98-2_all.deb
matita_0.4.98-2.diff.gz
to pool/main/m/matita/matita_0.4.98-2.diff.gz
matita_0.4.98-2.dsc
to pool/main/m/matita/matita_0.4.98-2.dsc
matita_0.4.98-2_amd64.deb
to pool/main/m/matita/matita_0.4.98-2_amd64.deb
