Publishing details

• Removal requested on 2021-12-22.
• Published on 2020-04-24
• Copied from debian sid in Primary Archive for Debian GNU/Linux

Changelog

coq-doc (8.6-1) unstable; urgency=medium

  * Team upload.
  * New upstream version 8.6 (Closes: #864468)
  * add myself to uploaders
  * bump standards version to 4.0.0
  * fix build dependencies
  * changed Vcs fields to https
  * fixed missing axiom picture in FAQ
  * remove unterminated_string_literal patch (fixed upstream)
  * updated doc-base entries
  * added .gitignore in debian dir to ignore editor backups

 -- Hendrik Tews <email address hidden>  Wed, 05 Jul 2017 22:29:28 +0200

Builds

Package files

• coq-doc-html_8.6-1_all.deb (451.9 KiB)
• coq-doc-pdf_8.6-1_all.deb (2.4 MiB)
• coq-doc_8.6-1.debian.tar.xz (8.1 KiB)
• coq-doc_8.6-1.dsc (2.3 KiB)
• coq-doc_8.6-1_all.deb (4.3 KiB)
• coq-doc_8.6.orig.tar.gz (5.3 MiB)