Accepted coq-doc 8.4pl4-1 (source all) into unstable
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Sun, 17 Aug 2014 14:36:07 +0200
Source: coq-doc
Binary: coq-doc coq-doc-html coq-doc-pdf
Architecture: source all
Version: 8.4pl4-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.4pl4-1) unstable; urgency=medium
.
* New upstream release
* Update debian/watch
* Put debian/copyright in format 1.0
* Bump Standards-Version to 3.9.5
Checksums-Sha1:
ef01c20c194c7ba1189b3210c60a52eba548b48a 2243 coq-doc_8.4pl4-1.dsc
4dfc3a1ae65f5c480ddc4387d21549a526183e00 4067355 coq-doc_8.4pl4.orig.tar.gz
12545ca16b2215ac030c92419e8a3433bc6d2367 8084 coq-doc_8.4pl4-1.debian.tar.xz
ba06cc4514e75b84d0257d89cde67cdb22d1832f 50422 coq-doc_8.4pl4-1_all.deb
57bfa032f7f8d165f114d2deda5642cf02a64610 473846 coq-doc-html_8.4pl4-1_all.deb
3121c0119bc91b8beded5781c909116638234b52 2466854 coq-doc-pdf_8.4pl4-1_all.deb
Checksums-Sha256:
81dbc512a3f6e36ce82b6a7d570a215d233a9b17a4c2f025709fc1ac8591ff65 2243 coq-doc_8.4pl4-1.dsc
06c3aeab7819eed8f35ce794c887a70cf3b4f6b71ee52cd3110fb4e526717f01 4067355 coq-doc_8.4pl4.orig.tar.gz
253f9284670aeea4e2dc3d0e77a39cea1170f15adc4f6b84f607c2e295a92237 8084 coq-doc_8.4pl4-1.debian.tar.xz
17f2dca7bf2c864cd9c5e1f59eb533656ef659a1f0ea49447f21ac09ab14bcd5 50422 coq-doc_8.4pl4-1_all.deb
d75b52a786e3650b60848d557a75ca7f6859f5c0d4acb3f1df3276fd2493c742 473846 coq-doc-html_8.4pl4-1_all.deb
c1d5a3bbf0a11223bd98acb608ca8b6b605c64770e7aa18eee44c5a95748b622 2466854 coq-doc-pdf_8.4pl4-1_all.deb
Files:
d95a17b5e17b79c8ea74dce9c70ca7f8 50422 non-free/doc optional coq-doc_8.4pl4-1_all.deb
61efd869800f952a327f72acd00bff71 473846 non-free/doc optional coq-doc-html_8.4pl4-1_all.deb
774d56fc94fd7d5166141388b68a71e6 2466854 non-free/doc optional coq-doc-pdf_8.4pl4-1_all.deb
212fb6bb41d32177fd881ba32cb48259 2243 non-free/doc optional coq-doc_8.4pl4-1.dsc
6a9f61cf0ece644b170f722fbc8cf2a1 4067355 non-free/doc optional coq-doc_8.4pl4.orig.tar.gz
0cb80d400e999cb25ea1f3dffbea5e4c 8084 non-free/doc optional coq-doc_8.4pl4-1.debian.tar.xz
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1
iQIcBAEBCgAGBQJT8K5pAAoJEHhT2k1JiBrTAGUQAKkKpe3ySmf8uDzrbZep9jHt
lnfocKSQxuJ9M585J+87QFLtSaN0iIgFtxlJzUmoVUhZlJY3K6q8nIdH+9BRSV2q
3TwrBJf//Slrvq9uNXrxaAJF9aFw54U4titt7uxzoYNBLRk1kpvH1ohK5LGr2Rpw
F1cspZfLi2olj67RLE0rZBip44ksCwzKZaSHgw2v+4JF7F2f2ZsFY6AQm/fCCstB
L89FPGMc5p0KsNhjYDhlLs5ruZ/Hubcz9uBBfQh2b+X2c9LNRPpGwRsAWtvfMJob
K4wo6j4TxlnIC/7n/bugUIlCwM5r99G9lk3nLN/VDhHFdV/W/PtzvolUoW2cVu0a
dq/dXOu/gjLGgoiiaDu983E2xA3XWY8WttwbYFMZ2VfhRiGQkBc601fA3Wx+RQX2
yDFE2kOuT1mPcTwRLZ9JGm2+LINAlIi3FHoDHAzvXiw2Ticn9LByculKhDpIArTr
68sJfg+81GuBdFOJoFpAVBzUE+kTjBoPzH0FSIsXyK8txG2RRO3QrqD174SPJqGU
GHp1JeGEjaypVU+nD4E8UucjmO7Q661aXBbuWxn6N/UVV/R/XIpFbouvq554zSgg
VpPvppXEbl6T7/e/sSinEPjcjYoojHLgjemyKb50KjVf+551hdSGUXt6J9Msa95x
Vg9j2Q65UJWQbyHKJNWa
=On4D
-----END PGP SIGNATURE-----