aboutsummaryrefslogtreecommitdiff
path: root/nixpkgs/pkgs/applications/science/logic/potassco/clingo.nix
diff options
context:
space:
mode:
Diffstat (limited to 'nixpkgs/pkgs/applications/science/logic/potassco/clingo.nix')
-rw-r--r--nixpkgs/pkgs/applications/science/logic/potassco/clingo.nix7
1 files changed, 3 insertions, 4 deletions
diff --git a/nixpkgs/pkgs/applications/science/logic/potassco/clingo.nix b/nixpkgs/pkgs/applications/science/logic/potassco/clingo.nix
index 2b368a0e673..7c1ee8099e2 100644
--- a/nixpkgs/pkgs/applications/science/logic/potassco/clingo.nix
+++ b/nixpkgs/pkgs/applications/science/logic/potassco/clingo.nix
@@ -2,15 +2,14 @@
stdenv.mkDerivation rec {
pname = "clingo";
- version = "5.3.0";
+ version = "5.4.0";
src = fetchzip {
url = "https://github.com/potassco/clingo/archive/v${version}.tar.gz";
- sha256 = "01czx26p8gv81ahrh650x208hjhd8bx1kb688fmk1m4pw4yg5bfv";
+ sha256 = "0gfqlgwg3qx042w6hdc9qpmr50n4vci3p0ddk28f3kqacf6q9q7m";
};
- buildInputs = [];
- nativeBuildInputs = [cmake];
+ nativeBuildInputs = [ cmake ];
cmakeFlags = [ "-DCLINGO_BUILD_WITH_PYTHON=OFF" ];