diff options
| author | Weijia Wang <9713184+wegank@users.noreply.github.com> | 2024-03-06 23:48:05 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-03-06 23:48:05 +0100 |
| commit | d83c961db026584b2615ddfabf1663aa85c109d8 (patch) | |
| tree | f631cc9419fb7ec87a5c6904cd2fda5b2218b146 /pkgs/applications/science/logic | |
| parent | 377e8164bb6870216e5e19cb0640b3422a4355f7 (diff) | |
| parent | e9db8c4c77271ec3766f6a7b22e66c2e63bc87c3 (diff) | |
Merge pull request #289177 from r-ryantm/auto-update/clingcon
clingcon: 5.2.0 -> 5.2.1
Diffstat (limited to 'pkgs/applications/science/logic')
| -rw-r--r-- | pkgs/applications/science/logic/potassco/clingcon.nix | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/pkgs/applications/science/logic/potassco/clingcon.nix b/pkgs/applications/science/logic/potassco/clingcon.nix index e024ffb9364e9..4966bf608bc98 100644 --- a/pkgs/applications/science/logic/potassco/clingcon.nix +++ b/pkgs/applications/science/logic/potassco/clingcon.nix @@ -7,13 +7,13 @@ stdenv.mkDerivation rec { pname = "clingcon"; - version = "5.2.0"; + version = "5.2.1"; src = fetchFromGitHub { owner = "potassco"; repo = pname; rev = "v${version}"; - sha256 = "sha256-wZfTneoQSqEnLAVE8WyPh9EABmOEhDgRm6yWAF1T7Nk="; + sha256 = "sha256-R2kgcw8VUwhOdvPXnsahT5gnoUd5DXLqfdH++8rFoAA="; }; postPatch = '' |