coq (8.20.1+dfsg-1build5) stonking; urgency=medium

  * Rebuild against new OCAML ABIs.

 -- Gianfranco Costamagna <locutusofborg@debian.org>  Tue, 07 Jul 2026 22:25:07 +0200

coq (8.20.1+dfsg-1build4) resolute; urgency=medium

  * No change rebuild with fixed amd64v3 builders

 -- Sebastien Bacher <seb128@debian.org>  Sat, 28 Feb 2026 20:45:34 +0100

coq (8.20.1+dfsg-1build3) resolute; urgency=medium

  * Rebuild against new OCAML ABIs.

 -- Gianfranco Costamagna <locutusofborg@debian.org>  Tue, 27 Jan 2026 22:28:44 +0100

coq (8.20.1+dfsg-1build2) resolute; urgency=medium

  * Rebuild against new OCAML ABIs.

 -- Gianfranco Costamagna <locutusofborg@debian.org>  Sat, 03 Jan 2026 18:55:56 +0100

coq (8.20.1+dfsg-1build1) questing; urgency=medium

  * Rebuild against new OCAML ABIs.

 -- Gianfranco Costamagna <locutusofborg@debian.org>  Thu, 19 Jun 2025 11:07:55 +0200

coq (8.20.1+dfsg-1) unstable; urgency=medium

  * New upstream release.

 -- Julien Puydt <jpuydt@debian.org>  Sat, 15 Feb 2025 15:19:14 +0100

coq (8.20.0+dfsg-1) unstable; urgency=medium

  * New upstream release.
  * Refresh patches.

 -- Julien Puydt <jpuydt@debian.org>  Wed, 20 Nov 2024 10:37:25 +0100

coq (8.19.1+dfsg-3) unstable; urgency=medium

  * Add support for a different OCaml stdlib dir

 -- Stéphane Glondu <glondu@debian.org>  Sat, 03 Aug 2024 09:40:45 +0200

coq (8.19.1+dfsg-2) unstable; urgency=medium

  * Call "dune build" with "--release" to avoid failure on warnings

 -- Stéphane Glondu <glondu@debian.org>  Sat, 15 Jun 2024 07:57:25 +0200

coq (8.19.1+dfsg-1) unstable; urgency=medium

  * New upstream release.

 -- Julien Puydt <jpuydt@debian.org>  Mon, 11 Mar 2024 15:46:22 +0100

coq (8.19.0+dfsg-1) unstable; urgency=medium

  * New upstream release.
  * Refresh patches.

 -- Julien Puydt <jpuydt@debian.org>  Sat, 24 Feb 2024 09:50:14 +0100

coq (8.18.0+dfsg-1) unstable; urgency=medium

  [ Debian Janitor ]
  * Update lintian override info to new format:
    + debian/coq.lintian-overrides: line 2, 4-21
    + debian/libcoq-core-ocaml-dev.lintian-overrides: line 2
    + debian/libcoq-core-ocaml.lintian-overrides: line 2-4, 6
  * debian/copyright: use spaces rather than tabs to start continuation lines.
  * Set upstream metadata fields: Bug-Database, Bug-Submit, Repository-Browse.
  * Update standards version to 4.6.2, no changes needed.
  * Remove constraints unnecessary since buster (oldstable):
    + Build-Depends: Drop dependency on essential package bash (>= 5.0).
    + Build-Depends: Drop versioned constraint on dh-ocaml (>= 0.9.5~).
    + Build-Depends: Drop versioned constraint on ocaml-nox (>= 4.05).
    + Build-Depends: Drop versioned constraint on camlp5 (>= 6.14).
    + libcoq-stdlib: Drop versioned constraint on coq (>= 8.0) in Recommends.
    + libcoq-core-ocaml: Drop conflict with removed package coq (<< 8.3~) in
      Replaces.
    + libcoq-core-ocaml: Drop conflict with removed package libcoq-ocaml-dev (<<
      8.3~) in Replaces.
    + libcoq-core-ocaml: Drop conflict with removed package coq (<< 8.3~) in
      Breaks.
    + libcoq-core-ocaml: Drop conflict with removed package libcoq-ocaml-dev (<<
      8.3~) in Breaks.
    + libcoq-core-ocaml-dev: Drop conflict with removed package coq (<<
      8.2-1+dfsg-1) in Replaces.
    + libcoq-core-ocaml-dev: Drop conflict with removed package coq (<<
      8.2-1+dfsg-1) in Breaks.

  [ Julien Puydt ]
  * Fix d/rules clean target (Closes: #1044637).
  * New upstream release.
  * Refresh patches.
  * Drop the coq-unimath workaround patch.

 -- Julien Puydt <jpuydt@debian.org>  Thu, 21 Dec 2023 14:34:31 +0100

coq (8.17.0+dfsg-1) unstable; urgency=medium

  * New upstream release.
  * Refresh patches.
  * Refresh lintian overrides.
  * Fix build.
  * Bump standards-version to 4.6.2.
  * Add patch to workaround a problem in coq-unimath.

 -- Julien Puydt <jpuydt@debian.org>  Mon, 12 Jun 2023 08:54:21 +0200

# Older entries have been removed from this changelog.
# To read the complete changelog use `apt changelog libcoq-stdlib`.
