-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.8 Date: Wed, 02 Jul 2008 11:39:06 +0200 Source: matita Binary: matita matita-standard-library Architecture: source all amd64 Version: 0.5.2-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-standard-library - standard library for the Matita interactive theorem prover Changes: matita (0.5.2-1) unstable; urgency=low . * New upstream release Checksums-Sha1: 06fe5e2dcafa862fae35404c57d60fbf8f54f002 1660 matita_0.5.2-1.dsc 21dee173f392a9e6c0ae5005ccc81bdfc3a14c10 1923611 matita_0.5.2.orig.tar.gz f866c004ec83f833b8976b687cac304c8e891179 4386 matita_0.5.2-1.diff.gz 331d69cfbd9bdf329c716ee2285898562085bd0c 11953076 matita-standard-library_0.5.2-1_all.deb 38a14b66cb6b6a1178bb06a1bcabdf610d39144d 3615846 matita_0.5.2-1_amd64.deb Checksums-Sha256: d39a7b31cc4000b47bf29654694c09a352ad30985bf95c55162fc27db877071f 1660 matita_0.5.2-1.dsc d22a898fd190b5471f0385efd7ae163a7b770da798b2067aa3cccd20c80a2288 1923611 matita_0.5.2.orig.tar.gz 76b91a79616eea13652017ff082323d859038092c516e7ee7fc9eb3573efaded 4386 matita_0.5.2-1.diff.gz b45b3b2c3d86952d4178e1240e0d129cf1798967ab85783fcc5aef6e7b6b6185 11953076 matita-standard-library_0.5.2-1_all.deb a32c418530ddfb54e85756f2dc06186a580e65be2e5e8f783a5fb58a0184fcdf 3615846 matita_0.5.2-1_amd64.deb Files: 3e9b7d28c41a97cd7aea1594cf3fffbd 1660 math optional matita_0.5.2-1.dsc e154bb89a0502142c7e26ca69a2f1cda 1923611 math optional matita_0.5.2.orig.tar.gz 5bf904d66c7c6fb638a692a3efffa7b0 4386 math optional matita_0.5.2-1.diff.gz 54b700932679732c231396ccfc3669a5 11953076 math optional matita-standard-library_0.5.2-1_all.deb dda3b2d19aabda3ae7549e9db534dcf2 3615846 math optional matita_0.5.2-1_amd64.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.9 (GNU/Linux) iEYEARECAAYFAkhrVyMACgkQ7kkcPgEj8vJXzgCcCZpKs5/mSFNk3FHcPBgVZ0Fd V2sAn0qB72eDn0IvQ9mxHOpmFmPbcPGQ =tKh5 -----END PGP SIGNATURE----- Accepted: matita-standard-library_0.5.2-1_all.deb to pool/main/m/matita/matita-standard-library_0.5.2-1_all.deb matita_0.5.2-1.diff.gz to pool/main/m/matita/matita_0.5.2-1.diff.gz matita_0.5.2-1.dsc to pool/main/m/matita/matita_0.5.2-1.dsc matita_0.5.2-1_amd64.deb to pool/main/m/matita/matita_0.5.2-1_amd64.deb matita_0.5.2.orig.tar.gz to pool/main/m/matita/matita_0.5.2.orig.tar.gz
