diff options
author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2018-10-27 16:41:18 +0000 |
---|---|---|
committer | Vincent Laporte <Vincent.Laporte@gmail.com> | 2018-10-28 15:30:49 +0000 |
commit | 80bb1db72c495d77dacdb1c32c192a0d6a53829e (patch) | |
tree | 5e9cd4f462db5ef3158f2ce4f2a7fe49eb23826d /pkgs/top-level/ocaml-packages.nix | |
parent | 17585ff6d8e7db7cd665f1eb8212d795c926120b (diff) | |
download | nixlib-80bb1db72c495d77dacdb1c32c192a0d6a53829e.tar nixlib-80bb1db72c495d77dacdb1c32c192a0d6a53829e.tar.gz nixlib-80bb1db72c495d77dacdb1c32c192a0d6a53829e.tar.bz2 nixlib-80bb1db72c495d77dacdb1c32c192a0d6a53829e.tar.lz nixlib-80bb1db72c495d77dacdb1c32c192a0d6a53829e.tar.xz nixlib-80bb1db72c495d77dacdb1c32c192a0d6a53829e.tar.zst nixlib-80bb1db72c495d77dacdb1c32c192a0d6a53829e.zip |
ocamlPackages.menhir: 20170712 -> 20181026
Diffstat (limited to 'pkgs/top-level/ocaml-packages.nix')
-rw-r--r-- | pkgs/top-level/ocaml-packages.nix | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/pkgs/top-level/ocaml-packages.nix b/pkgs/top-level/ocaml-packages.nix index 9f9bba933a17..62b773c51bf6 100644 --- a/pkgs/top-level/ocaml-packages.nix +++ b/pkgs/top-level/ocaml-packages.nix @@ -1024,11 +1024,15 @@ let omake_rc1 = callPackage ../development/tools/ocaml/omake/0.9.8.6-rc1.nix { }; - verasco = callPackage ../development/tools/analysis/verasco ( + verasco = callPackage ../development/tools/analysis/verasco (( if system == "x86_64-linux" then { tools = pkgs.pkgsi686Linux.stdenv.cc; } else {} - ); + ) // { + menhir = callPackage ../development/ocaml-modules/menhir { + version = "20170712"; + }; + }); google-drive-ocamlfuse = callPackage ../applications/networking/google-drive-ocamlfuse { }; |