diff options
author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2018-11-14 15:38:48 +0000 |
---|---|---|
committer | Vincent Laporte <vbgl@users.noreply.github.com> | 2018-11-21 06:12:33 +0000 |
commit | 88d20b2052bd13461bd69bf2df2e0bafbc2b5383 (patch) | |
tree | 2f892c5c2651eda52b9131b4a06210bf8a5e433b /pkgs/development/ocaml-modules/menhir | |
parent | e481df83b1c1df52b6c5d4df7808cd8b9286f239 (diff) | |
download | nixpkgs-88d20b2052bd13461bd69bf2df2e0bafbc2b5383.tar nixpkgs-88d20b2052bd13461bd69bf2df2e0bafbc2b5383.tar.gz nixpkgs-88d20b2052bd13461bd69bf2df2e0bafbc2b5383.tar.bz2 nixpkgs-88d20b2052bd13461bd69bf2df2e0bafbc2b5383.tar.lz nixpkgs-88d20b2052bd13461bd69bf2df2e0bafbc2b5383.tar.xz nixpkgs-88d20b2052bd13461bd69bf2df2e0bafbc2b5383.tar.zst nixpkgs-88d20b2052bd13461bd69bf2df2e0bafbc2b5383.zip |
ocamlPackages.menhir: 20181026 -> 20181113
Diffstat (limited to 'pkgs/development/ocaml-modules/menhir')
-rw-r--r-- | pkgs/development/ocaml-modules/menhir/default.nix | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/pkgs/development/ocaml-modules/menhir/default.nix b/pkgs/development/ocaml-modules/menhir/default.nix index ce9ddeea0c4..1a2a31277af 100644 --- a/pkgs/development/ocaml-modules/menhir/default.nix +++ b/pkgs/development/ocaml-modules/menhir/default.nix @@ -1,12 +1,12 @@ { stdenv, fetchurl, ocaml, findlib, ocamlbuild -, version ? if stdenv.lib.versionAtLeast (stdenv.lib.getVersion ocaml) "4.02" then "20181026" else "20140422" +, version ? if stdenv.lib.versionAtLeast (stdenv.lib.getVersion ocaml) "4.02" then "20181113" else "20140422" }@args: let src = fetchurl ( if version == "20140422" then { url = "http://cristal.inria.fr/~fpottier/menhir/menhir-20140422.tar.gz"; sha256 = "1ki1f2id6a14h9xpv2k8yb6px7dyw8cvwh39csyzj4qpzx7wia0d"; } else if version == "20170712" then { url = "http://gallium.inria.fr/~fpottier/menhir/menhir-20170712.tar.gz"; sha256 = "006hq3bwj81j67f2k9cgzj5wr4hai8j36925p5n3sd2j01ljsj6a"; } - else if version == "20181026" then { url = "https://gitlab.inria.fr/fpottier/menhir/repository/20181026/archive.tar.gz"; sha256 = "1zhacw60996i9b88kbnfvrvjk3ps9p9n9syjk9np545jp8l0582g"; } + else if version == "20181113" then { url = "https://gitlab.inria.fr/fpottier/menhir/repository/20181113/archive.tar.gz"; sha256 = "0hl611l0gyl7b2bm7m0sk7vjz14m0i7znrnjq3gw58pylj934dx4"; } else throw ("menhir: unknown version " ++ version) ); in |