bug#59799: closed ([PATCH 0/2] Add scasp)

[GNU bug Tracking System]

Your message dated Sun, 12 Mar 2023 14:09:05 +0100
with message-id <a5241188b8649cced0b350bc374b4101ff4226be.camel@gmail.com>
and subject line Re: [PATCH v2 2/2] gnu: Add scasp.
has caused the debbugs.gnu.org bug report #59799,
regarding [PATCH 0/2] Add scasp
to be marked as done.

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


-- 
59799: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=59799
GNU Bug Tracking System
Contact help-debbugs@gnu.org with problems
> --- Begin Message ---
>
>
>
> Subject: 
>
> [PATCH 0/2] Add scasp
>
>
>
>
> Date: 
>
> Sat, 3 Dec 2022 10:23:22 +0100
>
>
>
>
> Hi Guix,
>
> this series adds scasp (the SWI Prolog implementation anyway), a
> prolog-based ASP interpreter/solver.
>
> Cheers
>
> Liliana Marie Prikler (2):
>   gnu: swi-prolog: Update to 9.1.0.
>   gnu: Add scasp.
>
>  gnu/packages/maths.scm  | 37 +++++++++++++++++++++++++++++++++++++
>  gnu/packages/prolog.scm |  4 ++--
>  2 files changed, 39 insertions(+), 2 deletions(-)
>
>
> base-commit: 9e9204958d3e0ecfe8fd024d8f06068b84f52ba1
> -- 
> 2.38.1
>
>
>
>
> --- End Message ---
> --- Begin Message ---
>
>
>
> Subject: 
>
> Re: [PATCH v2 2/2] gnu: Add scasp.
>
>
>
>
> Date: 
>
> Sun, 12 Mar 2023 14:09:05 +0100
>
>
>
>
> User-agent: 
>
> Evolution 3.46.0 
>
>
>
>
> Am Sonntag, dem 12.03.2023 um 09:15 +0100 schrieb Liliana Marie
> Prikler:
> > Am Samstag, dem 03.12.2022 um 10:18 +0100 schrieb Liliana Marie
> > Prikler:
> > > * gnu/packages/maths.scm (scasp): New variable.
> > > ---
> > Pushed, but I'm leaving this open to get CI gears turning and
> > actually report errors.
> CI hath spoken: swi-prolog fails for i686, but so it does on staging
> where it's still on an older version.  The other builds seem to
> succeed.
>
> Cheers
>
>
> --- End Message ---