about summary refs log tree commit diff
path: root/pkgs/applications/science/logic/ott
diff options
context:
space:
mode:
authorVincent Laporte <Vincent.Laporte@gmail.com>2023-01-24 07:31:58 +0100
committerVincent Laporte <Vincent.Laporte@gmail.com>2023-01-24 07:31:58 +0100
commitaf3f74b2d937d8312bcda489cdb5ff8aa009d4c0 (patch)
treec490a65ab43e287a25ad1c4bfbc79373dc2c9b47 /pkgs/applications/science/logic/ott
parent36632ac01539d80ea94462879825a3256a9eff84 (diff)
ott: 0.32 → 0.33
Diffstat (limited to 'pkgs/applications/science/logic/ott')
-rw-r--r--pkgs/applications/science/logic/ott/default.nix8
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";