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

  * Team upload.
  * New upstream version 8.6 (Closes: #864468)
  * add myself to uploaders
  * bump standards version to 4.0.0
  * fix build dependencies
  * changed Vcs fields to https
  * fixed missing axiom picture in FAQ
  * remove unterminated_string_literal patch (fixed upstream)
  * updated doc-base entries
  * added .gitignore in debian dir to ignore editor backups

 -- Hendrik Tews <hendrik@askra.de>  Wed, 05 Jul 2017 22:29:28 +0200

coq-doc (8.4pl4-2) unstable; urgency=medium

  * Team upload
  * patch unterminated_string_literal: fix FTBFS with ocaml 4.02.3

 -- Ralf Treinen <treinen@debian.org>  Thu, 11 Feb 2016 08:48:56 +0100

coq-doc (8.4pl4-1) unstable; urgency=medium

  * New upstream release
  * Update debian/watch
  * Put debian/copyright in format 1.0
  * Bump Standards-Version to 3.9.5

 -- Stéphane Glondu <glondu@debian.org>  Sun, 17 Aug 2014 14:36:07 +0200

coq-doc (8.4pl2-1) unstable; urgency=medium

  * New upstream release
  * Debhelper compat level 9
  * Update Vcs-*

 -- Stéphane Glondu <glondu@debian.org>  Thu, 12 Dec 2013 09:06:18 +0100

coq-doc (8.3pl4-1) unstable; urgency=low

  * New upstream release

 -- Stéphane Glondu <glondu@debian.org>  Fri, 06 Apr 2012 07:33:19 +0200

coq-doc (8.3pl3-1) unstable; urgency=low

  * New upstream release

 -- Stéphane Glondu <glondu@debian.org>  Tue, 03 Jan 2012 23:42:48 +0100

coq-doc (8.3pl2-1) unstable; urgency=low

  * New upstream release
  * Make dependencies of coq-doc versioned
  * Bump debhelper compat level to 8
  * Bump Standards-Version to 3.9.2

 -- Stéphane Glondu <glondu@debian.org>  Fri, 06 May 2011 10:36:59 +0200

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.

 -- Stéphane Glondu <glondu@debian.org>  Thu, 07 Jan 2010 22:50:39 +0100

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
