coq-doc (8.20.0-2) UNRELEASED; urgency=medium

  * Add patch to compile with recent Python versions
    (Closes: #1093324, #1093100).

 -- Julien Puydt <jpuydt@debian.org>  Mon, 20 Jan 2025 12:58:56 +0100

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

  * New upstream release.
  * Bump standards-version to 4.7.0.

 -- Julien Puydt <jpuydt@debian.org>  Thu, 26 Dec 2024 21:46:53 +0100

coq-doc (8.19.1-2) unstable; urgency=medium

  * Call "dune build" with --release

 -- Stéphane Glondu <glondu@debian.org>  Tue, 18 Jun 2024 11:16:07 +0200

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

  * New upstream release.

 -- Julien Puydt <jpuydt@debian.org>  Mon, 15 Apr 2024 09:08:18 +0200

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

  * Make sure the html documentation uses local mathjax (Closes: #1056948).
  * New upstream release.

 -- Julien Puydt <jpuydt@debian.org>  Thu, 25 Jan 2024 13:58:36 +0100

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

  [ Stéphane Glondu ]
  * New upstream release
  * Build-depend on ocaml-dune
  * Remove Samuel and Hendrik from Uploaders
  * Bump Standards-Version to 4.6.2

  [ Debian Janitor ]
  * Remove constraints unnecessary since buster (oldstable):
    + Build-Depends-Indep: Drop versioned constraint on hevea (>= 1.05).

 -- Stéphane Glondu <glondu@debian.org>  Sat, 12 Aug 2023 12:49:36 +0200

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

  * New upstream release.

 -- Julien Puydt <jpuydt@debian.org>  Fri, 09 Dec 2022 21:55:15 +0100

coq-doc (8.16.0-2) unstable; urgency=medium

  * Fix d/watch.
  * Try to fix the clean target to avoid FTBFS.

 -- Julien Puydt <jpuydt@debian.org>  Sun, 02 Oct 2022 22:34:23 +0200

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

  * New upstream release.

 -- Julien Puydt <jpuydt@debian.org>  Sun, 11 Sep 2022 14:38:48 +0200

coq-doc (8.15.2-3) unstable; urgency=medium

  * Add b-dep on OCaml's native compilers (Closes: #1014678).

 -- Julien Puydt <jpuydt@debian.org>  Thu, 14 Jul 2022 12:16:36 +0200

coq-doc (8.15.2-2) unstable; urgency=medium

  * Declare the package can be autobuilt.

 -- Julien Puydt <jpuydt@debian.org>  Thu, 16 Jun 2022 07:59:09 +0200

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

  * New upstream release.
  * Add patch to fix sphinx 4.5.0 support.
  * Bump standards-version to 4.6.1.

 -- Julien Puydt <jpuydt@debian.org>  Wed, 15 Jun 2022 22:54:08 +0200

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

  * New upstream release.

 -- Julien Puydt <jpuydt@debian.org>  Wed, 30 Mar 2022 10:41:25 +0200

coq-doc (8.15.0-3) unstable; urgency=medium

  * Fix b-deps again (Closes: #1005920).

 -- Julien Puydt <jpuydt@debian.org>  Tue, 22 Feb 2022 14:02:25 +0100

coq-doc (8.15.0-2) unstable; urgency=medium

  * Fix b-deps (Closes: #1005920).

 -- Julien Puydt <jpuydt@debian.org>  Thu, 17 Feb 2022 13:27:49 +0100

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

  * Switch from debian/compat to depend on debhelper-compat
  (and level 13).
  * Bump standards-version to 4.6.0.
  * Declare d/rules doesn't require root.
  * Simplify d/rules.
  * Rewrite d/watch following the main coq package.
  * Package new upstream (closes: #1003539).
  * No more fac, rectutorial or tutorial (closes: #543548).
  * Add myself to uploaders.

 -- Julien Puydt <jpuydt@debian.org>  Tue, 08 Feb 2022 17:10:12 +0100

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
