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

Previous Next

Full log

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

Previous Next

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