From 612ed88b10d21d27473861340144cc2e98d3b2ca Mon Sep 17 00:00:00 2001 From: Brett Gilio Date: Fri, 7 Aug 2020 20:56:47 -0500 Subject: gnu: swi-prolog: Update to 8.3.5. * gnu/packages/prolog.scm (swi-prolog): Update to 8.3.5. --- gnu/packages/prolog.scm | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'gnu/packages') diff --git a/gnu/packages/prolog.scm b/gnu/packages/prolog.scm index 18c51a7c94..86b4bd2107 100644 --- a/gnu/packages/prolog.scm +++ b/gnu/packages/prolog.scm @@ -86,7 +86,7 @@ (define-public gprolog (define-public swi-prolog (package (name "swi-prolog") - (version "8.3.4") + (version "8.3.5") (source (origin (method git-fetch) (uri (git-reference @@ -96,7 +96,7 @@ (define-public swi-prolog (file-name (git-file-name name version)) (sha256 (base32 - "1r8ypnm8vd2si5wsc9f9i612967l9pdd57bdq4n29mjnl18wznfr")))) + "14dga0gja45x1717fp1bwgf96nzc0zgb8x1lha0pb46jg1raa2da")))) (build-system cmake-build-system) (arguments `(#:parallel-build? #t -- cgit v1.2.3