diff options
author | Mario Rodas <marsam@users.noreply.github.com> | 2023-06-16 04:20:00 +0000 |
---|---|---|
committer | Vincent Laporte <vbgl@users.noreply.github.com> | 2023-06-28 11:42:19 +0200 |
commit | 8f342bfa950f610e7497800e707111d69646f801 (patch) | |
tree | 1bcd47b9c4fd54c05a2ed35a8a590ef850b2298b /pkgs/development/ocaml-modules | |
parent | d2676c949823e3792e9390c06256cdbd8ebe2854 (diff) | |
download | nixlib-8f342bfa950f610e7497800e707111d69646f801.tar nixlib-8f342bfa950f610e7497800e707111d69646f801.tar.gz nixlib-8f342bfa950f610e7497800e707111d69646f801.tar.bz2 nixlib-8f342bfa950f610e7497800e707111d69646f801.tar.lz nixlib-8f342bfa950f610e7497800e707111d69646f801.tar.xz nixlib-8f342bfa950f610e7497800e707111d69646f801.tar.zst nixlib-8f342bfa950f610e7497800e707111d69646f801.zip |
ocamlPackages.menhirLib: 20220210 -> 20230608
Diff: https://gitlab.inria.fr/fpottier/menhir/-/compare/20220210...20230608
Diffstat (limited to 'pkgs/development/ocaml-modules')
-rw-r--r-- | pkgs/development/ocaml-modules/menhir/lib.nix | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/pkgs/development/ocaml-modules/menhir/lib.nix b/pkgs/development/ocaml-modules/menhir/lib.nix index e351ee7e631a..9deceded4068 100644 --- a/pkgs/development/ocaml-modules/menhir/lib.nix +++ b/pkgs/development/ocaml-modules/menhir/lib.nix @@ -2,14 +2,14 @@ buildDunePackage rec { pname = "menhirLib"; - version = "20220210"; + version = "20230608"; src = fetchFromGitLab { domain = "gitlab.inria.fr"; owner = "fpottier"; repo = "menhir"; rev = version; - sha256 = "sha256:0f31isr3cyiishflz6qr4xc3gp9xwf32r3vxdvm5wnr2my1fnn1n"; + sha256 = "sha256-dUPoIUVr3gqvE5bniyQh/b37tNfRsZN8X3e99GFkyLY="; }; meta = with lib; { |