diff options
Diffstat (limited to 'gnu/packages/prolog.scm')
-rw-r--r-- | gnu/packages/prolog.scm | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/gnu/packages/prolog.scm b/gnu/packages/prolog.scm index a5e68964f9..bdef2f2d7f 100644 --- a/gnu/packages/prolog.scm +++ b/gnu/packages/prolog.scm @@ -92,7 +92,7 @@ manner. It also features an interactive interpreter.") (define-public swi-prolog (package (name "swi-prolog") - (version "8.5.20") + (version "9.3.8") (source (origin (method git-fetch) (uri (git-reference @@ -102,7 +102,7 @@ manner. It also features an interactive interpreter.") (file-name (git-file-name name version)) (sha256 (base32 - "0vwxk5fy2mxj6538knkqvqhwy1674xh2zkdqdmbzkxf6mj969d7m")))) + "1q2dg7n3vf0qc9nxppbcqgbzj4rcjw8sv2vbg9s6i4ixxlsxr5y3")))) (build-system cmake-build-system) (arguments `(#:parallel-build? #t @@ -180,7 +180,7 @@ it.") (define-public trealla (package (name "trealla") - (version "2.53.10") + (version "2.55.22") (source (origin (method git-fetch) @@ -189,7 +189,7 @@ it.") (url "https://github.com/trealla-prolog/trealla") (commit (string-append "v" version)))) (sha256 - (base32 "15lbzbqsam4832jnynsj7ksn17xrwqwdhs66ajpi4jf8hy4bqh15")) + (base32 "1yb69gaiigyin520qnmvzr9g9n66f6chya1mgxvv2a49nj59bcxa")) (file-name (git-file-name name version)))) (build-system gnu-build-system) (native-inputs |