Skip to content

Commit

Permalink
Merge pull request #148950 from r-ryantm/auto-update/clingo
Browse files Browse the repository at this point in the history
clingo: 5.5.0 -> 5.5.1
  • Loading branch information
7c6f434c authored Dec 6, 2021
2 parents 7fa6c8c + d5368e3 commit 122413f
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions pkgs/applications/science/logic/potassco/clingo.nix
Original file line number Diff line number Diff line change
Expand Up @@ -2,11 +2,11 @@

stdenv.mkDerivation rec {
pname = "clingo";
version = "5.5.0";
version = "5.5.1";

src = fetchzip {
url = "https://github.com/potassco/clingo/archive/v${version}.tar.gz";
sha256 = "sha256-6xKtNi5IprjaFNadfk8kKjKzuPRanUjycLWCytnk0mU=";
sha256 = "sha256-KBCwGNkz5HqbgXbDxPVcqxMXC8B2+wRI8eZVVXMVpLI=";
};

nativeBuildInputs = [ cmake ];
Expand Down

0 comments on commit 122413f

Please sign in to comment.