Register | Log in

menhir

Parser generator for OCaml

Choose email to subscribe with

general

source: menhir (main)
version: 20260209+ds-1
maintainer: Debian OCaml Maintainers (archive) (DMD)
uploaders: Ralf Treinen [DMD] – Mehdi Dogguy [DMD]
arch: all any
std-ver: 4.7.4
VCS: Git (Browse, QA)

versions [more versions can be listed by madison] [old versions available from snapshot.debian.org]

[pool directory]

o-o-stable: 20201216-1
oldstable: 20220210+ds-2
stable: 20240715+ds-1
testing: 20250912+ds-1
unstable: 20260209+ds-1

versioned links

20201216-1: [.dsc, use dget on this link to retrieve source package] [changelog] [copyright] [rules] [control]
20220210+ds-2: [.dsc, use dget on this link to retrieve source package] [changelog] [copyright] [rules] [control]
20240715+ds-1: [.dsc, use dget on this link to retrieve source package] [changelog] [copyright] [rules] [control]
20250912+ds-1: [.dsc, use dget on this link to retrieve source package] [changelog] [copyright] [rules] [control]
20260209+ds-1: [.dsc, use dget on this link to retrieve source package] [changelog] [copyright] [rules] [control]

binaries

libmenhir-ocaml-dev
menhir
menhir-doc

action needed

version in VCS is newer than in repository, is it time to upload? normal

vcswatch reports that this package seems to have a new changelog entry (version 20260209+ds-2, distribution unstable) and new commits in its VCS. You should consider whether it's time to make an upload.

Created: 2026-07-15 Last update: 2026-07-15 15:00

debian/patches: 1 patch to forward upstream low

Among the 1 debian patch available in version 20260209+ds-1 of the package, we noticed the following issues:

1 patch where the metadata indicates that the patch has not yet been forwarded upstream. You should either forward the patch upstream or update the metadata to document its real status.

Created: 2023-02-26 Last update: 2026-07-13 19:01

testing migrations

excuses:
- Migrates after: js-of-ocaml, morbig, ocamlformat/amd64, ocamlformat/arm64, ocamlformat/armhf, ocamlformat/i386, ocamlformat/loong64, ocamlformat/ppc64el, ocamlformat/riscv64, ocamlformat/s390x, sail-ocaml, why3/amd64, why3/arm64, why3/armhf, why3/i386, why3/loong64, why3/ppc64el, why3/riscv64, why3/s390x
- Migration status for menhir (20250912+ds-1 to 20260209+ds-1): BLOCKED: Rejected/violates migration policy/introduces a regression
- Issues preventing migration:
- ∙ ∙ Autopkgtest for menhir/20260209+ds-1: amd64: Regression ♻ (reference ♻), arm64: Regression ♻ (reference ♻), armhf: Regression ♻ (reference ♻), i386: Regression ♻ (reference ♻), loong64: Regression ♻ (reference ♻), ppc64el: Regression ♻ (reference ♻), riscv64: Regression ♻ (reference ♻), s390x: Regression ♻ (reference ♻)
- ∙ ∙ Autopkgtest for ocaml-dune/3.23.1-5: amd64: Pass, arm64: Pass, armhf: Pass, i386: Pass, loong64: Test triggered (failure will be ignored), ppc64el: Pass, riscv64: Pass, s390x: Pass
- ∙ ∙ Too young, only 2 of 5 days old
- ∙ ∙ Implicit dependency: menhir js-of-ocaml
- ∙ ∙ Implicit dependency: menhir morbig
- ∙ ∙ Implicit dependency: menhir ocamlformat/amd64
- ∙ ∙ Implicit dependency: menhir ocamlformat/arm64
- ∙ ∙ Implicit dependency: menhir ocamlformat/armhf
- ∙ ∙ Implicit dependency: menhir ocamlformat/i386
- ∙ ∙ Implicit dependency: menhir ocamlformat/loong64
- ∙ ∙ Implicit dependency: menhir ocamlformat/ppc64el
- ∙ ∙ Implicit dependency: menhir ocamlformat/riscv64
- ∙ ∙ Implicit dependency: menhir ocamlformat/s390x
- ∙ ∙ Implicit dependency: menhir sail-ocaml
- ∙ ∙ Implicit dependency: menhir why3/amd64
- ∙ ∙ Implicit dependency: menhir why3/arm64
- ∙ ∙ Implicit dependency: menhir why3/armhf
- ∙ ∙ Implicit dependency: menhir why3/i386
- ∙ ∙ Implicit dependency: menhir why3/loong64
- ∙ ∙ Implicit dependency: menhir why3/ppc64el
- ∙ ∙ Implicit dependency: menhir why3/riscv64
- ∙ ∙ Implicit dependency: menhir why3/s390x
- Additional info (not blocking):
- ∙ ∙ Piuparts tested OK - https://piuparts.debian.org/sid/source/m/menhir.html
- ∙ ∙ Reproduced on amd64 - info
- ∙ ∙ Reproduced on arm64 - info
- ∙ ∙ Reproduced on armhf - info
- ∙ ∙ Reproduced on i386 - info
- Not considered

