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

Previous Next

To reply to this bug, email your comments to 78348 AT debbugs.gnu.org.
There is no need to reopen the bug first.

Toggle the display of automated, internal messages from the tracker.

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

From: Liliana Marie Prikler <liliana.prikler <at> gmail.com>
To: guix-patches <at> gnu.org
Subject: [PATCH 0/3] Update Clingo to 5.8.0
Date: Sat, 10 May 2025 10:10:28 +0200

Hi Guix,

this series updates Clingo to 5.8.0.  Dependent packages appear to
build, but I haven't done extensive testing on them yet.

Cheers

Liliana Marie Prikler (3):
  gnu: libpotassco: Update to 0.0-3.2eecf5f.
  gnu: clasp: Update to 3.4.0.
  gnu: clingo: Update to 5.8.0.

 gnu/packages/potassco.scm | 14 +++++++-------
 1 file changed, 7 insertions(+), 7 deletions(-)


base-commit: 4dc097364762e680f0be5666fa41704975d5eb31
-- 
2.49.0

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

Message #11 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 2/3] gnu: clasp: Update to 3.4.0.
Date: Sat, 10 May 2025 09:06:18 +0200

* gnu/packages/potassco.scm (clasp): Update to 3.4.0.
---
 gnu/packages/potassco.scm | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/gnu/packages/potassco.scm b/gnu/packages/potassco.scm
index edc7ac6d66d..282b15a2329 100644
--- a/gnu/packages/potassco.scm
+++ b/gnu/packages/potassco.scm
@@ -106,7 +106,7 @@ (define-public libpotassco
 (define-public clasp
   (package
     (name "clasp")
-    (version "3.3.10")
+    (version "3.4.0")
     (source (origin
               (method git-fetch)
               (uri (git-reference
@@ -116,7 +116,7 @@ (define-public clasp
               (patches (search-patches "clasp-hide-event-ids.patch"))
               (sha256
                (base32
-                "0qap7rar8a5mkqz28n2hnvr4cfv5x0rh4zs3wdp919dw4d034chr"))))
+                "0sid9wks19h5slrpkm8qw0gsxlyq1g2vf4aznqapr777rws9d9b6"))))
     (build-system cmake-build-system)
     (arguments
      `(#:configure-flags '("-DCLASP_BUILD_TESTS=on"
-- 
2.49.0

Message #14 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 3/3] gnu: clingo: Update to 5.8.0.
Date: Sat, 10 May 2025 09:06:26 +0200

* gnu/packages/potassco.scm (clingo): Update to 5.8.0.
---
 gnu/packages/potassco.scm | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/gnu/packages/potassco.scm b/gnu/packages/potassco.scm
index 282b15a2329..9c6f42bdec6 100644
--- a/gnu/packages/potassco.scm
+++ b/gnu/packages/potassco.scm
@@ -150,7 +150,7 @@ (define-public clasp
 (define-public clingo
   (package
     (name "clingo")
-    (version "5.7.1")
+    (version "5.8.0")
     (source (origin
               (method git-fetch)
               (uri (git-reference
@@ -166,7 +166,7 @@ (define-public clingo
                    (delete-file "libpyclingo/_clingo.c")))
               (sha256
                (base32
-                "1mxl3gwx55sf2ifcb92mfy989c50yqpnq0d0r2mxdqr0riy40hjb"))))
+                "08jpjz2fgq59d78xpwq03dxrdcxwzf5z6crqwn6qdarb0wcdc5sn"))))
     (build-system cmake-build-system)
     (arguments
      (list
-- 
2.49.0

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

From: Liliana Marie Prikler <liliana.prikler <at> gmail.com>
To: 78348-done <at> debbugs.gnu.org
Subject: Re: [PATCH 3/3] gnu: clingo: Update to 5.8.0.
Date: Sat, 17 May 2025 13:44:47 +0200

Am Samstag, dem 10.05.2025 um 09:06 +0200 schrieb Liliana Marie
Prikler:
> * gnu/packages/potassco.scm (clingo): Update to 5.8.0.
> ---
Pushed as 9f3d8dbda60bb1dd15d2956c334354947df8b3f5.

Previous Next

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