diff options
Diffstat (limited to 'pkgs/development/ocaml-modules/menhir/lib.nix')
-rw-r--r-- | pkgs/development/ocaml-modules/menhir/lib.nix | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/pkgs/development/ocaml-modules/menhir/lib.nix b/pkgs/development/ocaml-modules/menhir/lib.nix index 4d27fe3273895..e351ee7e631aa 100644 --- a/pkgs/development/ocaml-modules/menhir/lib.nix +++ b/pkgs/development/ocaml-modules/menhir/lib.nix @@ -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"; |