Accepted matita 0.5.6-1 (source all amd64)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.8
Date: Mon, 01 Dec 2008 19:11:51 +0100
Source: matita
Binary: matita matita-standard-library matita-doc
Architecture: source all amd64
Version: 0.5.6-1
Distribution: experimental
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.6-1) experimental; urgency=low
.
* New upstream bugfix release
Checksums-Sha1:
1b6c26c8a0dbff3368d6f4f9b5c9b583e0607f57 1711 matita_0.5.6-1.dsc
d732580f20cbbb8bb3c35ca970e001b37755140f 3873237 matita_0.5.6.orig.tar.gz
5ac3935a603ec315de11769a2e8d25d4c4515f7b 4933 matita_0.5.6-1.diff.gz
2e6eca00b794b8771d8a54470aa5bf48ab82825f 19491344 matita-standard-library_0.5.6-1_all.deb
4bcdfd0925ebdaaf582b5be9e9ef4433ec5fbadd 1494992 matita-doc_0.5.6-1_all.deb
ef8b0f47413527a9548a27d32b4b5092264b7a48 5360300 matita_0.5.6-1_amd64.deb
Checksums-Sha256:
8a5f09f921a07f6089eb1ab6ec23440aa6963c20cf25a59708e72bf951c93f9c 1711 matita_0.5.6-1.dsc
2ec36d7262caa1ba2cc663c1a1b7591c10edabeb3bcfe51462b5aad24e888226 3873237 matita_0.5.6.orig.tar.gz
50c9b4ad30333be96d361a41d3fe208680cf2990d1f7886c93117ac9f8365da2 4933 matita_0.5.6-1.diff.gz
19c57a7bf059e19f2c344f541b684bf1bb50da08e59b39d3bea01245989a8ffc 19491344 matita-standard-library_0.5.6-1_all.deb
7fe6e8d5fa1a97e3bbea741f3437cf68b1986025a9266dc0f7545091d5136ac0 1494992 matita-doc_0.5.6-1_all.deb
0f2c367f3b4cd36f2437887dca73c07a8c1a2f141455b7428b25a4360d45784f 5360300 matita_0.5.6-1_amd64.deb
Files:
a0b96bf59cfb104a3ea9ac5973bcaf29 1711 math optional matita_0.5.6-1.dsc
8f8d9009f07205c2da239b7a1506bfd9 3873237 math optional matita_0.5.6.orig.tar.gz
cceae2e834f4f78d381bb7082ff7e2cc 4933 math optional matita_0.5.6-1.diff.gz
3e03199e238f866d104b33e4b6d48d83 19491344 math optional matita-standard-library_0.5.6-1_all.deb
ea87aec6d03f524076b012dc5a16e886 1494992 doc optional matita-doc_0.5.6-1_all.deb
4f4cf4e08814fb9d88b451e15139ba5c 5360300 math optional matita_0.5.6-1_amd64.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.9 (GNU/Linux)
iEYEARECAAYFAkk0MfYACgkQ7kkcPgEj8vLVkgCeK6uq0Rbr/Xm54cWN/T/CsUzc
VD8AoIEHkctFq5UtMAjymgle+ghIU2ZI
=MCnV
-----END PGP SIGNATURE-----
Accepted:
matita-doc_0.5.6-1_all.deb
to pool/main/m/matita/matita-doc_0.5.6-1_all.deb
matita-standard-library_0.5.6-1_all.deb
to pool/main/m/matita/matita-standard-library_0.5.6-1_all.deb
matita_0.5.6-1.diff.gz
to pool/main/m/matita/matita_0.5.6-1.diff.gz
matita_0.5.6-1.dsc
to pool/main/m/matita/matita_0.5.6-1.dsc
matita_0.5.6-1_amd64.deb
to pool/main/m/matita/matita_0.5.6-1_amd64.deb
matita_0.5.6.orig.tar.gz
to pool/main/m/matita/matita_0.5.6.orig.tar.gz