aboutsummaryrefslogtreecommitdiff
path: root/gnu/packages/prolog.scm
diff options
context:
space:
mode:
Diffstat (limited to 'gnu/packages/prolog.scm')
-rw-r--r--gnu/packages/prolog.scm4
1 files changed, 2 insertions, 2 deletions
diff --git a/gnu/packages/prolog.scm b/gnu/packages/prolog.scm
index 9e0fe2a829..a5c57cd37c 100644
--- a/gnu/packages/prolog.scm
+++ b/gnu/packages/prolog.scm
@@ -86,7 +86,7 @@ manner. It also features an interactive interpreter.")
(define-public swi-prolog
(package
(name "swi-prolog")
- (version "8.3.10")
+ (version "8.3.20")
(source (origin
(method git-fetch)
(uri (git-reference
@@ -96,7 +96,7 @@ manner. It also features an interactive interpreter.")
(file-name (git-file-name name version))
(sha256
(base32
- "15q40qpxz472lp190zbk0lyap2xgaxzib55l0c3qwgf9haz46j1p"))))
+ "1g0v9cmz8zvzc1n0si7sn6522xwzbhj2b8967ibs6prinrpjc8d6"))))
(build-system cmake-build-system)
(arguments
`(#:parallel-build? #t
0'>2021-10-28gnu: lightdm-gtk-greeter: Update to 2.0.8...This also fixes the build. Before configure failed with the following error: checking for exo-csource... no configure: error: in `/tmp/guix-build-lightdm-gtk-greeter-2.0.7.drv-0/lightdm-gtk-greeter-2.0.7': configure: error: exo-csource not installed * gnu/packages/display-managers.scm (lightdm): update to 2.0.8 Signed-off-by: Ludovic Courtès <ludo@gnu.org> Denis 'GNUtoo' Carikli 2021-09-03gnu: sddm: Refer to the 'shadow' input....This change was suggested by Ludovic Courtès <ludo@gnu.org> to allow users to replace the shadow input in the package. * gnu/packages/display-manager.scm (sddm)[arguments]: In configure-flags refer to the shadow package that is an input. Efraim Flashner 2021-09-02gnu: sddm: Fix build....* gnu/packages/display-managers.scm (sddm)[arguments]: Use gexp for configure-flags. Efraim Flashner 2021-06-19Merge branch 'master' into core-updates...Note: this merge actually changes the 'curl' and 'python-attrs' derivations, as part of solving caf4a7a2770ef4d05a6e18f40d602e51da749ddc and 12964df69a99de6190422c752fef65ef813f3b6b respectively. 4604d43c0e (gnu: gnutls@3.6.16: Fix cross-compilation.) was ignored because it cannot currently be tested. Conflicts: gnu/local.mk gnu/packages/aidc.scm gnu/packages/boost.scm gnu/packages/curl.scm gnu/packages/nettle.scm gnu/packages/networking.scm gnu/packages/python-xyz.scm gnu/packages/tls.scm Marius Bakke 2021-06-14gnu: Rename qtbase to qtbase-5....This change was automated via the following command: $ git ls-files | xargs sed -i 's/,qtbase)/,qtbase-5)/g' $ git ls-files | xargs sed -i 's/inherit qtbase)/inherit qtbase-5)/g' $ git ls-files | xargs sed -i 's/package-version qtbase)/package-version qtbase-5)/g' $ git checkout etc # to clear some spurious changes This is done so the qtbase package can be upgraded to version 6 in the following commit. Maxim Cournoyer 2021-03-06Merge branch 'master' into core-updatesChristopher Baines 2021-02-25gnu: Add chili-sddm-theme....* gnu/packages/display-managers.scm (chili-sddm-theme): New variable. Signed-off-by: Ludovic Courtès <ludo@gnu.org> Zheng Junjie