-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.8 Date: Mon, 17 Nov 2008 18:24:52 +0100 Source: matita Binary: matita matita-standard-library Architecture: source all amd64 Version: 0.5.5-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-standard-library - standard library for the Matita interactive theorem prover Changes: matita (0.5.5-1) experimental; urgency=low . * New upstream bugfix release Checksums-Sha1: 96b269d797f875c9484a9e522fd1e972f2cc0fda 1660 matita_0.5.5-1.dsc ee5ac017c34c29c67a9feaf15fc5950084dc440c 2008994 matita_0.5.5.orig.tar.gz bff24df8aa7f5b71f9cf9c5f987a27a9d0d4f145 4414 matita_0.5.5-1.diff.gz 09980364a6f184d3a3c12cd1055c6efbd17bc87a 17515832 matita-standard-library_0.5.5-1_all.deb 881c9d168e9ddee1615a048bc325dc0cb76158e5 3680296 matita_0.5.5-1_amd64.deb Checksums-Sha256: 58de0e9c119858e0fc24f9bec80aa95082f1ed9c1095c182952091e9820ab648 1660 matita_0.5.5-1.dsc b604a6a24f3b8ac4e51b58fe46dea10acfad539b6bf8df40a0c938f11edc5bd7 2008994 matita_0.5.5.orig.tar.gz 3002b959478488a3626674cd100293842c46795d8321b635fb1cecba7e4e70db 4414 matita_0.5.5-1.diff.gz 37342c9c963c74d26405b5de588799560f607e95b3d058cd0b640f5d2128b234 17515832 matita-standard-library_0.5.5-1_all.deb 21258c8c73fa6f3e9b48c7c70ac816b3d25cddee7639ca074812af58d87849c7 3680296 matita_0.5.5-1_amd64.deb Files: d24a21bdf2fe7150866ddf06212e22e0 1660 math optional matita_0.5.5-1.dsc e22f3c313f3291400f2912cc24eaa591 2008994 math optional matita_0.5.5.orig.tar.gz 222219eb602f1d627e9362b4cf08d777 4414 math optional matita_0.5.5-1.diff.gz 074734bed849db74384ee4965f7d52d9 17515832 math optional matita-standard-library_0.5.5-1_all.deb d7394c7478d2f859db29967c72d907cb 3680296 math optional matita_0.5.5-1_amd64.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.9 (GNU/Linux) iEYEARECAAYFAkkhrcMACgkQ7kkcPgEj8vIHhACgkE+CqOMkqTjZYLvIphH76IM/ 4oEAnRd2E75qSthxmkprATVQw+gY2nq9 =bHnb -----END PGP SIGNATURE----- Accepted: matita-standard-library_0.5.5-1_all.deb to pool/main/m/matita/matita-standard-library_0.5.5-1_all.deb matita_0.5.5-1.diff.gz to pool/main/m/matita/matita_0.5.5-1.diff.gz matita_0.5.5-1.dsc to pool/main/m/matita/matita_0.5.5-1.dsc matita_0.5.5-1_amd64.deb to pool/main/m/matita/matita_0.5.5-1_amd64.deb matita_0.5.5.orig.tar.gz to pool/main/m/matita/matita_0.5.5.orig.tar.gz
