diff --git a/pkgs/applications/science/logic/acgtk/default.nix b/pkgs/applications/science/logic/acgtk/default.nix index c627b8a3c8f5..693bc306f21e 100644 --- a/pkgs/applications/science/logic/acgtk/default.nix +++ b/pkgs/applications/science/logic/acgtk/default.nix @@ -1,4 +1,4 @@ -{ lib, stdenv, fetchFromGitLab, dune_2, ocamlPackages }: +{ lib, stdenv, fetchFromGitLab, dune_3, ocamlPackages }: stdenv.mkDerivation { @@ -15,7 +15,7 @@ stdenv.mkDerivation { strictDeps = true; - nativeBuildInputs = with ocamlPackages; [ menhir ocaml findlib dune_2 ]; + nativeBuildInputs = with ocamlPackages; [ menhir ocaml findlib dune_3 ]; buildInputs = with ocamlPackages; [ ansiterminal cairo2 cmdliner fmt logs menhirLib mtime sedlex yojson