news

[2026-07-15] Accepted menhir 20260209+ds-2 (source) into unstable (Stéphane Glondu)
[2026-07-13] Accepted menhir 20260209+ds-1 (source) into unstable (Stéphane Glondu)
[2025-09-20] menhir 20250912+ds-1 MIGRATED to testing (Debian testing watch)
[2025-09-16] Accepted menhir 20250912+ds-1 (source) into unstable (Stéphane Glondu)
[2025-09-09] Accepted menhir 20250903+ds-1 (source) into unstable (Stéphane Glondu)
[2024-08-26] menhir 20240715+ds-1 MIGRATED to testing (Debian testing watch)
[2024-08-20] Accepted menhir 20240715+ds-1 (source) into unstable (Stéphane Glondu)
[2024-08-05] menhir 20231231+ds-2 MIGRATED to testing (Debian testing watch)
[2024-08-03] Accepted menhir 20231231+ds-2 (source) into unstable (Stéphane Glondu)
[2024-02-23] menhir 20231231+ds-1 MIGRATED to testing (Debian testing watch)
[2024-02-15] Accepted menhir 20231231+ds-1 (source) into unstable (Stéphane Glondu)
[2023-09-02] menhir 20230608+ds-1 MIGRATED to testing (Debian testing watch)
[2023-08-27] Accepted menhir 20230608+ds-1 (source) into unstable (Stéphane Glondu)
[2023-08-17] menhir 20220210+ds1-1 MIGRATED to testing (Debian testing watch)
[2023-07-26] Accepted menhir 20220210+ds1-1 (source) into unstable (Stéphane Glondu)
[2022-07-07] menhir 20220210+ds-2 MIGRATED to testing (Debian testing watch)
[2022-05-13] Accepted menhir 20220210+ds-2 (source) into unstable (Julien Puydt)
[2022-03-18] Accepted menhir 20220210+ds-1 (source) into experimental (Julien Puydt)
[2021-10-13] menhir 20210929-1 MIGRATED to testing (Debian testing watch)
[2021-10-01] Accepted menhir 20210929-1 (source) into unstable (Ralf Treinen)
[2021-01-25] menhir 20201216-1 MIGRATED to testing (Debian testing watch)
[2021-01-17] Accepted menhir 20201216-1 (source) into unstable (Mehdi Dogguy)
[2020-12-12] menhir 20201201-1 MIGRATED to testing (Debian testing watch)
[2020-12-06] Accepted menhir 20201201-1 (source) into unstable (Ralf Treinen)
[2020-08-31] menhir 20200624-1 MIGRATED to testing (Debian testing watch)
[2020-08-22] Accepted menhir 20200624-1 (source) into unstable (Ralf Treinen)
[2020-04-08] menhir 20200123-3 MIGRATED to testing (Debian testing watch)
[2020-04-05] Accepted menhir 20200123-3 (source) into unstable (Ralf Treinen)
[2020-03-01] menhir 20200123-2 MIGRATED to testing (Debian testing watch)
[2020-02-27] Accepted menhir 20200123-2 (source) into unstable (Ralf Treinen)

1
2

bugs [bug history graph]

all: 0

links

homepage
lintian
buildd: logs, reproducibility, cross
popcon
browse source code
other distros
debian patches
debci

ubuntu

[Information about Ubuntu for Debian Developers]

version: 20250912+ds-1build2

Debian Package Tracker — Copyright 2013-2025 The Distro Tracker Developers

Report problems to the tracker.debian.org pseudo-package in the Debian BTS.

Documentation — Bugs — Git Repository — Contributing