clingo: 5.6.2 -> 5.7.0

2024-02-16 01:36:49 +00:00
parent f9d40ef7bc
commit ac0579e7c9
1 changed files with 2 additions and 2 deletions
@@ -2,13 +2,13 @@

 stdenv.mkDerivation rec {
  pname = "clingo";
-  version = "5.6.2";
+  version = "5.7.0";

  src = fetchFromGitHub {
    owner = "potassco";
    repo = "clingo";
    rev = "v${version}";
-    sha256 = "sha256-2vOscD5jengY3z9gHoY9y9y6RLfdzUj7BNKLyppNRac=";
+    sha256 = "sha256-mXexFRPC/+5mNRVZqzsLJKiRkKA009OQrEhOAg8M38k=";
  };

  nativeBuildInputs = [ cmake ];