-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Thu, 12 Dec 2013 09:06:18 +0100 Source: coq-doc Binary: coq-doc coq-doc-html coq-doc-pdf Architecture: source all Version: 8.4pl2-1 Distribution: unstable Urgency: medium 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 Changes: coq-doc (8.4pl2-1) unstable; urgency=medium . * New upstream release * Debhelper compat level 9 * Update Vcs-* Checksums-Sha1: 597387c72e41d7cb8f1a60e6fd7dbbd749aa97e8 2237 coq-doc_8.4pl2-1.dsc adcef430b8e27663e8ea075e646112f7d4d51fa6 4145112 coq-doc_8.4pl2.orig.tar.gz dffeed527c492a68a81ce748466d6c36853f5749 8729 coq-doc_8.4pl2-1.debian.tar.gz 76f2322c5a4c62ba69068fd0b367dc6d9d7f6d0a 49136 coq-doc_8.4pl2-1_all.deb 51966a773d73426f0abeb935b7874f6c008b0575 471362 coq-doc-html_8.4pl2-1_all.deb 05a3ee277c51b44e9ff96100f5121ca6c8e376b0 2463260 coq-doc-pdf_8.4pl2-1_all.deb Checksums-Sha256: 5ef8268a16ceb8575ec2b22e0eda0388b3d1fb058fbf7392c13e28e3d851e1d5 2237 coq-doc_8.4pl2-1.dsc fb719a38f613b01861e3b251e745a5c8ef395a26ce7029668e85ac75fcbca2d8 4145112 coq-doc_8.4pl2.orig.tar.gz 0d54845d4bcce090b5031187336dd570d857860efd6098966eb248e181d36ec9 8729 coq-doc_8.4pl2-1.debian.tar.gz e49c8557e429464024d09460409fcab5d0bfb04a99c3d973ef0bbaabf598fa54 49136 coq-doc_8.4pl2-1_all.deb eefb2516623f227e5dc2ed7950ef443e77786e2e5c9f60f56471d811cc425998 471362 coq-doc-html_8.4pl2-1_all.deb 90b5b14e65c51aef3f4b74f035d2fc6687943cf2d203bf97194b011049b1e7b6 2463260 coq-doc-pdf_8.4pl2-1_all.deb Files: 456c811b13f4f9f17a735dfa38711804 2237 non-free/doc optional coq-doc_8.4pl2-1.dsc 7fd98da8db35a89b9718333a31af6153 4145112 non-free/doc optional coq-doc_8.4pl2.orig.tar.gz c22d33b38ec871cb39e0ac2ae1c539d5 8729 non-free/doc optional coq-doc_8.4pl2-1.debian.tar.gz 2471ff23563228ff8ca63bd000737cc8 49136 non-free/doc optional coq-doc_8.4pl2-1_all.deb 2cb23a7e3cdf49903d459fbc6cc1c2d3 471362 non-free/doc optional coq-doc-html_8.4pl2-1_all.deb c7b6fba1ac4096c8ff3f13e08f51c7df 2463260 non-free/doc optional coq-doc-pdf_8.4pl2-1_all.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.15 (GNU/Linux) iQIcBAEBCgAGBQJSqxT+AAoJEHhT2k1JiBrTndIP/0Sye53ATTgXJ4cGOh/gNvYI XuupET2d/DlgFJzLaUKfUNhFASg2JHzcPu8hv6yczdeBhM+lLodrKeQnqRB19BDA DCr1ZXOFFSZTbnvhkmIt+bnw8VFmAwIsRLMA96f8UloLi1pnU4IxnH6nd+CsqA5A kweYJ6LkI49AMrAWGS4XaARo9Qx9oR32qs68OAQb+8fhxW19aveTHPiSrq20IGkG x+6QLBreXR/l2dVIsyzXKbVuYaI9QTNq1EqHUuUGmbxNFKOrAJ1txYCgdiz5cAlk StuVCQbAN4qybNSCuRqw2Js6Yhlo0e+Stc/659e7X3LvCh8yxrBnzc2osAKP9Xkm NYvDZBdAXKiMlQbD4BXtjbAZUgxyUa+C9Nebjw52kGfsljr3KbFxwWHkQmpplleY 2ckSs7Z412fm520AVAbFkHnycDyaCnNE/lcn9hq6x3p9PfKd3iqrmvQQ/eItEbNn ivzVxkbSdmiLpdhl6H9+qCBX0283Z9yCpLdg2v186NnlmBiGW4ttwxH7pUPiqQe9 kaPUyDzwqLjKgLwr+pL+PuA4l86QTU4xvgnXf082BdPbytYMmXoyidiAQ3BCB+br VOS1MArIwH9boRMiEXJ4AiFRNjG0oX5/csMiU09wPZ1h2UJ5sOTw0BzaTjZD8RA/ ltzO1BPrNMuvdIG+IEWB =EPhB -----END PGP SIGNATURE-----