Accepted coq-doc 8.4pl2-1 (source all)
-----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-----