[bug#78348,0/3] Update Clingo to 5.8.0

Message ID	cover.1746864628.git.liliana.prikler@gmail.com
Headers	Subject: [bug#78348] [PATCH 0/3] Update Clingo to 5.8.0 Resent-From: Liliana Marie Prikler <liliana.prikler@gmail.com> Original-Sender: "Debbugs-submit" <debbugs-submit-bounces@debbugs.gnu.org> Resent-CC: guix-patches@gnu.org Resent-Date: Sat, 10 May 2025 08:12:01 +0000 Resent-Message-ID: <handler.78348.B.17468647172637@debbugs.gnu.org> Resent-Sender: help-debbugs@gnu.org To: 78348@debbugs.gnu.org Message-ID: <cover.1746864628.git.liliana.prikler@gmail.com> From: Liliana Marie Prikler <liliana.prikler@gmail.com> Date: Sat, 10 May 2025 10:10:28 +0200 MIME-Version: 1.0 Received-SPF: pass client-ip=2a00:1450:4864:20::344; envelope-from=liliana.prikler@gmail.com; helo=mail-wm1-x344.google.com X-Spam_score_int: 1 X-Spam_score: 0.1 X-Spam_bar: / X-Spam_report: (0.1 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, FREEMAIL_FROM=0.001, MALFORMED_FREEMAIL=2.158, RCVD_IN_DNSWL_NONE=-0.0001, SPF_HELO_NONE=0.001, SPF_PASS=-0.001, T_MXG_LOWER_HDR_SPAM=0.01 autolearn=no autolearn_force=no X-Spam_action: no action Precedence: list Errors-To: guix-patches-bounces+patchwork=mira.cbaines.net@gnu.org Sender: guix-patches-bounces+patchwork=mira.cbaines.net@gnu.org X-getmail-retrieved-from-mailbox: Patches
Series	Update Clingo to 5.8.0 \| [bug#78348,0/3] Update Clingo to 5.8.0 [bug#78348,1/3] gnu: libpotassco: Update to 0.0-3.2eecf5f. [bug#78348,2/3] gnu: clasp: Update to 3.4.0. [bug#78348,3/3] gnu: clingo: Update to 5.8.0.

Message ID

cover.1746864628.git.liliana.prikler@gmail.com

Headers

Subject: [bug#78348] [PATCH 0/3] Update Clingo to 5.8.0
Resent-From: Liliana Marie Prikler <liliana.prikler@gmail.com>
Original-Sender: "Debbugs-submit" <debbugs-submit-bounces@debbugs.gnu.org>
Resent-CC: guix-patches@gnu.org
Resent-Date: Sat, 10 May 2025 08:12:01 +0000
Resent-Message-ID: <handler.78348.B.17468647172637@debbugs.gnu.org>
Resent-Sender: help-debbugs@gnu.org
To: 78348@debbugs.gnu.org
Message-ID: <cover.1746864628.git.liliana.prikler@gmail.com>
From: Liliana Marie Prikler <liliana.prikler@gmail.com>
Date: Sat, 10 May 2025 10:10:28 +0200
MIME-Version: 1.0
Received-SPF: pass client-ip=2a00:1450:4864:20::344;
 envelope-from=liliana.prikler@gmail.com; helo=mail-wm1-x344.google.com
X-Spam_score_int: 1
X-Spam_score: 0.1
X-Spam_bar: /
X-Spam_report: (0.1 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1,
 DKIM_VALID=-0.1,
 DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, FREEMAIL_FROM=0.001,
 MALFORMED_FREEMAIL=2.158, RCVD_IN_DNSWL_NONE=-0.0001, SPF_HELO_NONE=0.001,
 SPF_PASS=-0.001, T_MXG_LOWER_HDR_SPAM=0.01 autolearn=no autolearn_force=no
X-Spam_action: no action
X-BeenThere: debbugs-submit@debbugs.gnu.org
X-Mailman-Version: 2.1.18
Precedence: list
X-BeenThere: guix-patches@gnu.org
List-Id: <guix-patches.gnu.org>
List-Unsubscribe: <https://lists.gnu.org/mailman/options/guix-patches>,
 <mailto:guix-patches-request@gnu.org?subject=unsubscribe>
List-Archive: <https://lists.gnu.org/archive/html/guix-patches>
List-Post: <mailto:guix-patches@gnu.org>
List-Help: <mailto:guix-patches-request@gnu.org?subject=help>
List-Subscribe: <https://lists.gnu.org/mailman/listinfo/guix-patches>,
 <mailto:guix-patches-request@gnu.org?subject=subscribe>
Errors-To: guix-patches-bounces+patchwork=mira.cbaines.net@gnu.org
Sender: guix-patches-bounces+patchwork=mira.cbaines.net@gnu.org
X-getmail-retrieved-from-mailbox: Patches

Series

Update Clingo to 5.8.0 |

Message

Liliana Marie Prikler May 10, 2025, 8:10 a.m. UTC

  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