diff options
author | Jonas Heinrich <onny@project-insanity.org> | 2023-01-25 10:32:21 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-01-25 10:32:21 +0100 |
commit | 3b8218888d62758485585d54c9232b3c3b5ac4d5 (patch) | |
tree | b1e3056ccb6c0342f409885c6bb55729589554e9 /pkgs/applications/science | |
parent | 99aab903b28a7a1d3757d2df08560148cdad7ea4 (diff) | |
parent | af3f74b2d937d8312bcda489cdb5ff8aa009d4c0 (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.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"; |