coq-doc (8.20.0-2build2) stonking; urgency=medium

  * Rebuild against new OCAML ABIs.

 -- Gianfranco Costamagna <locutusofborg@debian.org>  Tue, 07 Jul 2026 00:14:06 +0200

coq-doc (8.20.0-2build1) resolute; urgency=medium

  * Rebuild against new OCAML ABIs.

 -- Gianfranco Costamagna <locutusofborg@debian.org>  Wed, 03 Dec 2025 10:54:55 +0100

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

# Older entries have been removed from this changelog.
# To read the complete changelog use `apt changelog coq-doc-pdf`.
