-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Tue, 31 May 2011 11:17:47 +0200 Source: matita Binary: matita matita-doc Architecture: source all amd64 Version: 0.5.8-3 Distribution: unstable Urgency: low Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Stéphane Glondu <glondu@debian.org> Description: matita - interactive theorem prover matita-doc - user manual of the Matita interactive theorem prover Closes: 612891 Changes: matita (0.5.8-3) unstable; urgency=low . [ Stéphane Glondu ] * Team upload * Switch packaging to git * Switch source package format to 3.0 (quilt) * Remove Stefano from Uploaders . [ Colin Watson ] * Apply r11210 from upstream SVN to account for changes in the signatures of Gramext.Slist0sep and Gramext.Slist1sep (Closes: #612891) Checksums-Sha1: 1abba37c1aab407cc8b3e7c9555591deaf294e7c 2322 matita_0.5.8-3.dsc c6983361b93d1f453526cf0e49bb273b96e1e3a2 6565 matita_0.5.8-3.debian.tar.gz 2f10de446be92a48d3ef77913e2f122c278e52b9 1238856 matita-doc_0.5.8-3_all.deb c830b2029bdcf284d222f65ea33195612694c533 6870640 matita_0.5.8-3_amd64.deb Checksums-Sha256: 408eeb12abfc55ed9a60b7a35b702ac35e345becfb6ecbc8b5ebd5acb5759180 2322 matita_0.5.8-3.dsc c5bc4d8d3832f33dd57eebb8cf689b00c22b9eb8fa72a39b5951197eac7cce83 6565 matita_0.5.8-3.debian.tar.gz 7080d92d1eed1f39f2e88629d925d11b3e98e77d7e7cce5c2f885e44d257fcb9 1238856 matita-doc_0.5.8-3_all.deb 22903bf7a26636728fdcedb2ffc3c189c6c7d3f8eba6262cd606f3a61236f526 6870640 matita_0.5.8-3_amd64.deb Files: fbb8ee3deb76ff90f2bc919844d75f9c 2322 math optional matita_0.5.8-3.dsc ede4dca78cfc37ae39e5ca2c31406270 6565 math optional matita_0.5.8-3.debian.tar.gz eb283a630a7bd88d6b19551899161c28 1238856 doc optional matita-doc_0.5.8-3_all.deb 82bc01b67aaa4c27069999d500bd573e 6870640 math optional matita_0.5.8-3_amd64.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.10 (GNU/Linux) iQIcBAEBCgAGBQJN5LS1AAoJEHhT2k1JiBrTf98QALZ8o4PcEsIe2GrbHBSrDtjF 21p+LwkvHel+YRMaPqpcIL00VWYtWREQ7qAlL1XtB3Hmm5xalkcRtbYyy485DpHZ 3RWsqMXrL5DxPpcv+tkxoIgJujJhinlcCT0RLwzmFc5Z9HlWUzAal1ttnqfsLooh ElqSvlcv1Y93r05CtNX9JUrXTFp6sNy8jy3+9hF1XB3QPI80U9EQPDLn6RAahkaB 9FtW3VJEffPaOLE56sCf8hDrRzRuUUijzSXq/UygrRD2eN43c3vmu4Pfaj9GIBkZ d088to4+ixcYNRd4uFTI/KXvQ7tVvF44NZqDCWRxO972HoYO2XabzraEyT/RLPCP tfkMgukLnSUkE9edtZzUc8nq6hE3o/GGsMYqJeKAxa0mrGYMfjVWfBdF/ddCcU3W 0ymHOJfjxEtysnv+j6DUf5icUrf7xR76HNuTYX1gi4Ou55VscxUkGKoOaA41VKa2 9U4Pn50xvrPsMRQtTnXQ13WKGExKf7gVa0+RwYY9++Hdg8k4e/jYwOhlZrNuoHR7 svE/ABxkL92Nma1r7jZYmqqqysslnK6/Vof/x1UO2WEQHXuQYz4B1SAKjOvHgc1L m2+fkx69rt/vzYT4cRXehrpchUuo2JkMu9l5QaAiF/asXRTncqNqB/r++Nz9r63K /YYWGaL6ElWgRBsJnWyH =M4QH -----END PGP SIGNATURE----- Accepted: matita-doc_0.5.8-3_all.deb to main/m/matita/matita-doc_0.5.8-3_all.deb matita_0.5.8-3.debian.tar.gz to main/m/matita/matita_0.5.8-3.debian.tar.gz matita_0.5.8-3.dsc to main/m/matita/matita_0.5.8-3.dsc matita_0.5.8-3_amd64.deb to main/m/matita/matita_0.5.8-3_amd64.deb
