--- 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 ---