bug#69352: closed ([PATCH 00/13] Update Clingo to 5.7.1, etc pp)

[GNU bug Tracking System]

Your message dated Tue, 5 Mar 2024 10:21:17 +0200
with message-id <ZebV_UtLKT0FroaR@3900XT>
and subject line Re: [bug#69352] [PATCH 00/13] Update Clingo to 5.7.1, etc pp
has caused the debbugs.gnu.org bug report #69352,
regarding [PATCH 00/13] Update Clingo to 5.7.1, etc pp
to be marked as done.

(If you believe you have received this mail in error, please contact
help-debbugs@gnu.org.)


-- 
69352: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=69352
GNU Bug Tracking System
Contact help-debbugs@gnu.org with problems
> --- Begin Message ---
>
>
>
> Subject: 
>
> [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
>
>
>
>
> --- End Message ---

--- Begin Message --- Subject: Re: [bug#69352] [PATCH 00/13] Update Clingo to 5.7.1, etc pp Date: Tue, 5 Mar 2024 10:21:17 +0200

These patches are applied to master. Closing!

-- 
Efraim Flashner   <efraim@flashner.co.il>   רנשלפ םירפא
GPG key = A28B F40C 3E55 1372 662D  14F7 41AA E7DC CA3D 8351
Confidentiality cannot be guaranteed on emails sent or received unencrypted

signature.asc
Description: PGP signature

--- End Message ---