Accepted matita 0.5.7-1 (source all amd64)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.8
Date: Sun, 15 Feb 2009 16:04:54 +0100
Source: matita
Binary: matita matita-standard-library matita-doc
Architecture: source all amd64
Version: 0.5.7-1
Distribution: unstable
Urgency: low
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Enrico Tassi <gareuselesinge@debian.org>
Description:
matita - interactive theorem prover
matita-doc - user manual of the Matita interactive theorem prover
matita-standard-library - standard library for the Matita interactive theorem prover
Changes:
matita (0.5.7-1) unstable; urgency=low
.
* New upstream release
Checksums-Sha1:
ad72252ce2a6b8afebeb081af3e8d93445a6256d 1711 matita_0.5.7-1.dsc
4dea3b8bc91a239410897cdbb2114c2f230d2747 3645283 matita_0.5.7.orig.tar.gz
9ec0357e3b13da22a508593521300dbcf6efc15f 4995 matita_0.5.7-1.diff.gz
135509d01bda365b44e4d391094a0823aff5dcfa 16326022 matita-standard-library_0.5.7-1_all.deb
1e6563de556275456b93ceb9531b07b7b533c6da 1666954 matita-doc_0.5.7-1_all.deb
384fc251b81b2aac6b008ab3762a034ec8e0384b 5632834 matita_0.5.7-1_amd64.deb
Checksums-Sha256:
cf4561510d57c6423e828dbfbaba00ea0d1df8688e9f36a72aa024814138b61e 1711 matita_0.5.7-1.dsc
cc89f8902552b7ed0360633b33fcf0fef843611751a632fd14d2d4bea045b3d2 3645283 matita_0.5.7.orig.tar.gz
6aacd11d71e036914b9152fa4668e03594a39608d7d9bff3b75e55de55b1e069 4995 matita_0.5.7-1.diff.gz
d88843ee9774d395fd0c0d0b7bf86ed199a341d92c79c7cc1c513aeacd9d50be 16326022 matita-standard-library_0.5.7-1_all.deb
b4dab35679c37bde8b6f444687880ba8f31ac0a7d9de571f3e36bceb3b1ccd64 1666954 matita-doc_0.5.7-1_all.deb
39449db7446a52b34dc351bf8e8bc4819db0177c317f50dc83844c6f45335ce6 5632834 matita_0.5.7-1_amd64.deb
Files:
2f62c4d5624af494bda3356fe762cd78 1711 math optional matita_0.5.7-1.dsc
1ac14d26a3d742206b6d063f4e2d7038 3645283 math optional matita_0.5.7.orig.tar.gz
d7d91b611dcf11d0876bfb588dbfb9f9 4995 math optional matita_0.5.7-1.diff.gz
b4b5252605c35cef214821f245b864ed 16326022 math optional matita-standard-library_0.5.7-1_all.deb
b28956d92dff048d7a763558f720c09e 1666954 doc optional matita-doc_0.5.7-1_all.deb
4ac5ecb20d861a6ecba8d4419444ceaf 5632834 math optional matita_0.5.7-1_amd64.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.9 (GNU/Linux)
iEYEARECAAYFAkmYPXUACgkQ7kkcPgEj8vLQxQCdHlHHgiPeITsvegBrZM5LxZe3
mgIAnijkJhdDluqBlwIgoeabbiT9wXAL
=Y68W
-----END PGP SIGNATURE-----
Accepted:
matita-doc_0.5.7-1_all.deb
to pool/main/m/matita/matita-doc_0.5.7-1_all.deb
matita-standard-library_0.5.7-1_all.deb
to pool/main/m/matita/matita-standard-library_0.5.7-1_all.deb
matita_0.5.7-1.diff.gz
to pool/main/m/matita/matita_0.5.7-1.diff.gz
matita_0.5.7-1.dsc
to pool/main/m/matita/matita_0.5.7-1.dsc
matita_0.5.7-1_amd64.deb
to pool/main/m/matita/matita_0.5.7-1_amd64.deb
matita_0.5.7.orig.tar.gz
to pool/main/m/matita/matita_0.5.7.orig.tar.gz