diff options
| author | R. RyanTM <ryantm-bot@ryantm.com> | 2020-12-07 13:03:03 +0000 |
|---|---|---|
| committer | R. RyanTM <ryantm-bot@ryantm.com> | 2020-12-07 13:03:03 +0000 |
| commit | cec747d7124be5af1199b5509c9187eba1371c63 (patch) | |
| tree | 1094aa1bc9e1d4d7330d32eec1adb652bee47c44 /pkgs/applications/science/logic | |
| parent | 22f8e9484e164fe1d5fca94bb94b200ba8c6f8fd (diff) | |
| download | nixpkgs-cec747d7124be5af1199b5509c9187eba1371c63.tar nixpkgs-cec747d7124be5af1199b5509c9187eba1371c63.tar.gz nixpkgs-cec747d7124be5af1199b5509c9187eba1371c63.tar.bz2 nixpkgs-cec747d7124be5af1199b5509c9187eba1371c63.tar.lz nixpkgs-cec747d7124be5af1199b5509c9187eba1371c63.tar.xz nixpkgs-cec747d7124be5af1199b5509c9187eba1371c63.tar.zst nixpkgs-cec747d7124be5af1199b5509c9187eba1371c63.zip | |
clingo: 5.4.0 -> 5.4.1
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 7c1ee8099e2..fd6b2c8d14c 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.4.0"; + version = "5.4.1"; src = fetchzip { url = "https://github.com/potassco/clingo/archive/v${version}.tar.gz"; - sha256 = "0gfqlgwg3qx042w6hdc9qpmr50n4vci3p0ddk28f3kqacf6q9q7m"; + sha256 = "1f0q5f71s696ywxcjlfz7z134m1h7i39j9sfdv8hlw2w3g5nppc3"; }; nativeBuildInputs = [ cmake ]; |