Skip to content

Commit

Permalink
clingo: 5.5.0 -> 5.5.1
Browse files Browse the repository at this point in the history
  • Loading branch information
r-ryantm committed Dec 6, 2021
1 parent 1657d58 commit d5368e3
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 d5368e3

Please sign in to comment.