Accepted matita 0.5.8-1 (source all amd64)
-----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