diff mbox series

[bug#78348,1/3] gnu: libpotassco: Update to 0.0-3.2eecf5f.

Message ID 9a8b0cc608add498d376b186bcb72addd20a40d7.1746864628.git.liliana.prikler@gmail.com
State New
Headers
Series Update Clingo to 5.8.0 |

Commit Message

Liliana Marie Prikler May 10, 2025, 7:06 a.m. UTC 
  * gnu/packages/potassco.scm (libpotassco): Update to 0.0-3.2eecf5f.
---
 gnu/packages/potassco.scm | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)
diff mbox series

Patch

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"