unofficial mirror of guix-patches@gnu.org 
 help / color / mirror / code / Atom feed
* [bug#69352] [PATCH 00/13] Update Clingo to 5.7.1, etc pp
@ 2024-02-24 10:41 Liliana Marie Prikler
  2024-02-24  6:56 ` [bug#69352] [PATCH 01/13] gnu: Add wide-integer Liliana Marie Prikler
                   ` (13 more replies)
  0 siblings, 14 replies; 15+ messages in thread
From: Liliana Marie Prikler @ 2024-02-24 10:41 UTC (permalink / raw)
  To: 69352

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





^ permalink raw reply	[flat|nested] 15+ messages in thread

end of thread, other threads:[~2024-03-05  8:23 UTC | newest]

Thread overview: 15+ messages (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2024-02-24 10:41 [bug#69352] [PATCH 00/13] Update Clingo to 5.7.1, etc pp Liliana Marie Prikler
2024-02-24  6:56 ` [bug#69352] [PATCH 01/13] gnu: Add wide-integer Liliana Marie Prikler
2024-02-24  6:57 ` [bug#69352] [PATCH 02/13] gnu: python-scikit-build: Install cmake modules Liliana Marie Prikler
2024-02-24  7:51 ` [bug#69352] [PATCH 03/13] gnu: libpotassco: Update to 0.0-2.69b677f Liliana Marie Prikler
2024-02-24  7:52 ` [bug#69352] [PATCH 04/13] gnu: clasp: Update to 3.3.10 Liliana Marie Prikler
2024-02-24  7:54 ` [bug#69352] [PATCH 05/13] gnu: clingo: Update to 5.7.1 Liliana Marie Prikler
2024-02-24  7:54 ` [bug#69352] [PATCH 06/13] gnu: clingo: Build from actual sources Liliana Marie Prikler
2024-02-24  7:55 ` [bug#69352] [PATCH 07/13] gnu: clingo-dl: Update to 1.5.0 Liliana Marie Prikler
2024-02-24  7:56 ` [bug#69352] [PATCH 08/13] gnu: python-clingo: Fix build Liliana Marie Prikler
2024-02-24  7:57 ` [bug#69352] [PATCH 09/13] gnu: python-clingo-dl: " Liliana Marie Prikler
2024-02-24  7:58 ` [bug#69352] [PATCH 10/13] gnu: python-clorm: Update to 1.5.0 Liliana Marie Prikler
2024-02-24  7:59 ` [bug#69352] [PATCH 12/13] gnu: python-telingo: Update to 2.1.3 Liliana Marie Prikler
2024-02-24  8:01 ` [bug#69352] [PATCH 11/13] gnu: python-plingo: Update to 1.1.0 Liliana Marie Prikler
2024-02-24  9:17 ` [bug#69352] [PATCH OPTIONAL 13/13] gnu: python: python-scikit-build: Add more non-deterministic test failures Liliana Marie Prikler
2024-03-05  8:21 ` bug#69352: [PATCH 00/13] Update Clingo to 5.7.1, etc pp Efraim Flashner

Code repositories for project(s) associated with this public inbox

	https://git.savannah.gnu.org/cgit/guix.git

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).