diff options
author | romildo <malaquias@gmail.com> | 2017-06-01 18:43:27 -0300 |
---|---|---|
committer | romildo <malaquias@gmail.com> | 2017-06-01 18:43:27 -0300 |
commit | 7ba979cac370ebe4bbb4af565b198e116a4a6214 (patch) | |
tree | 45b12feec20bcaf915bc53f80a4d520c895c02a7 /pkgs/top-level/ocaml-packages.nix | |
parent | 98058ef4447158761f5fb501f6f78de69e22aaa8 (diff) | |
download | nixlib-7ba979cac370ebe4bbb4af565b198e116a4a6214.tar nixlib-7ba979cac370ebe4bbb4af565b198e116a4a6214.tar.gz nixlib-7ba979cac370ebe4bbb4af565b198e116a4a6214.tar.bz2 nixlib-7ba979cac370ebe4bbb4af565b198e116a4a6214.tar.lz nixlib-7ba979cac370ebe4bbb4af565b198e116a4a6214.tar.xz nixlib-7ba979cac370ebe4bbb4af565b198e116a4a6214.tar.zst nixlib-7ba979cac370ebe4bbb4af565b198e116a4a6214.zip |
ocp-indent: readd old version 1.5.2
Some packages (ocp-index, for instance) are not yet compatible with newer versions of ocp-indent. So version 1.5.2 is still needed.
Diffstat (limited to 'pkgs/top-level/ocaml-packages.nix')
-rw-r--r-- | pkgs/top-level/ocaml-packages.nix | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/pkgs/top-level/ocaml-packages.nix b/pkgs/top-level/ocaml-packages.nix index 4c8bf5ce14d3..ff6e12b63c1f 100644 --- a/pkgs/top-level/ocaml-packages.nix +++ b/pkgs/top-level/ocaml-packages.nix @@ -389,6 +389,7 @@ let ocpBuild = callPackage ../development/tools/ocaml/ocp-build { }; ocpIndent = callPackage ../development/tools/ocaml/ocp-indent { cmdliner = cmdliner_1_0; }; + ocpIndent_1_5_2 = callPackage ../development/tools/ocaml/ocp-indent/1.5.2.nix { }; ocp-index = callPackage ../development/tools/ocaml/ocp-index { }; |