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

Previous Next

Package: guix-patches;

Reported by: Liliana Marie Prikler <liliana.prikler <at> gmail.com>

Date: Sat, 3 Dec 2022 09:53:02 UTC

Severity: normal

Tags: patch

Done: Liliana Marie Prikler <liliana.prikler <at> gmail.com>

Bug is archived. No further changes may be made.

Full log

Message #14 received at 59799 <at> debbugs.gnu.org (full text, mbox):

From: Liliana Marie Prikler <liliana.prikler <at> gmail.com>
To: 59799 <at> debbugs.gnu.org
Subject: [PATCH v2 1/2] gnu: swi-prolog: Update to 8.5.20.
Date: Mon, 27 Feb 2023 21:13:54 +0100

* gnu/packages/prolog.scm (swi-prolog): Update to 8.5.20.
---
Since Prolog 9 failed on CI way back when, let's try an earlier version.

 gnu/packages/prolog.scm | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/gnu/packages/prolog.scm b/gnu/packages/prolog.scm
index 6aa01ce871..0f2ad25a49 100644
--- a/gnu/packages/prolog.scm
+++ b/gnu/packages/prolog.scm
@@ -87,7 +87,7 @@ (define-public gprolog
 (define-public swi-prolog
   (package
     (name "swi-prolog")
-    (version "8.3.20")
+    (version "8.5.20")
     (source (origin
               (method git-fetch)
               (uri (git-reference
@@ -97,7 +97,7 @@ (define-public swi-prolog
               (file-name (git-file-name name version))
               (sha256
                (base32
-                "1g0v9cmz8zvzc1n0si7sn6522xwzbhj2b8967ibs6prinrpjc8d6"))))
+                "0vwxk5fy2mxj6538knkqvqhwy1674xh2zkdqdmbzkxf6mj969d7m"))))
     (build-system cmake-build-system)
     (arguments
      `(#:parallel-build? #t
-- 
2.39.1
This bug report was last modified 2 years and 74 days ago.

Previous Next

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