GNU bug report logs - #69352
[PATCH 00/13] Update Clingo to 5.7.1, etc pp

Previous Next

Full log

View this message in rfc822 format

From: Liliana Marie Prikler <liliana.prikler <at> gmail.com>
To: 69352 <at> debbugs.gnu.org
Subject: [bug#69352] [PATCH 00/13] Update Clingo to 5.7.1, etc pp
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

Previous Next

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