-----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
