GNU bug report logs - #59799
[PATCH 0/2] Add scasp

Previous Next

Full log

View this message in rfc822 format

From: help-debbugs <at> gnu.org (GNU bug Tracking System)
To: Liliana Marie Prikler <liliana.prikler <at> gmail.com>
Cc: tracker <at> debbugs.gnu.org
Subject: bug#59799: closed ([PATCH 0/2] Add scasp)
Date: Sun, 12 Mar 2023 13:10:02 +0000

[Message part 1 (text/plain, inline)]

Your message dated Sun, 12 Mar 2023 14:09:05 +0100
with message-id <a5241188b8649cced0b350bc374b4101ff4226be.camel <at> 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 <at> gnu.org.)


-- 
59799: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=59799
GNU Bug Tracking System
Contact help-debbugs <at> gnu.org with problems

[Message part 2 (message/rfc822, inline)]

From: Liliana Marie Prikler <liliana.prikler <at> gmail.com>
To: guix-patches <at> gnu.org
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

[Message part 3 (message/rfc822, inline)]

From: Liliana Marie Prikler <liliana.prikler <at> gmail.com>
To: 59799-done <at> debbugs.gnu.org
Subject: Re: [PATCH v2 2/2] gnu: Add scasp.
Date: Sun, 12 Mar 2023 14:09:05 +0100

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

Previous Next

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