diff options
author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2023-02-13 07:21:16 +0100 |
---|---|---|
committer | Vincent Laporte <Vincent.Laporte@gmail.com> | 2023-02-13 07:21:16 +0100 |
commit | 9435a8f48e37ea494b01330c3443f77a66bdc5e5 (patch) | |
tree | 392bfa409587e57ce6c82c57003f5c09e4c23772 /pkgs/development/tools/ocaml | |
parent | 837cc0d9862630108a4ed095838feee792af5b4d (diff) | |
download | nixpkgs-9435a8f48e37ea494b01330c3443f77a66bdc5e5.tar nixpkgs-9435a8f48e37ea494b01330c3443f77a66bdc5e5.tar.gz nixpkgs-9435a8f48e37ea494b01330c3443f77a66bdc5e5.tar.bz2 nixpkgs-9435a8f48e37ea494b01330c3443f77a66bdc5e5.tar.lz nixpkgs-9435a8f48e37ea494b01330c3443f77a66bdc5e5.tar.xz nixpkgs-9435a8f48e37ea494b01330c3443f77a66bdc5e5.tar.zst nixpkgs-9435a8f48e37ea494b01330c3443f77a66bdc5e5.zip |
ocaml-top: 1.2.0-rc → 1.2.0
Diffstat (limited to 'pkgs/development/tools/ocaml')
-rw-r--r-- | pkgs/development/tools/ocaml/ocaml-top/default.nix | 9 |
1 files changed, 2 insertions, 7 deletions
diff --git a/pkgs/development/tools/ocaml/ocaml-top/default.nix b/pkgs/development/tools/ocaml/ocaml-top/default.nix index 095af776914..18ea26ca22a 100644 --- a/pkgs/development/tools/ocaml/ocaml-top/default.nix +++ b/pkgs/development/tools/ocaml/ocaml-top/default.nix @@ -2,13 +2,13 @@ with ocamlPackages; buildDunePackage rec { pname = "ocaml-top"; - version = "1.2.0-rc"; + version = "1.2.0"; src = fetchFromGitHub { owner = "OCamlPro"; repo = "ocaml-top"; rev = version; - sha256 = "sha256-ZXnPnPvJmHshkTwYWeBojrgJYAF/R6vUo0XkvVMFSeQ="; + hash = "sha256-xmPGGB/zUpfeAxUIhR1PhfoESAJq7sTpqHuf++EH3Lw="; }; nativeBuildInputs = [ ocp-build ]; @@ -19,11 +19,6 @@ with ocamlPackages; buildDunePackage rec { ocp-build -init ''; - postPatch = '' - substituteInPlace src/completion.ml \ - --replace 'LibIndex.load ' 'LibIndex.load ~qualify:false ' - ''; - meta = { homepage = "https://www.typerex.org/ocaml-top.html"; license = lib.licenses.gpl3; |