Subject: [PATCH 00/13] Update Clingo to 5.7.1, etc pp

From: Liliana Marie Prikler <[email-masked]>
Date: Sat, 24 Feb 2024 11:41:34 +0100

Hi Guix,

this series updates Clingo and the rest of our potassco stuff
to the newest version.  There is one exception, python-clinguin,
which would require deeeeeeeeeep cuts into our current python
ecosystem and next to juggling emacs-team and gnome-team I don't
want to open that box of Pandora.

Cheers

Liliana Marie Prikler (13):
  gnu: Add wide-integer.
  gnu: python-scikit-build: Install cmake modules.
  gnu: libpotassco: Update to 0.0-2.69b677f.
  gnu: clasp: Update to 3.3.10.
  gnu: clingo: Update to 5.7.1.
  gnu: clingo: Build from actual sources.
  gnu: clingo-dl: Update to 1.5.0.
  gnu: python-clingo: Fix build.
  gnu: python-clingo-dl: Fix build.
  gnu: python-clorm: Update to 1.5.0.
  gnu: python-plingo: Update to 1.1.0.
  gnu: python-telingo: Update to 2.1.3.
  gnu: python: python-scikit-build: Add more non-deterministic test
    failures.

 gnu/local.mk                                  |  1 -
 gnu/packages/cpp.scm                          | 31 +++++++++++
 .../python-telingo-fix-comparison.patch       | 19 -------
 gnu/packages/potassco.scm                     | 55 ++++++++++++-------
 gnu/packages/python-xyz.scm                   | 13 ++++-
 5 files changed, 78 insertions(+), 41 deletions(-)
 delete mode 100644 gnu/packages/patches/python-telingo-fix-comparison.patch

base-commit: c0f88cd18649c31c75bcddf8247b14ef3e3a66a5
-- 
2.41.0