diff options
author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2023-11-23 06:13:51 +0100 |
---|---|---|
committer | Vincent Laporte <vbgl@users.noreply.github.com> | 2023-11-30 05:37:04 +0100 |
commit | 556712bb7c057797d5b83d6349ec443084421877 (patch) | |
tree | 759e757f058226fb668dd95db45b3dd6422a3d6c | |
parent | 147eabb0f47b6cf6be50ae5a1ffb021f33088526 (diff) |
acgtk: 1.5.4 → 2.0.0
-rw-r--r-- | pkgs/applications/science/logic/acgtk/default.nix | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/pkgs/applications/science/logic/acgtk/default.nix b/pkgs/applications/science/logic/acgtk/default.nix index c876f77e12f42..3fa4111668ebc 100644 --- a/pkgs/applications/science/logic/acgtk/default.nix +++ b/pkgs/applications/science/logic/acgtk/default.nix @@ -3,14 +3,14 @@ stdenv.mkDerivation { pname = "acgtk"; - version = "1.5.4"; + version = "2.0.0"; src = fetchFromGitLab { domain = "gitlab.inria.fr"; owner = "acg"; repo = "dev/acgtk"; - rev = "8e630b6d91bad022bd1d1a075e7768034065c428"; - sha256 = "sha256-W/BDhbng5iYuiB7desMKvRtDFdhoaxiJNvNvtbLlA6E="; + rev = "release-2.0.0-20231009"; + hash = "sha256-ZymSQkBMBePPw7pJkfLkmqbIkQyIqB+7Pyrih2WAO50="; }; strictDeps = true; @@ -18,7 +18,7 @@ stdenv.mkDerivation { nativeBuildInputs = with ocamlPackages; [ menhir ocaml findlib dune_3 ]; buildInputs = with ocamlPackages; [ - ansiterminal cairo2 cmdliner fmt logs menhirLib mtime_1 sedlex yojson + ansiterminal cairo2 cmdliner fmt logs menhirLib mtime ocamlgraph readline sedlex yojson ]; buildPhase = '' |