diff options
author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2023-01-24 07:31:58 +0100 |
---|---|---|
committer | Vincent Laporte <Vincent.Laporte@gmail.com> | 2023-01-24 07:31:58 +0100 |
commit | af3f74b2d937d8312bcda489cdb5ff8aa009d4c0 (patch) | |
tree | c490a65ab43e287a25ad1c4bfbc79373dc2c9b47 /pkgs/applications/science/logic/ott | |
parent | 36632ac01539d80ea94462879825a3256a9eff84 (diff) |
ott: 0.32 → 0.33
Diffstat (limited to 'pkgs/applications/science/logic/ott')
-rw-r--r-- | pkgs/applications/science/logic/ott/default.nix | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/pkgs/applications/science/logic/ott/default.nix b/pkgs/applications/science/logic/ott/default.nix index 4b7166ad99865..bbc96b2b681cc 100644 --- a/pkgs/applications/science/logic/ott/default.nix +++ b/pkgs/applications/science/logic/ott/default.nix @@ -1,18 +1,18 @@ -{ lib, stdenv, fetchFromGitHub, pkg-config, ocaml, opaline }: +{ lib, stdenv, fetchFromGitHub, pkg-config, ocamlPackages, opaline }: stdenv.mkDerivation rec { pname = "ott"; - version = "0.32"; + version = "0.33"; src = fetchFromGitHub { owner = "ott-lang"; repo = "ott"; rev = version; - sha256 = "sha256-vdDsfsIi1gRW1Sowf29VyQ4C5UKyQZaVgS2uTb8VeW4="; + hash = "sha256-GzeEiok5kigcmfqf/K/UxvlKkl55zy0vOyiRZ2HyMiE="; }; nativeBuildInputs = [ pkg-config opaline ]; - buildInputs = [ ocaml ]; + buildInputs = with ocamlPackages; [ ocaml findlib ocamlgraph ]; installTargets = "ott.install"; |