menhir (20260209+ds-1) unstable; urgency=medium

  * Team upload
  * New upstream release
  * Switch debian/watch to version 5
  * Bump debhelper compat level to 14
  * Bump Standards-Version to 4.7.4
  * Remove Priority and Rules-Requires-Root from debian/control
  * Use dh_ocamllibinstall and set dune_layout_version to 1

 -- Stéphane Glondu <glondu@debian.org>  Mon, 13 Jul 2026 11:20:06 +0200

menhir (20250912+ds-1) unstable; urgency=medium

  * Team upload
  * New upstream release

 -- Stéphane Glondu <glondu@debian.org>  Tue, 16 Sep 2025 02:04:20 +0200

menhir (20250903+ds-1) unstable; urgency=medium

  * Team upload
  * New upstream release

 -- Stéphane Glondu <glondu@debian.org>  Tue, 09 Sep 2025 16:09:54 +0200

menhir (20240715+ds-1) unstable; urgency=medium

  [ Stéphane Glondu ]
  * Team upload
  * New upstream release
  * Bump Standards-Version to 4.7.0

  [ Julien Puydt ]
  * Fix debian/watch.

 -- Stéphane Glondu <glondu@debian.org>  Tue, 20 Aug 2024 08:32:20 +0200

menhir (20231231+ds-2) unstable; urgency=medium

  * Team upload
  * Add support for a different OCaml stdlib dir

 -- Stéphane Glondu <glondu@debian.org>  Sat, 03 Aug 2024 06:37:35 +0200

menhir (20231231+ds-1) unstable; urgency=medium

  * Team upload
  * New upstream release

 -- Stéphane Glondu <glondu@debian.org>  Thu, 15 Feb 2024 14:22:52 +0100

menhir (20230608+ds-1) unstable; urgency=medium

  [ Stéphane Glondu ]
  * Team upload
  * New upstream release
  * Fix debian/watch
  * Fix cleaning (Closes: #1046147)

  [ Debian Janitor ]
  * Remove constraints unnecessary since buster (oldstable):
    + Build-Depends: Drop versioned constraint on ocaml-nox (>= 4.02.3~).
    + menhir-doc: Drop conflict with removed package menhir (<< 20170712-1) in
      Replaces.
    + menhir-doc: Drop conflict with removed package menhir (<< 20170712-1) in
      Breaks.
  * Use secure URI in Homepage field.

 -- Stéphane Glondu <glondu@debian.org>  Sun, 27 Aug 2023 06:34:07 +0200

menhir (20220210+ds1-1) unstable; urgency=medium

  * Team upload
  * Properly repack upstream sources, without coq-menhirlib
  * Use ocaml_dune DH buildsystem (Closes: #1042097)
  * Bump Standards-Version to 4.6.2

 -- Stéphane Glondu <glondu@debian.org>  Wed, 26 Jul 2023 21:36:14 +0200

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