-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.8 Date: Wed, 02 Dec 2009 00:10:57 +0100 Source: matita Binary: matita matita-doc Architecture: source all amd64 Version: 0.5.8-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-doc - user manual of the Matita interactive theorem prover Closes: 532289 Changes: matita (0.5.8-1) unstable; urgency=low . * New upstream release supporting lablgtksourceview2 * Added docbook-xsl and docbook-xml as build-depend-indep (Closes: #532289) * Removed debian/patches/lablgtk2.14.dpatch, added upstream * Added README.source * build-depend on lablgtksourceview2 * build-depend on debhelper >= 5 * Standards-version set to 3.8.3 Checksums-Sha1: 59e004e5b76137ef9d9c393994acb272d114b075 1721 matita_0.5.8-1.dsc be0a4ed35dbcd021abedb8b41a936d632131d4a8 5879034 matita_0.5.8.orig.tar.gz fc9ed53b1ab6686f1f664e9acf652e9108b6900a 5198 matita_0.5.8-1.diff.gz a1b5836edfac918503779bc797101f5d2f4eaeb7 1674700 matita-doc_0.5.8-1_all.deb 2d3e6645a7f2cfe01bf2e6b48f20533ba646e1f4 7282754 matita_0.5.8-1_amd64.deb Checksums-Sha256: 5a6f162e54a74a766d95291fa371774b30a3c67033a6ecf7d09fea6b6d84accb 1721 matita_0.5.8-1.dsc bad9d65401e4a9a48614749a992148e646ac5bb7f032a189208ce4e4c5b08bd2 5879034 matita_0.5.8.orig.tar.gz 7c3e1bad406b94dd57fc5b2a126cfd2669917a97ab9f610f0fdbab027f3cd98a 5198 matita_0.5.8-1.diff.gz 296efefafb84f5492c070529a8418de6c3074de9cf8014345ed8d31b909e37ba 1674700 matita-doc_0.5.8-1_all.deb 2abbc55f7babba67ce96eac862e4c05c8e47f827c2709abd16ee69092f9c1982 7282754 matita_0.5.8-1_amd64.deb Files: ef3b33ace45cd5da3b743ec0706d92d4 1721 math optional matita_0.5.8-1.dsc ef3faccd0d6a399abcdd01f20a278353 5879034 math optional matita_0.5.8.orig.tar.gz 7addeb2ec1680b65835520e8af12b7f1 5198 math optional matita_0.5.8-1.diff.gz 83b22e304e9869d435165270f5b0c5b7 1674700 doc optional matita-doc_0.5.8-1_all.deb 7d9d028e9706cffb5ae97a53e9353b84 7282754 math optional matita_0.5.8-1_amd64.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.10 (GNU/Linux) iEYEARECAAYFAksVqKAACgkQ7kkcPgEj8vKwXQCggBqmNhkJ550f/nnBAImGNCch 5i0An0K0V1Lc3Qe9yW/TMrv66rf6eo8p =fT1s -----END PGP SIGNATURE----- Accepted: matita-doc_0.5.8-1_all.deb to main/m/matita/matita-doc_0.5.8-1_all.deb matita_0.5.8-1.diff.gz to main/m/matita/matita_0.5.8-1.diff.gz matita_0.5.8-1.dsc to main/m/matita/matita_0.5.8-1.dsc matita_0.5.8-1_amd64.deb to main/m/matita/matita_0.5.8-1_amd64.deb matita_0.5.8.orig.tar.gz to main/m/matita/matita_0.5.8.orig.tar.gz
