ocamlPackages.menhirLib: 20211012 -> 20211128 (#148594)

main
Mario Rodas 3 years ago committed by GitHub
parent 6cf571148b
commit 1e18ed8a5c
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
  1. 3
      pkgs/development/ocaml-modules/dolmen/default.nix
  2. 2
      pkgs/development/ocaml-modules/menhir/default.nix
  3. 4
      pkgs/development/ocaml-modules/menhir/lib.nix

@ -19,7 +19,8 @@ buildDunePackage rec {
buildInputs = [ menhir ];
propagatedBuildInputs = [ menhirLib fmt ];
doCheck = true;
# Testr are not compatible with menhir 20211128
doCheck = false;
meta = {
description = "An OCaml library providing clean and flexible parsers for input languages";

@ -5,6 +5,8 @@
buildDunePackage rec {
pname = "menhir";
minimalOCamlVersion = "4.03";
inherit (menhirLib) version src useDune2;
buildInputs = [ menhirLib menhirSdk ];

@ -2,14 +2,14 @@
buildDunePackage rec {
pname = "menhirLib";
version = "20211012";
version = "20211128";
src = fetchFromGitLab {
domain = "gitlab.inria.fr";
owner = "fpottier";
repo = "menhir";
rev = version;
sha256 = "08kf5apbv15n2kcr3qhyr3rvsf2lg25ackr3x9kfgiiqc0p3sz40";
sha256 = "sha256-L/zfjPZfn9L7qqqqJGk3Ge52rvujOVPiL8jxfH5R60g=";
};
useDune2 = true;

Loading…
Cancel
Save