diff options
| author | R. RyanTM <ryantm-bot@ryantm.com> | 2019-09-26 01:07:35 -0700 |
|---|---|---|
| committer | R. RyanTM <ryantm-bot@ryantm.com> | 2019-09-26 01:07:35 -0700 |
| commit | f54eb7f1596aa797773dd7c8f9af3dc8932ff06e (patch) | |
| tree | 515e5b79f7b0c546916d8f315cc6967b3f67447b /pkgs/applications/science/logic | |
| parent | 96ac71d680fe8d07e51fa979b0818b9aae06e1ec (diff) | |
| download | nixlib-f54eb7f1596aa797773dd7c8f9af3dc8932ff06e.tar nixlib-f54eb7f1596aa797773dd7c8f9af3dc8932ff06e.tar.gz nixlib-f54eb7f1596aa797773dd7c8f9af3dc8932ff06e.tar.bz2 nixlib-f54eb7f1596aa797773dd7c8f9af3dc8932ff06e.tar.lz nixlib-f54eb7f1596aa797773dd7c8f9af3dc8932ff06e.tar.xz nixlib-f54eb7f1596aa797773dd7c8f9af3dc8932ff06e.tar.zst nixlib-f54eb7f1596aa797773dd7c8f9af3dc8932ff06e.zip | |
clingo: 5.3.0 -> 5.4.0
Semi-automatic update generated by https://github.com/ryantm/nixpkgs-update tools. This update was made based on information from https://repology.org/metapackage/clingo/versions
Diffstat (limited to 'pkgs/applications/science/logic')
| -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 2b368a0e6730..2b6955975e63 100644 --- a/pkgs/applications/science/logic/potassco/clingo.nix +++ b/pkgs/applications/science/logic/potassco/clingo.nix @@ -2,11 +2,11 @@ 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 = []; |