[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Accepted matita 0.5.8-3 (source all amd64)



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


Reply to: