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