Eman Resu
40 lines
1.2 KiB
Nix
40 lines
1.2 KiB
Nix
{
|
|
lib,
|
|
buildDunePackage,
|
|
ocaml,
|
|
rocqPackages,
|
|
version ? "20260203",
|
|
}:
|
|
|
|
let
|
|
fetched = rocqPackages.metaFetch {
|
|
release."20231231".sha256 = "sha256-veB0ORHp6jdRwCyDDAfc7a7ov8sOeHUmiELdOFf/QYk=";
|
|
release."20240715".sha256 = "sha256-9CSxAIm0aEXkwF+aj8u/bqLG30y5eDNz65EnohJPjzI=";
|
|
release."20250903".sha256 = "sha256-ap1OvcvCAuqmFDwhPwMBosHs3cm5NxPW/w1J8AzWduk=";
|
|
release."20260203".hash = "sha256-S1kJav+VKSVTg3EAyIvqIl+T8X5fBrh6ENrOiRmKMe0=";
|
|
releaseRev = v: "${v}";
|
|
location = {
|
|
domain = "gitlab.inria.fr";
|
|
owner = "fpottier";
|
|
repo = "menhir";
|
|
};
|
|
} version;
|
|
in
|
|
buildDunePackage {
|
|
pname = "menhirLib";
|
|
inherit (fetched) version src;
|
|
|
|
meta = {
|
|
homepage = "http://pauillac.inria.fr/~fpottier/menhir/";
|
|
description = "Runtime support library for parsers generated by Menhir";
|
|
longDescription = ''
|
|
Menhir is a LR(1) parser generator for the Objective Caml programming
|
|
language. That is, Menhir compiles LR(1) grammar specifications down
|
|
to OCaml code. Menhir was designed and implemented by François Pottier
|
|
and Yann Régis-Gianas.
|
|
'';
|
|
license = lib.licenses.lgpl2Only;
|
|
maintainers = with lib.maintainers; [ vbgl ];
|
|
};
|
|
}
|