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 <smimram@debian.org>  Sat, 14 Apr 2007 18:24:43 +0200

coq-doc (8.1-2) unstable; urgency=low

  * Uploading to unstable.

 -- Samuel Mimram <smimram@debian.org>  Mon, 09 Apr 2007 17:21:10 +0200

coq-doc (8.1-1) experimental; urgency=low

  * New upstream release.
  * Allow building with texlive in build-dependencies.

 -- Samuel Mimram <smimram@debian.org>  Tue, 13 Feb 2007 13:23:18 +0000

coq-doc (8.1~gamma-2) experimental; urgency=low

  * Correctly install html documentation, closes: #407117.

 -- Samuel Mimram <smimram@debian.org>  Tue, 16 Jan 2007 17:40:02 +0000

coq-doc (8.1~gamma-1) experimental; urgency=low

  * New upstream release.
  * Added faq-urldef.dpatch to workaround hevea bug #405994.

 -- Samuel Mimram <smimram@debian.org>  Sun,  7 Jan 2007 20:18:31 +0100

coq-doc (8.0pl3+8.1beta.2-1) experimental; urgency=low

  * New beta upstream release.

 -- Samuel Mimram <smimram@debian.org>  Thu, 13 Jul 2006 14:40:04 +0000

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.

 -- Samuel Mimram <smimram@debian.org>  Wed, 10 May 2006 16:39:24 +0000

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.

 -- Samuel Mimram <smimram@debian.org>  Fri, 28 Apr 2006 18:52:06 +0200

coq-doc (8.0pl1.0-1) unstable; urgency=low

  * 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.

 -- Samuel Mimram <samuel.mimram@ens-lyon.org>  Sat, 18 Sep 2004 13:28:22 +0200

coq-doc (8.0pl1-1) unstable; urgency=medium

  * New maintainer.
  * New upstream release, closes: #265077.
  * Converted changelog and control to utf8.
  * Updated Standards-Version to 3.6.1.
  * Removed the unneeded Depends.
  * Added a symbolic link to the documentation in /usr/share/doc/coq,
    closes: #146617.
  * Included the html documentation, closes: #146618.
  * Slightly modified the description, since we now also have the html doc.
  * The package is now built by the binary-indep rule of debian/rules.

 -- Samuel Mimram <samuel.mimram@ens-lyon.org>  Fri, 13 Aug 2004 16:32:10 +0200

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

  * New upstream version.
  * New maintainer.

 -- Judicaël Courant <Judicael.Courant@lri.fr>  Thu, 18 Apr 2002 15:08:00 +0200

coq-doc (6.3.1-2) unstable; urgency=low

  * Changed Architecture field from 'any' to 'all' since this package only
    contains documentation (closes: Bug#52770)

 -- Fernando Sanchez <fer@debian.org>  Sat, 18 Dec 1999 12:43:48 +0100

coq-doc (6.3.1-1) unstable; urgency=low

  * New upstream release

 -- Fernando Sanchez <fer@debian.org>  Wed,  8 Dec 1999 16:19:01 +0100

coq-doc (6.3-1) unstable; urgency=low

  * Initial Release.

 -- Fernando Sanchez <fer@debian.org>  Sun, 28 Nov 1999 19:42:06 +0100