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