mirror of
https://github.com/NixOS/nixpkgs.git
synced 2025-04-13 18:47:35 +00:00
ocamlPackages.menhir: 20211128 → 20220210
This commit is contained in:
parent
c25fcedaf0
commit
81008f02c4
@ -7,7 +7,7 @@ buildDunePackage rec {
|
||||
|
||||
minimalOCamlVersion = "4.03";
|
||||
|
||||
inherit (menhirLib) version src useDune2;
|
||||
inherit (menhirLib) version src;
|
||||
|
||||
buildInputs = [ menhirLib menhirSdk ];
|
||||
|
||||
|
@ -2,18 +2,16 @@
|
||||
|
||||
buildDunePackage rec {
|
||||
pname = "menhirLib";
|
||||
version = "20211128";
|
||||
version = "20220210";
|
||||
|
||||
src = fetchFromGitLab {
|
||||
domain = "gitlab.inria.fr";
|
||||
owner = "fpottier";
|
||||
repo = "menhir";
|
||||
rev = version;
|
||||
sha256 = "sha256-L/zfjPZfn9L7qqqqJGk3Ge52rvujOVPiL8jxfH5R60g=";
|
||||
sha256 = "sha256:0f31isr3cyiishflz6qr4xc3gp9xwf32r3vxdvm5wnr2my1fnn1n";
|
||||
};
|
||||
|
||||
useDune2 = true;
|
||||
|
||||
meta = with lib; {
|
||||
homepage = "http://pauillac.inria.fr/~fpottier/menhir/";
|
||||
description = "Runtime support library for parsers generated by Menhir";
|
||||
|
@ -5,7 +5,7 @@
|
||||
buildDunePackage rec {
|
||||
pname = "menhirSdk";
|
||||
|
||||
inherit (menhirLib) version src useDune2;
|
||||
inherit (menhirLib) version src;
|
||||
|
||||
meta = menhirLib.meta // {
|
||||
description = "Compile-time library for auxiliary tools related to Menhir";
|
||||
|
Loading…
Reference in New Issue
Block a user