ocamlPackages.menhir 20260203 single outdated

LR(1) parser generator for OCaml

Name: ocaml5.5.0-menhir-20260203
Package set: ocamlPackages
Homepage: http://pauillac.inria.fr/~fpottier/menhir/
License: GPL-2.0-only
Main program: menhir
Source: pkgs/development/ocaml-modules/menhir/default.nix:28
Derivation: /nix/store/p24w56gyd5c229kfvcj2sdb7adqgjbsy-ocaml5.5.0-menhir-20260203.drv
Repology: outdated, newest version is 20260209 · ocaml:menhir (as of 2026-10-08T00:43:59Z)
Also available as: ocamlPackages_latest.menhir

Maintainers 1

Handle	Name	Contact	Via
vbgl	Vincent Laporte	GitHub · Vincent.Laporte@gmail.com	listed on package

Dependencies 8

Package	As	Maintainers	Used by (transitive)	Status
ocamlPackages.menhirGLR 20260203	buildInputs	vbgl	939	single outdated
ocamlPackages.menhirLib 20260203	buildInputs	vbgl	940	single outdated
ocamlPackages.menhirSdk 20260203	buildInputs	vbgl	940	single outdated
dune 3.23.1	nativeBuildInputs	vbgl	1,402	single outdated
ocaml 5.5.0	nativeBuildInputs	georgyo	1,487	single outdated
ocamlPackages.findlib 1.9.8	nativeBuildInputs		1,473	unmaintained
bashNonInteractive 5.3p15	other input	andir, balsoft, infinisil, pyrox0	102,175	maintained outdated
stdenv 26.05pre-git	other input		90,063	team-only

Used by 67 directly, 938 transitively

