-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Fri, 06 May 2011 10:36:59 +0200 Source: coq-doc Binary: coq-doc coq-doc-html coq-doc-pdf Architecture: source all Version: 8.3pl2-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 Changes: coq-doc (8.3pl2-1) unstable; urgency=low . * New upstream release * Make dependencies of coq-doc versioned * Bump debhelper compat level to 8 * Bump Standards-Version to 3.9.2 Checksums-Sha1: 5599d031efb31b6b4cb70ffe7a7080ed07f37491 2097 coq-doc_8.3pl2-1.dsc 8506761e4755739cc728aff790dd778db8217f3f 3760176 coq-doc_8.3pl2.orig.tar.gz 7e3dfa5c672f791b6c863dcc30ec26822f1f7198 8827 coq-doc_8.3pl2-1.debian.tar.gz 779e54e70a55dae82d9730b6f492e629f0213f33 43686 coq-doc_8.3pl2-1_all.deb caafbf7e3d19f18b7979721e95642d2b411f0b6c 555676 coq-doc-html_8.3pl2-1_all.deb e1c60272201c42a122250f6aed38c2eea765bcfa 2428384 coq-doc-pdf_8.3pl2-1_all.deb Checksums-Sha256: eb03af69cdff492c5a1edc55a25ab8677d0530fbbfc3bd0675502edd609ce636 2097 coq-doc_8.3pl2-1.dsc b82b44ec585903b6bfadca02008eb5549cda46038c776ec115bc408c4e0f34f1 3760176 coq-doc_8.3pl2.orig.tar.gz 82ffc959c0aabd4bbb284006b06bdedcbf1504b7892b8866117ce9a1bd3534e7 8827 coq-doc_8.3pl2-1.debian.tar.gz 2ccf948092a035068f8f9473a06be79a3e950298da4b76459811c19207410351 43686 coq-doc_8.3pl2-1_all.deb adbe661092069aab33eb309bbdd728746d41e27a2b59a15a1b0bdc56e6162ded 555676 coq-doc-html_8.3pl2-1_all.deb fecf8d237df5e5ad9fc90f97fe2fb3ae5f2b51d159f683916215864225a4e8da 2428384 coq-doc-pdf_8.3pl2-1_all.deb Files: eb734b6635f5a8e899a640251cd7207c 2097 non-free/doc optional coq-doc_8.3pl2-1.dsc db415f6c5372f5a443699c62f5affcb4 3760176 non-free/doc optional coq-doc_8.3pl2.orig.tar.gz 5d8f107c472322a32f01b2aa768e6644 8827 non-free/doc optional coq-doc_8.3pl2-1.debian.tar.gz 310507539f231deba2eeadcf6dfcb07b 43686 non-free/doc optional coq-doc_8.3pl2-1_all.deb 549a71833f608e870219e7a055bf20d1 555676 non-free/doc optional coq-doc-html_8.3pl2-1_all.deb e6ac7e583407da97ed14ed91e52161b8 2428384 non-free/doc optional coq-doc-pdf_8.3pl2-1_all.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.10 (GNU/Linux) iQIcBAEBCgAGBQJNw95QAAoJEHhT2k1JiBrTxbAP/2y1OEvkB2XyTWQZaJf/QbLt jNR/8Arwkovk9zF9CfgXsl8kLC72+aMV6lw9zuvZN3PLVgXx3Pg21XzNSHff/PQt N2kfHgR4UHrc7uTjVzmvz3+/OWJ0yUcl+TbK7D4hnKj2Qv0BBu9xj+j4FXUZTybH NNy1XMSoA4R26l+cmO8Gd/pTJW1BiZ01tCnZtUWFFzNdFdKNE8D7yKmLqpQprN/G f/SkBDzu4WKwwThTC2WjcZ+e54FpaV2ONPN1iS9LOqd6EJ9K03dyLPiRnb7LEbmH BWgSJkI7zrqFu6xMk7fNNsbIFVj2Y1epsVgYf9aA8hSqFAEpurXY7bzqEMrglJyc 9KPvQwFIasZZy+rkwi4us7IKHdPdsiYyRYa5nBl4IUJjc5ZLEaPuzsHTzpwtX3cP C1as918R4Y2ZPl0BZJl/c0BhQ7jNps/GWi10dofShqofpbA8s+A0lRRZsVL/R0af iIA5TIVTdvzAf3+sZw5H2jSOXkA5+KjDv8kdY+NZScz9D/yiLkIFefxRP5SdY6pA MSZ7ynpcAA1/+oHptbYJsuG98l5ZgqlBNy5ioDWdZ4tNZ0b2ml8iL87htNVN5bFV t0+8nQu5z9voHWjZsZOw9K/9rWyhTxZNrXUKx0APWXVL0A7GTcqn2B9GNQf+0LbA wkYruzOnDLktRQJwX4n8 =FEe4 -----END PGP SIGNATURE----- Accepted: coq-doc-html_8.3pl2-1_all.deb to non-free/c/coq-doc/coq-doc-html_8.3pl2-1_all.deb coq-doc-pdf_8.3pl2-1_all.deb to non-free/c/coq-doc/coq-doc-pdf_8.3pl2-1_all.deb coq-doc_8.3pl2-1.debian.tar.gz to non-free/c/coq-doc/coq-doc_8.3pl2-1.debian.tar.gz coq-doc_8.3pl2-1.dsc to non-free/c/coq-doc/coq-doc_8.3pl2-1.dsc coq-doc_8.3pl2-1_all.deb to non-free/c/coq-doc/coq-doc_8.3pl2-1_all.deb coq-doc_8.3pl2.orig.tar.gz to non-free/c/coq-doc/coq-doc_8.3pl2.orig.tar.gz
