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

  * Rebuild against new OCAML ABIs.

 -- Gianfranco Costamagna <locutusofborg@debian.org>  Wed, 01 Jul 2026 18:59:57 +0200

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

  * No change rebuild with fixed amd64v3 builders

 -- Sebastien Bacher <seb128@debian.org>  Thu, 26 Feb 2026 23:23:39 +0100

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

  * Rebuild against new OCAML ABIs.

 -- Gianfranco Costamagna <locutusofborg@debian.org>  Mon, 29 Dec 2025 15:53:50 +0100

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

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

menhir (20181113-1) unstable; urgency=medium

  * new upstream version
  * d/watch: point to inria gitlab
  * d/menhir-doc.docs: also install png pictures of the manual
  * d/rules: remove .gitignore files in examples
  * Standards-Version 4.2.1 (no change)

 -- Ralf Treinen <treinen@debian.org>  Wed, 14 Nov 2018 22:14:32 +0100

menhir (20180530-2) unstable; urgency=medium

  * menhir-doc: Breaks/Replaces menhir (<< 20170712-1) since examples
    had been moved from menhir to menhir-doc (closes: #903455)
  * Standards-version 4.1.5 (no change).

 -- Ralf Treinen <treinen@debian.org>  Thu, 19 Jul 2018 22:19:24 +0200

menhir (20180530-1) unstable; urgency=medium

  * New upstream version.
  * Install manual.html into menhir-doc package.
  * Add entry for html manual in doc-base file
  * Update Vcs-* fields to salsa.
  * Standards-Version 4.1.4 (no change).
  * Debhelper compat level 11.
    - menhir-doc.doc-base: manual now installed in /usr/share/doc/menhr

 -- Ralf Treinen <treinen@debian.org>  Mon, 18 Jun 2018 20:39:09 +0200

menhir (20171222-1) unstable; urgency=medium

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

 -- Ralf Treinen <treinen@debian.org>  Tue, 02 Jan 2018 19:23:01 +0100

menhir (20171206-1) unstable; urgency=medium

  * New upstream version.
  * Standards-version 4.1.2 (no change)
  * Drop debian/source/local-options

 -- Ralf Treinen <treinen@debian.org>  Wed, 13 Dec 2017 21:31:45 +0100

menhir (20171013-1) unstable; urgency=medium

  * New upstream version.
    - drop patch Remove-some-invalid-characters which has been applied upstream
    - drop patch Pass-byte-plugin-to-ocamlbuild-when-TARGET-byte which has
      been applied upstream
  * Standards-Version 4.1.1 (no change)
  * d/tests/control: add dependency ocamlbuild

 -- Ralf Treinen <treinen@debian.org>  Thu, 23 Nov 2017 08:42:12 +0100

menhir (20170712-1) unstable; urgency=medium

  * New upstream release, now including the sources of the manual.
  * New binary package menhir-doc, containing the manual in pdf
    (closes: #484497).
    - add debian/menhir-doc.docs, debian/menhir-doc.doc-base.
    - examples go now into the menhir-doc package.
    - menhir suggests menhir-doc.
  * Since we now have the sources of the manual:
    - drop debian/purify-tarball which is no longer needed.
    - drop upstream filtering from debian/gbp.conf
  * debian/rules:
    - let upstream's makefile install into debian/tmp, then install stuff
      into package directories with dh_*.
    - use dh_missing --fail-missing
  * Added build-dependency on ocamlbuild.
  * Dropped debian/menhir.manpages, debian/menhir.dirs
  * debian/tests/control: add dependency on @
  * Changed section to ocaml
  * Minor improvements of package descriptions.
  * Updated debian/copyright:
    - update header (upstream name and contact)
    - complete file list of library files
    - the files not being part of the library are under GPLv2 now
    - bump copyright years

 -- Ralf Treinen <treinen@debian.org>  Sat, 22 Jul 2017 19:58:29 +0200

menhir (20170607.dfsg-3) unstable; urgency=medium

  * as-installed tests: add dependency ocaml-findlib

 -- Ralf Treinen <treinen@debian.org>  Sun, 02 Jul 2017 13:32:18 +0200

menhir (20170607.dfsg-2) unstable; urgency=medium

  * Standards-Version 4.0.0
    - https form of the copyright-format URL
  * libmenhir-ocaml-dev: install everything that upstream installs in
    /usr/lib/ocaml
  * DH compat level 10

 -- Ralf Treinen <treinen@debian.org>  Tue, 20 Jun 2017 08:24:06 +0200

menhir (20170607.dfsg-1) unstable; urgency=medium

  * New upstream:
    - refresh patch 0002-Pass-byte-plugin-to-ocamlbuild-when-TARGET-byte
  * Delete obsolete debian/README.source
  * debian/purify_tarball:
    - simplify (drop useless CURDIR)
    - generate tarball with version "+dfsg" instead of ".dfsg"
  * Add myself as uploader
  * Add as-installed package test

 -- Ralf Treinen <treinen@debian.org>  Mon, 19 Jun 2017 22:11:44 +0200

menhir (20160808+dfsg-1) unstable; urgency=medium

  * Team upload
  * New upstream release

 -- Stéphane Glondu <glondu@debian.org>  Tue, 16 Aug 2016 10:06:20 +0200

menhir (20160526.dfsg-1) unstable; urgency=medium

  * Team upload
  * New upstream release
  * Update Vcs-*
  * Switch debian/copyright to format 1.0
  * Bump Standards-Version to 3.9.8
  * Bump debhelper compat to 9

 -- Stéphane Glondu <glondu@debian.org>  Sat, 06 Aug 2016 10:55:33 +0200

menhir (20151112.dfsg-1) unstable; urgency=medium

  * New upstream release.
    - Refresh patches
    - Add 0002-Pass-byte-plugin-to-ocamlbuild-when-TARGET-byte.patch
      to avoid FTBFS on bytecode architectures.
  * Use Upstream's Makefile to install files

 -- Mehdi Dogguy <mehdi@debian.org>  Sun, 17 Jan 2016 22:06:28 +0100

menhir (20141215.dfsg-1~exp1) experimental; urgency=medium

  * New upstream release
    - Requires OCaml >= 4.02~.

 -- Mehdi Dogguy <mehdi@debian.org>  Mon, 20 Jul 2015 00:00:56 +0000

menhir (20140422.dfsg-1) unstable; urgency=medium

  * New upstream relese.

 -- Mehdi Dogguy <mehdi@debian.org>  Sun, 27 Apr 2014 14:49:45 +0200

menhir (20130911.dfsg-2) unstable; urgency=medium

  * Fix FTBFS on bytecode architectures.
    - Add 0002-Use-CURDIR-instead-of-.-during-bootstrap.patch
  * Do not install menhirLib.mlpack.

 -- Mehdi Dogguy <mehdi@debian.org>  Thu, 27 Mar 2014 20:53:44 +0100

menhir (20130911.dfsg-1) unstable; urgency=low

  * New upstream release.
  * Add ocaml-findlib to Build-Depends.
  * Use native/byte targets instead of $(OCAML_BEST)
  * Adapt install steps to new build system.

 -- Mehdi Dogguy <mehdi@debian.org>  Mon, 24 Mar 2014 22:38:20 +0100

menhir (20130116.dfsg-2) unstable; urgency=low

  * Team upload
  * Upload to unstable

 -- Stéphane Glondu <glondu@debian.org>  Tue, 03 Dec 2013 00:42:01 +0100

menhir (20130116.dfsg-1) experimental; urgency=low

  * Team upload
  * New upstream release
  * Switch source package format to 3.0 (quilt)
  * Update Vcs-*
  * Compile with OCaml >= 4

 -- Stéphane Glondu <glondu@debian.org>  Wed, 24 Jul 2013 15:47:49 +0200

menhir (20120123.dfsg-1) unstable; urgency=low

  * New upstream release
    - fixes http://caml.inria.fr/mantis/view.php?id=5462

 -- Mehdi Dogguy <mehdi@debian.org>  Mon, 23 Jan 2012 20:50:25 +0100

menhir (20111019.dfsg-1) unstable; urgency=low

  * New upstream release (Closes: #583291).
  * Bump Standards-Version to 3.9.2, no changes needed.

 -- Mehdi Dogguy <mehdi@debian.org>  Mon, 02 Jan 2012 18:05:48 +0100

menhir (20110201.dfsg-1) unstable; urgency=low

  [ Stéphane Glondu ]
  * Do not install examples twice (Closes: #603335)

  [ Mehdi Dogguy ]
  * New upstream release.
  * Set filter-pristine-tar to True in debian/gbp.conf.

 -- Mehdi Dogguy <mehdi@debian.org>  Sat, 16 Apr 2011 00:12:54 +0200

menhir (20090505.dfsg-2) unstable; urgency=low

  * Use new features of dh-ocaml (0.9).
  * Build-dep on ocaml >= 3.11.1-3~
  * Use new address and remove DMUA
  * Bump standards to 3.8.3
  * Convert patches to quilt format and use quilt instead of dpatch

 -- Mehdi Dogguy <mehdi@debian.org>  Wed, 23 Sep 2009 18:48:23 +0200

menhir (20090505.dfsg-1) unstable; urgency=low

  * New Upstream Version
  * More verbose description for libmenhir-ocaml-dev, Closes: #518666.
  * Move libmenhir-ocaml-dev to the new ocaml section.
  * Drop src_Makefile.dpatch: integrated upstream.
  * Build-dep on ocaml >= 3.11.1

 -- Mehdi Dogguy <dogguy@pps.jussieu.fr>  Wed, 24 Jun 2009 23:04:37 +0200

menhir (20090204.dfsg-2) unstable; urgency=low

  * New binary package libmenhir-ocaml-dev, Closes: #516134.
  * Use dh-ocaml predefined variables.
  * Use predefined variable OCAML_BEST (dh-ocaml >= 0.4).
  * debian/svn-deblayout: remove no longer needed SVN setting

 -- Mehdi Dogguy <dogguy@pps.jussieu.fr>  Sun, 22 Feb 2009 23:41:17 +0100

menhir (20090204.dfsg-1) experimental; urgency=low

  * New Upstream Version
  * Add dependency ${misc:Depends}, thanks zack.
  * Update src_Makefile.dpatch
  * Add DMUA flag with Sam's blessing.
  * PREFIX is set back to /usr in debian/rules

 -- Mehdi Dogguy <dogguy@pps.jussieu.fr>  Thu, 19 Feb 2009 13:18:19 +0100

menhir (20080912.dfsg-2) experimental; urgency=low

  * Bump ocaml version to 3.11
  * Add build-dependency on dh-ocaml
  * Shorten debian/rules

 -- Mehdi Dogguy <dogguy@pps.jussieu.fr>  Wed, 18 Feb 2009 16:23:09 +0100

menhir (20080912.dfsg-1) experimental; urgency=low

  [ Mehdi Dogguy ]
  * New upstream release, (Closes: #500699).
  * Add myself to uploaders and set d-o-m as maintainer.
  * Bump standards version to 3.8.0, no changes needed.
  * Change Vcs-* flags to point to git repository.
  * Update debian/rules: All source files are now in src/
  * Bump debhelper compat to 7 and shorten debian/rules
  * Add src_Makefile.dpatch to not try to build cmx files on non-native
    architectures.
  * Add Homepage field to debian/control.
  * Install menhirLib
  * Remove ocamlfind from build-dependency: not used.

  [ Samuel Mimram ]
  * Mangle .dfsg in version in watch file.

 -- Mehdi Dogguy <dogguy@pps.jussieu.fr>  Fri, 23 Jan 2009 12:43:54 +0100

menhir (20071212.dfsg-1) unstable; urgency=low

  * New upstream release.
  * Updated standards version, no changes needed.

 -- Samuel Mimram <smimram@debian.org>  Sat, 22 Dec 2007 00:46:17 +0100

menhir (20071205.dfsg-1) unstable; urgency=low

  * New upstream release.
  * Tighten dependency on ocaml-nox.

 -- Samuel Mimram <smimram@debian.org>  Tue, 11 Dec 2007 00:45:36 +0000

menhir (20070520-2) unstable; urgency=low

  * Rebuild with OCaml 3.10.

 -- Samuel Mimram <smimram@debian.org>  Sat, 08 Sep 2007 01:30:14 +0200

menhir (20070520-1) unstable; urgency=low

  * New upstream release.

 -- Samuel Mimram <smimram@debian.org>  Mon, 23 Jul 2007 14:25:32 +0200

menhir (20070322.dfsg-4) unstable; urgency=low

  * Correcly clean, closes: #424571.

 -- Samuel Mimram <smimram@debian.org>  Tue, 22 May 2007 22:36:35 +0200

menhir (20070322.dfsg-3) unstable; urgency=low

  * Rebuild in bytecode when native compilation fails.

 -- Samuel Mimram <smimram@debian.org>  Wed, 18 Apr 2007 12:51:43 +0200

menhir (20070322.dfsg-2) unstable; urgency=low

  * Uploading to unstable.

 -- Samuel Mimram <smimram@debian.org>  Mon, 09 Apr 2007 17:53:02 +0200

menhir (20070322.dfsg-1) experimental; urgency=low

  * New upstream release.
  * Menhir is now correctly bootstrapped, closes: #397467.

 -- Samuel Mimram <smimram@debian.org>  Fri, 23 Mar 2007 00:14:31 +0100

menhir (20070215.dfsg-1) experimental; urgency=low

  * New upstream release.
  * Removed bashism.dpatch, integrated upstream.
  * Removed manpage, since it is now provided upstream.
  * Updated standards version to 3.7.2, no changes needed.

 -- Samuel Mimram <smimram@debian.org>  Wed, 28 Feb 2007 19:49:34 +0100

menhir (20060615.dfsg-2) unstable; urgency=low

  * Correctly set PREFIX when building, closes: #378260.
  * Added bashim.dpatch to remove bashisms, closes: #377803.

 -- Samuel Mimram <smimram@debian.org>  Tue, 11 Jul 2006 12:26:18 +0000

menhir (20060615.dfsg-1) unstable; urgency=low

  * Repackaged upstream's tarball to remove manual.pdf for which we don't have
    the sources (yet).

 -- Samuel Mimram <smimram@debian.org>  Sat,  8 Jul 2006 09:24:11 +0000

menhir (20060615-1) unstable; urgency=low

  * New upstream release.
  * Removed makefile.dpatch, found a better way to use the makefile.
  * Added manpage.dpatch to remove invalid characters from the manpage.
  * Updated standards version to 3.7.2, no changes needed.

 -- Samuel Mimram <smimram@debian.org>  Sat, 24 Jun 2006 19:06:02 +0000

menhir (20060412-1) unstable; urgency=low

  * Initial release, closes: #363539.

 -- Samuel Mimram <smimram@debian.org>  Wed, 19 Apr 2006 19:11:20 +0200
