diff options
author | Michael Raskin <7c6f434c@mail.ru> | 2018-07-04 21:01:39 +0000 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-07-04 21:01:39 +0000 |
commit | 04bd737062086e9319c6dbcc3174fcbb7076fede (patch) | |
tree | 27795d511e3e97833e68b8f4a449584c6df2ccd7 /pkgs/applications/science | |
parent | 75e2aca6ca6ee1b28687af200d451895f8e82e03 (diff) | |
parent | a431e4f207f3f9c2378b4f7d49916fee6af05684 (diff) | |
download | nixlib-04bd737062086e9319c6dbcc3174fcbb7076fede.tar nixlib-04bd737062086e9319c6dbcc3174fcbb7076fede.tar.gz nixlib-04bd737062086e9319c6dbcc3174fcbb7076fede.tar.bz2 nixlib-04bd737062086e9319c6dbcc3174fcbb7076fede.tar.lz nixlib-04bd737062086e9319c6dbcc3174fcbb7076fede.tar.xz nixlib-04bd737062086e9319c6dbcc3174fcbb7076fede.tar.zst nixlib-04bd737062086e9319c6dbcc3174fcbb7076fede.zip |
Merge pull request #43026 from r-ryantm/auto-update/clingo
clingo: 5.2.2 -> 5.3.0
Diffstat (limited to 'pkgs/applications/science')
-rw-r--r-- | pkgs/applications/science/logic/potassco/clingo.nix | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/pkgs/applications/science/logic/potassco/clingo.nix b/pkgs/applications/science/logic/potassco/clingo.nix index 6bf19a2a2f4d..4abfdf9162c0 100644 --- a/pkgs/applications/science/logic/potassco/clingo.nix +++ b/pkgs/applications/science/logic/potassco/clingo.nix @@ -3,11 +3,11 @@ stdenv.mkDerivation rec { name = "${pname}-${version}"; pname = "clingo"; - version = "5.2.2"; + version = "5.3.0"; src = fetchzip { url = "https://github.com/potassco/clingo/archive/v${version}.tar.gz"; - sha256 = "04rjwpna37gzm8vxr09z3z6ay8y8cxbjd8lga7xvqfpn2l178zjm"; + sha256 = "01czx26p8gv81ahrh650x208hjhd8bx1kb688fmk1m4pw4yg5bfv"; }; buildInputs = []; |