Publishing details

• Removed from disk on 2016-10-31.
• Removal requested on 2016-10-26.
• Published on 2010-01-18

Changelog

coq-doc (8.2pl1-1) unstable; urgency=low

  [ Stéphane Glondu ]
  * New upstream release (Closes: #563669)
    - remove patches
  * Packaging overhaul:
    - use git, advertise it in Vcs-* fields of debian/control
    - use debhelper 7 and dh with override
    - use source format 3.0 (quilt)
  * debian/control:
    - set Maintainer to d-o-m, set Uploaders to Sam and myself
    - add Homepage field
    - bump Standards-Version to 3.8.3
  * Register PDF documentation into doc-base
  * Add debian/watch
  * Update debian/copyright

  [ Samuel Mimram ]
  * Change coq-doc's description to mention that it provides documentation in
    pdf format, not postscript, closes: #543545.
 -- Benjamin Drung <email address hidden>   Mon,  18 Jan 2010 05:48:20 +0000

Builds

• i386

Package files

• coq-doc-html_8.2pl1-1_all.deb (518.0 KiB)
• coq-doc-pdf_8.2pl1-1_all.deb (2.0 MiB)
• coq-doc_8.2pl1-1.debian.tar.gz (8.4 KiB)
• coq-doc_8.2pl1-1.dsc (2.1 KiB)
• coq-doc_8.2pl1-1_all.deb (36.5 KiB)
• coq-doc_8.2pl1.orig.tar.gz (3.4 MiB)