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

  * Rebuild against new OCAML ABIs.

 -- Gianfranco Costamagna <locutusofborg@debian.org>  Mon, 16 Jun 2025 21:16:28 +0200

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

  * Rebuild against new OCAML ABI.

 -- Gianfranco Costamagna <locutusofborg@debian.org>  Wed, 29 Jan 2025 13:43:31 +0100

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

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

  * Prepare for upload to unstable.

 -- Julien Puydt <jpuydt@debian.org>  Fri, 13 May 2022 13:47:21 +0200

menhir (20220210+ds-1) experimental; urgency=medium

  * Team upload.
  * New upstream release.
  * Make sure the doc is built.

 -- Julien Puydt <jpuydt@debian.org>  Fri, 18 Mar 2022 10:43:32 +0100

menhir (20210929-1) unstable; urgency=medium

  * New upstream release.
  * debian/copyright:
    - fix file patterns for the runtime library which has moved to lib/
    - remove some licences that are no longer used
  * Standards-version 4.6.0 (no change)

 -- Ralf Treinen <treinen@debian.org>  Fri, 01 Oct 2021 23:02:46 +0200

menhir (20201216-1) unstable; urgency=medium

  * New upstream release

 -- Mehdi Dogguy <mehdi@debian.org>  Sun, 17 Jan 2021 21:01:58 +0100

menhir (20201201-1) unstable; urgency=medium

  * New upstream version.
  * Standards-version 4.5.1 (no change)

 -- Ralf Treinen <treinen@debian.org>  Sun, 06 Dec 2020 10:29:09 +0100

menhir (20200624-1) unstable; urgency=medium

  * New upstream release.
  * d/rules: include ocamlvars.mk to obtain override of dh_dwz
  * Dehelper compatibility level 13:
    - drop override of dh_missing which is no longer needed
  * d/copyright: fix spelling of "src/StaticVersion.mli"
  * Bump version of build-dependency dune, as indicated by upstream's opam file
  * Set Rules-Requires-Root=no

 -- Ralf Treinen <treinen@debian.org>  Sat, 22 Aug 2020 18:46:28 +0200

menhir (20200123-3) unstable; urgency=medium

  * patch menhirLib: fix the value returned by --suggest-menhirLib
    (closes: #955494)

 -- Ralf Treinen <treinen@debian.org>  Thu, 02 Apr 2020 12:22:45 +0200

menhir (20200123-2) unstable; urgency=medium

  * Removal of coq-menhirlib from this source package:
    - add coq-menhirlib to the gbp import filter
    - clean debian/rules
    - remove coq-menhirlib from debian/control
    - drop build-dependency on coq
    - drop debian/libmenhir-coq.install
    - remove stanzas relating to coq-menhirlib from debian/copyright
    - drop as-installed test coq, and its support files
    - add an explanation in debian/README.source.

 -- Ralf Treinen <treinen@debian.org>  Thu, 27 Feb 2020 22:13:34 +0100

menhir (20200123-1) unstable; urgency=medium

  * New upstream version
  * Drop patch demos-enable-bytecode as the collection of demos is no longer
    part of upstream
  * Build-dependencies:
    - tighten version of ocaml-nox
    - drop ocamlbuild and ocaml-findlib
    - add ocaml-dune
  - debian/rules:
    - switch to the new build system using dune
    - drop override for dh_auto_test which is no longer needed
    - drop override for dh_dwz which is no longer needed
  - Installation:
    - install menhir.1 through debian/menhir.manpages
    - drop installation of empty directory usr/menhir/share
    - upstream installs documentation in /usr/doc
    - no more examples to install
    - create file d/not-installed, listing redundant CHANGES.md, LICENCE.md,
      README.md files
  * as-installed tests: since upstream does not distribute the demos any
    longer we use our own copy of relevant testcases in debian/tests.
  * Standards-version 4.5.0 (no change)

 -- Ralf Treinen <treinen@debian.org>  Sat, 08 Feb 2020 10:50:13 +0100

menhir (20190924-1) unstable; urgency=medium

  * New upstream version
  * Set Multi-Arch:foreign for the menhir-doc package
  * Standards-Version: 4.4.1 (no change)

 -- Ralf Treinen <treinen@debian.org>  Sat, 02 Nov 2019 11:51:19 +0100

menhir (20190626-6) unstable; urgency=medium

  * Team upload
  * libmenhir-coq: add dependency to Coq ABI (Closes: #935873)

 -- Stéphane Glondu <glondu@debian.org>  Tue, 27 Aug 2019 15:43:33 +0200

menhir (20190626-5) unstable; urgency=medium

  * Fix dependencies of the "library" test.

 -- Ralf Treinen <treinen@debian.org>  Wed, 21 Aug 2019 20:44:35 +0200

menhir (20190626-4) unstable; urgency=medium

  [ Stéphane Glondu ]
  * Remove Samuel from Uploaders

  [ Ralf Treinen ]
  * Package tests:
    - add test for compilation with the menhir library
    - use directly the files from upstreams demos/ directory
    - make tests more verbose

 -- Ralf Treinen <treinen@debian.org>  Wed, 21 Aug 2019 20:17:35 +0200

menhir (20190626-3) unstable; urgency=medium

  * Standards-Version 4.4.0 (no change)
  * Test coq: add dependency coq
  * Drop version contraint on build-dependency dh-ocaml

 -- Ralf Treinen <treinen@debian.org>  Thu, 25 Jul 2019 15:57:50 -0300

menhir (20190626-2) unstable; urgency=medium

  * Upload to unstable.

 -- Ralf Treinen <treinen@debian.org>  Wed, 24 Jul 2019 20:26:11 -0300

menhir (20190626-1) experimental; urgency=medium

  * New upstream release
  * Standards-Version 4.3.0 (no change)
  * New binary package: libmenhir-coq
  * New build-dependencies:
    - debhelper-compat(=12); drop file debian/compat
    - coq (needed for building libmenhir-coq)
  * Package libmenhir-ocaml-dev: Suggests ocaml-findlib
  * Override dh_dwz to use --no-dwz-multifile
  * As-installed tests:
    - Add test for libmenhir-coq (thanks a lot to Pierre Letouzey)
    - Rename test "calc" to "standalone", tighten test dependencies

 -- Ralf Treinen <treinen@debian.org>  Sun, 07 Jul 2019 21:32:31 +0200

# Older entries have been removed from this changelog.
# To read the complete changelog use `apt changelog libmenhir-ocaml-dev`.
