about summary refs log tree commit diff
path: root/pkgs/applications/science
diff options
context:
space:
mode:
authorJonas Heinrich <onny@project-insanity.org>2023-01-25 10:32:21 +0100
committerGitHub <noreply@github.com>2023-01-25 10:32:21 +0100
commit3b8218888d62758485585d54c9232b3c3b5ac4d5 (patch)
treeb1e3056ccb6c0342f409885c6bb55729589554e9 /pkgs/applications/science
parent99aab903b28a7a1d3757d2df08560148cdad7ea4 (diff)
parentaf3f74b2d937d8312bcda489cdb5ff8aa009d4c0 (diff)
Merge pull request #212369 from vbgl/ott-0.33
ott: 0.32 → 0.33
Diffstat (limited to 'pkgs/applications/science')
-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";