diff options
Diffstat (limited to 'nixpkgs/pkgs/applications/science/logic/potassco/clingo.nix')
-rw-r--r-- | nixpkgs/pkgs/applications/science/logic/potassco/clingo.nix | 7 |
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 2b368a0e6730..7c1ee8099e2c 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" ]; |