diff options
Diffstat (limited to 'pkgs/development/tools/ocaml')
-rw-r--r-- | pkgs/development/tools/ocaml/ocp-index/default.nix | 8 |
1 files changed, 2 insertions, 6 deletions
diff --git a/pkgs/development/tools/ocaml/ocp-index/default.nix b/pkgs/development/tools/ocaml/ocp-index/default.nix index 5b37febbb99..98e8b06e795 100644 --- a/pkgs/development/tools/ocaml/ocp-index/default.nix +++ b/pkgs/development/tools/ocaml/ocp-index/default.nix @@ -2,9 +2,7 @@ buildDunePackage rec { pname = "ocp-index"; - version = "1.3.4"; - - duneVersion = "3"; + version = "1.3.5"; minimalOCamlVersion = "4.08"; @@ -12,11 +10,9 @@ buildDunePackage rec { owner = "OCamlPro"; repo = "ocp-index"; rev = version; - sha256 = "sha256-a7SBGHNKUstfrdHx9KI33tYpvzTwIGhs4Hfie5EeKww="; + hash = "sha256-Zn3BPaMB68V363OljFFdmLyYf+S0wFJK44L8t1TSG1Q="; }; - strictDeps = true; - nativeBuildInputs = [ cppo ]; buildInputs = [ cmdliner re ]; |