Accepted coq-doc 8.2pl1-1 (source all)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Thu, 07 Jan 2010 22:50:39 +0100
Source: coq-doc
Binary: coq-doc coq-doc-html coq-doc-pdf
Architecture: source all
Version: 8.2pl1-1
Distribution: unstable
Urgency: low
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Stéphane Glondu <glondu@debian.org>
Description:
coq-doc - documentation for Coq
coq-doc-html - documentation for Coq in html format
coq-doc-pdf - documentation for Coq in pdf format
Closes: 543545 563669
Changes:
coq-doc (8.2pl1-1) unstable; urgency=low
.
[ Stéphane Glondu ]
* New upstream release (Closes: #563669)
- remove patches
* Packaging overhaul:
- use git, advertise it in Vcs-* fields of debian/control
- use debhelper 7 and dh with override
- use source format 3.0 (quilt)
* debian/control:
- set Maintainer to d-o-m, set Uploaders to Sam and myself
- add Homepage field
- bump Standards-Version to 3.8.3
* Register PDF documentation into doc-base
* Add debian/watch
* Update debian/copyright
.
[ Samuel Mimram ]
* Change coq-doc's description to mention that it provides documentation in
pdf format, not postscript, closes: #543545.
Checksums-Sha1:
e6cb75186230dcaed21a2576a3ea77b98a24b0cf 2103 coq-doc_8.2pl1-1.dsc
4aed3302adc2edbaa5d97984512c1c13014bd649 3600620 coq-doc_8.2pl1.orig.tar.gz
16868057fdc2cdb78625995588cae2caae088ac1 8584 coq-doc_8.2pl1-1.debian.tar.gz
4cd6be60a028055bd7bcf15dfa059964759bf421 37368 coq-doc_8.2pl1-1_all.deb
fdc761776c9906b2148eaf8c92141756c4456067 534618 coq-doc-html_8.2pl1-1_all.deb
e4d741e407643fff20e0a0f1e71a22cada803790 2386650 coq-doc-pdf_8.2pl1-1_all.deb
Checksums-Sha256:
fff49f8c571273d4377df53a78f92a865d07bddb2c78b22716163b69ac8593f8 2103 coq-doc_8.2pl1-1.dsc
7c15acfd369111e51d937cce632d22fc77a6718a5ac9f2dd2dcbdfab4256ae0c 3600620 coq-doc_8.2pl1.orig.tar.gz
f51917807ebdd4d95a5ff53500b1877a6f9882e9b0467b72d722a095496925ca 8584 coq-doc_8.2pl1-1.debian.tar.gz
e77ba902f23e5e69d6f14b9bbd3ba1708556c152d5665ef012829f6ca2e2a66a 37368 coq-doc_8.2pl1-1_all.deb
958b8a6bf34e4754e1bab91fd67bc56cc2dea85061d778ef8ae525fbbf2202e3 534618 coq-doc-html_8.2pl1-1_all.deb
5f0fa52bf4cba2ad42568278ab961c0d10d7ba162f265b1bf817823cb116d2e6 2386650 coq-doc-pdf_8.2pl1-1_all.deb
Files:
7b1ebe3c5a2766acef0e07fbbdb91003 2103 non-free/doc optional coq-doc_8.2pl1-1.dsc
36eed48bc63ada8abf27f96eb126906c 3600620 non-free/doc optional coq-doc_8.2pl1.orig.tar.gz
6691df945a9bed7b78e0401fd05554f5 8584 non-free/doc optional coq-doc_8.2pl1-1.debian.tar.gz
3aff33d35ab85b43a502c840be2e0c3e 37368 non-free/doc optional coq-doc_8.2pl1-1_all.deb
bb09a3717788b06dfa176ce03f67a94e 534618 non-free/doc optional coq-doc-html_8.2pl1-1_all.deb
d1fa53219be5d3bc0828aa661074f58c 2386650 non-free/doc optional coq-doc-pdf_8.2pl1-1_all.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.10 (GNU/Linux)
iQIcBAEBCgAGBQJLRl6NAAoJEHhT2k1JiBrTX08P/3qYxrIFz2hL8Tq+Jnz/ukTK
KQdF81CrdhIpz0HdowE1MafvpUNLvjR2ZKvzk/dEqEWx0Jdw4VCpuyT8J3bV9D3M
TcR9ILoz03B9//Klfy35gEOrnchhpbf9ed6EQwr58nTTNUfu1AvyvFr+yIpFzQo7
v1yl5tbjECIlt1cAyW4TRy7kznkvKWyfLVANY5VVYLhDA+G45V4wr7QubM7pYKrO
1PQ1JN9cVdtPs6BhTMWbNIVJ+9GLSDpEeNcC7O0vtwyWXZqyx5iHk69in7OCoMKv
q1hVRWXJpEIA/h+FQgbj9bSFZKUCJozeX3oinH286DhgGS7GDK8dUHD1AiDthO8+
1D9h5fO47rog8e76DLnY+FeQBH3VWBdyG06VUOQFbMe1Mn0i0ATs35hTRovIs3W0
tPM1logKi8CfZzMHfz0lonmg26yP/inHd7i1Oc4SJoYsWQHc9kxGHALv8rLL4ioj
fJI7lq2muZtL9bgCeyJ4mCU8zYrfxq8LBI3qiRd5UlFqhx6sA0SaNjNXl26Bc/Sh
CGksRgyPsBmVYdwh8hnWRz4VvTkZychJf5QDhhJBhBrCHBHEb3CbV2WfiGwiWTMR
bI5/hNxE7PrCIuEUwgQjKxIjvm+lAMd/d1j/EjIOkRyTuWZywBzlu0KcTmd7qnKD
914P4HtTdyWqGQE9jVcA
=6i0J
-----END PGP SIGNATURE-----
Accepted:
coq-doc-html_8.2pl1-1_all.deb
to non-free/c/coq-doc/coq-doc-html_8.2pl1-1_all.deb
coq-doc-pdf_8.2pl1-1_all.deb
to non-free/c/coq-doc/coq-doc-pdf_8.2pl1-1_all.deb
coq-doc_8.2pl1-1.debian.tar.gz
to non-free/c/coq-doc/coq-doc_8.2pl1-1.debian.tar.gz
coq-doc_8.2pl1-1.dsc
to non-free/c/coq-doc/coq-doc_8.2pl1-1.dsc
coq-doc_8.2pl1-1_all.deb
to non-free/c/coq-doc/coq-doc_8.2pl1-1_all.deb
coq-doc_8.2pl1.orig.tar.gz
to non-free/c/coq-doc/coq-doc_8.2pl1.orig.tar.gz