GNU bug report logs - #78348
[PATCH 0/3] Update Clingo to 5.8.0

Previous Next

Full log

Message #8 received at 78348 <at> debbugs.gnu.org (full text, mbox):

From: Liliana Marie Prikler <liliana.prikler <at> gmail.com>
To: 78348 <at> debbugs.gnu.org
Subject: [PATCH 1/3] gnu: libpotassco: Update to 0.0-3.2eecf5f.
Date: Sat, 10 May 2025 09:06:00 +0200

* gnu/packages/potassco.scm (libpotassco): Update to 0.0-3.2eecf5f.
---
 gnu/packages/potassco.scm | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/gnu/packages/potassco.scm b/gnu/packages/potassco.scm
index 43e56ec8bf6..edc7ac6d66d 100644
--- a/gnu/packages/potassco.scm
+++ b/gnu/packages/potassco.scm
@@ -49,8 +49,8 @@ (define-module (gnu packages potassco)
 
 (define-public libpotassco
   ;; No public release, update together with clasp
-  (let ((revision "2")
-        (commit "69b677f026c53d5a0a794db17691a1eb8bce8c6b"))
+  (let ((revision "3")
+        (commit "2eecf5f066fe1f77c9122547f7e07ba1e8c1dcdf"))
     (package
       (name "libpotassco")
       (version (git-version "0.0" revision commit))
@@ -68,7 +68,7 @@ (define-public libpotassco
                        (("\"catch.hpp\"") "<catch/catch.hpp>"))))
                 (sha256
                  (base32
-                  "1c69njg30dha1zy6j17gghjg3lgambz0pipxkgxadmrkvsb20z2k"))))
+                  "0l502qcpwnnpa84hg7vynicpqp3mvivw150jlywqdp1g1irwnh7j"))))
       (arguments
        `(#:configure-flags '("-DLIB_POTASSCO_BUILD_TESTS=on"
                              "-DLIB_POTASSCO_INSTALL_LIB=on"
-- 
2.49.0

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.