Vincent Laporte
c54ee72442
coqPackages.MenhirLib: 20250903 → 20260203 ocamlPackages.dolmen: disable tests
14 lines
234 B
Nix
14 lines
234 B
Nix
{
|
|
buildDunePackage,
|
|
menhirLib,
|
|
}:
|
|
|
|
buildDunePackage {
|
|
pname = "menhirGLR";
|
|
inherit (menhirLib) version src;
|
|
|
|
meta = menhirLib.meta // {
|
|
description = "Runtime support library for GLR parsers generated by Menhir";
|
|
};
|
|
}
|