Package	As	Maintainers	Used by (transitive)	Status
ocamlPackages.opam-file-format 2.2.0	nativeBuildInputs	vbgl	912	single
ocamlPackages.js_of_ocaml-compiler 6.4.1	nativeBuildInputs	vbgl	312	single
reason 3.18.0	nativeBuildInputs		22	unmaintained
ocamlPackages.atd 4.2.0	nativeBuildInputs	aij	13	single
ocamlPackages.graphql_parser 0.14.0	nativeBuildInputs	vbgl	9	single
why3 1.8.2	nativeBuildInputs	thoughtpolice, vbgl	7	maintained
ocamlPackages.dolmen 0.10	nativeBuildInputs	vbgl	6	single
frama-c 33.0	nativeBuildInputs	luc65r, thoughtpolice	4	maintained
ocamlPackages.jingoo 1.5.4	nativeBuildInputs	ericbmerritt	4	single
ocamlPackages.toml 7.1.0	nativeBuildInputs	vbgl	4	single
ocamlPackages.otoml 1.0.5	nativeBuildInputs	vbgl	3	single
ocamlPackages.name_matcher_parser 2026.08.15	nativeBuildInputs	GaetanLepage	2	single
ocamlPackages.scfg 0.5	nativeBuildInputs	ethancedwards8	2	single
stog 1.1.0	nativeBuildInputs	thufschmitt	2	single
alt-ergo 2.6.3	nativeBuildInputs	thoughtpolice	1	single unfree outdated
ocamlPackages.frontc 4.1.0	nativeBuildInputs	maurer	1	single
ocamlPackages.kdl 0.2.0	nativeBuildInputs	toastal	1	single
ocamlPackages.libabsolute 0.3	nativeBuildInputs		1	unmaintained
ocamlPackages.lua-ml 0.9.5	nativeBuildInputs	vbgl	1	single
ocamlPackages.ocamlformat-lib 0.29.0	nativeBuildInputs	Julow, Zimmi48	1	maintained
ocamlPackages.ocamlformat-mlx-lib 0.28.1.2	nativeBuildInputs	Denommus	1	single outdated
ocamlPackages.odate 0.7	nativeBuildInputs	vbgl	1	single
ocamlPackages.psmt2-frontend 0.4.0	nativeBuildInputs	vbgl	1	single
ocamlPackages.sail 0.20.1	nativeBuildInputs		1	unmaintained outdated
ocamlPackages.smtml 0.28.0	nativeBuildInputs	eljamm, ethancedwards8, phanirithvij, Prince213, redianthus	1	maintained outdated
ocamlPackages.zelus 2.2	nativeBuildInputs	wegank	1	single unfree
stanc 2.40.0	nativeBuildInputs	wegank	1	single
abella 2.0.8	nativeBuildInputs	bcdarwin	0	single outdated
acgtk 2.2.0	nativeBuildInputs	vtourneur	0	single
alt-ergo-free 2.4.3	nativeBuildInputs	redianthus	0	single
anders 5.0.0	nativeBuildInputs		0	unmaintained
caper 0.9	nativeBuildInputs	spaghetus	0	single
cerberus 0-unstable-2025-12-15	nativeBuildInputs	RossSmyth	0	single outdated
compcert 3.18	nativeBuildInputs	jwiegley, thoughtpolice, vbgl	0	maintained unfree
easycrypt 2026.09	nativeBuildInputs	vbgl	0	single
jasmin-compiler 2026.09.0	nativeBuildInputs	vbgl	0	single
mopsa 1.1	nativeBuildInputs	vbgl	0	single outdated
obelisk 0.8.1	nativeBuildInputs	vbgl	0	single outdated
ocamlPackages.cooltt unstable-2023-10-03	nativeBuildInputs	moni-dz	0	single
ocamlPackages.dedukti 2.7	nativeBuildInputs	bcdarwin	0	single
ocamlPackages.drom 0.9.3	nativeBuildInputs	sempiternal-aurora	0	single
ocamlPackages.earlybird 1.3.6	nativeBuildInputs	romildo	0	single
ocamlPackages.elpi 3.8.0	nativeBuildInputs	vbgl	0	single
ocamlPackages.frama-c-luncov 0.2.6	nativeBuildInputs	redianthus	0	single
ocamlPackages.lambdapi 3.0.0	nativeBuildInputs	bcdarwin	0	single
ocamlPackages.lreplay 0.1.1	nativeBuildInputs	redianthus	0	single
ocamlPackages.lrgrep 0.9	nativeBuildInputs		0	unmaintained
ocamlPackages.merlin 5.8-505	nativeBuildInputs	sternenseemann, vbgl	0	maintained
ocamlPackages.mezzo 0.0.m8	nativeBuildInputs		0	unmaintained broken
ocamlPackages.mlx 0.11	buildInputs	Denommus	0	single
ocamlPackages.morbig 0.11.0	nativeBuildInputs	niols	0	single broken
ocamlPackages.mustache 3.3.0	nativeBuildInputs	vbgl	0	single
ocamlPackages.ocamlformat_0_20_1 0.20.1	nativeBuildInputs	Julow, Zimmi48	0	maintained broken
ocamlPackages.ocamlformat_0_21_0 0.21.0	nativeBuildInputs	Julow, Zimmi48	0	maintained broken
ocamlPackages.ocamlformat_0_22_4 0.22.4	nativeBuildInputs	Julow, Zimmi48	0	maintained broken
ocamlPackages.ocamlformat_0_23_0 0.23.0	nativeBuildInputs	Julow, Zimmi48	0	maintained broken
ocamlPackages.ocamlformat_0_24_1 0.24.1	nativeBuildInputs	Julow, Zimmi48	0	maintained broken
ocamlPackages.ocamlmerlin-mlx 0.11	buildInputs	Denommus	0	single
ocamlPackages.odds 1.2	nativeBuildInputs	Denommus	0	single
ocamlPackages.phylogenetics 0.3.0	nativeBuildInputs	bcdarwin	0	single
ocamlPackages.ppx_mikmatch 1.5	nativeBuildInputs	vog, zazedd	0	maintained
ocamlPackages.superbol-studio-oss 1.0.0	nativeBuildInputs	eljamm, ethancedwards8, phanirithvij, Prince213, sempiternal-aurora	0	maintained
ocamlPackages.wasm_of_ocaml-compiler 6.4.1	nativeBuildInputs	stepbrobd	0	team-only
satyrographos 0.0.2.13	nativeBuildInputs		0	unmaintained
tatl 1.0	nativeBuildInputs	mgttlinger	0	single
wasm 2.0.2	nativeBuildInputs	vbgl	0	single
zipperposition 2.1-unstable-2024-02-08	nativeBuildInputs	DieracDelta	0	single