diff options
| author | Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr> | 2018-10-08 21:09:59 +0200 |
|---|---|---|
| committer | Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr> | 2018-10-08 21:09:59 +0200 |
| commit | cf1f8b2d0492d21a04aa0b2832be352ea9480b46 (patch) | |
| tree | 552c99d8db3ae088dee70f58ae8c37de6fad0a4a /pkgs/top-level | |
| parent | 15aa8caf57c31b8d8c817dce13209f7d4378d1da (diff) | |
| download | nixlib-cf1f8b2d0492d21a04aa0b2832be352ea9480b46.tar nixlib-cf1f8b2d0492d21a04aa0b2832be352ea9480b46.tar.gz nixlib-cf1f8b2d0492d21a04aa0b2832be352ea9480b46.tar.bz2 nixlib-cf1f8b2d0492d21a04aa0b2832be352ea9480b46.tar.lz nixlib-cf1f8b2d0492d21a04aa0b2832be352ea9480b46.tar.xz nixlib-cf1f8b2d0492d21a04aa0b2832be352ea9480b46.tar.zst nixlib-cf1f8b2d0492d21a04aa0b2832be352ea9480b46.zip | |
camlp5: remove old version 5.15
Diffstat (limited to 'pkgs/top-level')
| -rw-r--r-- | pkgs/top-level/ocaml-packages.nix | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/pkgs/top-level/ocaml-packages.nix b/pkgs/top-level/ocaml-packages.nix index 7de4bf3fad40..429f9d3155f4 100644 --- a/pkgs/top-level/ocaml-packages.nix +++ b/pkgs/top-level/ocaml-packages.nix @@ -88,18 +88,6 @@ let then callPackage ../development/tools/ocaml/camlp4 { } else null; - camlp5_old_strict = - if lib.versionOlder "4.00" ocaml.version - then camlp5_6_strict - else callPackage ../development/tools/ocaml/camlp5/5.15.nix { }; - - camlp5_old_transitional = - if lib.versionOlder "4.00" ocaml.version - then camlp5_6_transitional - else callPackage ../development/tools/ocaml/camlp5/5.15.nix { - transitional = true; - }; - camlp5_6_strict = callPackage ../development/tools/ocaml/camlp5 { }; camlp5_6_transitional = callPackage ../development/tools/ocaml/camlp5 { |