[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

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: