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.
coq-doc (8.1-2) unstable; urgency=low
* Uploading to unstable.
coq-doc (8.1-1) experimental; urgency=low
* New upstream release.
* Allow building with texlive in build-dependencies.
coq-doc (8.1~gamma-2) experimental; urgency=low
* Correctly install html documentation, closes: #407117.
coq-doc (8.1~gamma-1) experimental; urgency=low
* New upstream release.
* Added faq-urldef.dpatch to workaround hevea bug #405994.
coq-doc (8.0pl3+8.1beta.2-1) experimental; urgency=low
* New beta upstream release.
coq-doc (8.0pl3+8.1alpha-2) experimental; urgency=low
* Correct a typo in coq-rectutorial's doc-base (thanks Remi Vanicat),
closes: #366611.
* Updated standards version to 3.7.2, no changes needed.
coq-doc (8.0pl3+8.1alpha-1) experimental; urgency=low
* The licensing issue is now solved. The new licence is OPL which is not
DFSG-compatible. We're moving to non-free, closes: #294865.
* Updated the copyright file.
* Split coq-doc into -html and -pdf, closes: #266019.
* Using dpatch for handling patches.
* Updated standards version to 3.6.2, no changes needed.
-- Ubuntu Archive Auto-Sync <email address hidden> Sat, 28 Apr 2007 17:49:41 +0100
