ocamlPackages.name_matcher_parser 2026.08.15 single

Parser to define name matchers

Name: ocaml5.5.0-name_matcher_parser-2026.08.15
Package set: ocamlPackages
Homepage: https://github.com/AeneasVerif/charon
License: Apache-2.0
Source: pkgs/development/ocaml-modules/name_matcher_parser/default.nix:36
Derivation: /nix/store/apjnpi984j6x4zf5d0hjcakcma8frgkx-ocaml5.5.0-name_matcher_parser-2026.08.15.drv
Repology: not reported as outdated · look up (as of 2026-10-08T00:43:59Z)
Also available as: ocamlPackages_latest.name_matcher_parser

Maintainers 1

Handle	Name	Contact	Via
GaetanLepage	Gaetan Lepage	GitHub · gaetan@glepage.com	listed on package

Package	As	Maintainers	Used by (transitive)	Status
ocamlPackages.menhirLib 20260203	propagatedBuildInputs	vbgl	940	single outdated
ocamlPackages.ppx_deriving 6.1.1	propagatedBuildInputs	maurer	150	single outdated
ocamlPackages.visitors 20251010	propagatedBuildInputs		4	unmaintained outdated
ocamlPackages.zarith 1.14	propagatedBuildInputs	thoughtpolice, vbgl	153	maintained
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
ocamlPackages.menhir 20260203	nativeBuildInputs	vbgl	938	single outdated
bashNonInteractive 5.3p15	other input	andir, balsoft, infinisil, pyrox0	102,175	maintained outdated
stdenv 26.05pre-git	other input		90,063	team-only

Package	As	Maintainers	Used by (transitive)	Status
ocamlPackages.charon 2026.08.15	propagatedBuildInputs	GaetanLepage	1	single