Accepted coq-doc 8.3pl2-1 (source all)
-----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
Reply to: