coq-doc (8.1-3) unstable; urgency=low
* Removed tetex-bin from build-dependencies, and added texlive-base,
texlive-latex-extra, texlive-math-extra, texlive-lang-french and
texlive-humanities, closes: #420591.
-- Samuel Mimram <firstname.lastname@example.org> Sat, 14 Apr 2007 18:24:43 +0200
coq-doc (8.1-2) unstable; urgency=low
* Uploading to unstable.
-- Samuel Mimram <email@example.com>
This package was debianized by Fernando Sanchez <firstname.lastname@example.org> on
Sun, 28 Nov 1999 19:42:06 +0100.
The Coq Reference Manual is a collective work from the Coq Development
Team whose members are listed in the file CREDITS of the Coq source
package. All related documents (the LaTeX and BibTeX sources, the
embedded png files, and the PostScript, PDF and html outputs) are
copyright (c) INRIA 1999-2