lp:ubuntu/hardy/coq-doc

Related source package recipes

No recipes using this branch. (?)

Create packaging recipe

Related snap packages

Related bugs

Related blueprints

4. By Samuel Mimram on 2007-04-14

Removed tetex-bin from build-dependencies, and added texlive-base,
texlive-latex-extra, texlive-math-extra, texlive-lang-french and
texlive-humanities, closes: #420591.

3. By Samuel Mimram on 2004-09-18

* Added the Coq faq, moved the tutorial to the root directory and added
  doc-base files for both, closes: #272204.
* Set dh_compat to level 4.

2. By Judicaël Courant <email address hidden> on 2002-04-18

* New upstream version.
* New maintainer.

1. By Judicaël Courant <email address hidden> on 2002-04-18

Import upstream version 7.2