Subject: [PATCH 0/3] Update Clingo to 5.8.0
From: Liliana Marie Prikler <[email-masked]>
To: [email-masked]
Date: Sat, 10 May 2025 10:10:28 +0200
List-Id: <debbugs-submit.debbugs.gnu.org>

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