diff options
author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2019-03-30 15:29:33 +0000 |
---|---|---|
committer | Vincent Laporte <vbgl@users.noreply.github.com> | 2019-04-06 11:03:29 +0200 |
commit | 50a03f863277e40611108192935e1c3e216edcb8 (patch) | |
tree | 6bf7b3d7034244cf77c0a05d2baa243ea05b5d13 /pkgs/top-level/ocaml-packages.nix | |
parent | 82b8ff405bd151b682b9f5dfb14c672cb2b93866 (diff) |
hol_light: 2018-09-30 -> 2019-03-27
Diffstat (limited to 'pkgs/top-level/ocaml-packages.nix')
-rw-r--r-- | pkgs/top-level/ocaml-packages.nix | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/pkgs/top-level/ocaml-packages.nix b/pkgs/top-level/ocaml-packages.nix index 5907b0099dd3..68e7fde3a521 100644 --- a/pkgs/top-level/ocaml-packages.nix +++ b/pkgs/top-level/ocaml-packages.nix @@ -1059,9 +1059,7 @@ let enableX11 = config.unison.enableX11 or true; }; - hol_light = callPackage ../applications/science/logic/hol_light { - camlp5 = callPackage ../development/tools/ocaml/camlp5 { legacy = true; }; - }; + hol_light = callPackage ../applications/science/logic/hol_light { }; })).overrideScope' liftJaneStreet; |