Publishing details

• Removed from disk on 2018-01-22.
• Removal requested on 2018-01-22.
• Published on 2015-05-04
• Copied from debian sid in Primary Archive for Debian GNU/Linux

Changelog

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

 -- Stéphane Glondu <email address hidden>  Sun, 17 Aug 2014 14:36:07 +0200

Builds

Package files

• coq-doc-html_8.4pl4-1_all.deb (406.6 KiB)
• coq-doc-pdf_8.4pl4-1_all.deb (2.3 MiB)
• coq-doc_8.4pl4-1.debian.tar.xz (7.9 KiB)
• coq-doc_8.4pl4-1.dsc (2.2 KiB)
• coq-doc_8.4pl4-1_all.deb (4.4 KiB)
• coq-doc_8.4pl4.orig.tar.gz (3.9 MiB)