Updated swipl devel to 9.3.14

[JanWielemaker]

No description provided.

[github-actions]

Diff for 7866619:

diff --git a/_bashbrew-cat b/_bashbrew-cat
index 3372248..a88d9e8 100644
--- a/_bashbrew-cat
+++ b/_bashbrew-cat
@@ -1,10 +1,10 @@
 Maintainers: Jan Wielemaker <[email protected]> (@JanWielemaker), Dave Curylo <[email protected]> (@ninjarobot)
 Architectures: amd64, arm32v7, arm64v8
 GitRepo: https://github.com/SWI-Prolog/docker-swipl.git
-GitCommit: 41c7a6d8b4a2911094195160c456bd88c70f821c
+GitCommit: 46c4d9b88ef1286c423af6b1fdc0ad00d00638bb
 
-Tags: latest, 9.3.13
-Directory: 9.3.13/bookworm
+Tags: latest, 9.3.14
+Directory: 9.3.14/bookworm
 
 Tags: stable, 9.2.8
 Directory: 9.2.8/bookworm
diff --git a/_bashbrew-list b/_bashbrew-list
index d23868b..50fd26f 100644
--- a/_bashbrew-list
+++ b/_bashbrew-list
@@ -1,4 +1,4 @@
 swipl:9.2.8
-swipl:9.3.13
+swipl:9.3.14
 swipl:latest
 swipl:stable
diff --git a/_bashbrew-list-build-order b/_bashbrew-list-build-order
index 2b10082..6c874d6 100644
--- a/_bashbrew-list-build-order
+++ b/_bashbrew-list-build-order
@@ -1,2 +1,2 @@
 swipl:9.2.8
-swipl:9.3.13
+swipl:9.3.14
diff --git a/swipl_9.2.8/Dockerfile b/swipl_9.2.8/Dockerfile
index 9f403bf..d543ddb 100644
--- a/swipl_9.2.8/Dockerfile
+++ b/swipl_9.2.8/Dockerfile
@@ -67,7 +67,7 @@ RUN set -eux; \
     install_addin prosqlite https://github.com/nicos-angelopoulos/prosqlite.git 95aba2a5c156b831cf2bcfd387f65a9b470280e4; \
     # C++ packages are currently incompatible with 32 bit.  Must be upgraded to SWI-cpp2.h when stable.
     # libgeos-dev of Debian bookworm is broken: the library does not define the Coordinate constructors nor the inline code to avoid calling these.
-    # [ "$dpkgArch" = 'armhf' ] || [ "$dpkgArch" = 'armel' ] || install_addin space https://github.com/JanWielemaker/space.git 097687c7b67902704b03f095cc2f1e9.3.91e700; \
+    # [ "$dpkgArch" = 'armhf' ] || [ "$dpkgArch" = 'armel' ] || install_addin space https://github.com/JanWielemaker/space.git 097687c7b67902704b03f095cc2f1e943181e700; \
     [ "$dpkgArch" = 'armhf' ] || [ "$dpkgArch" = 'armel' ] || install_addin rocksdb https://github.com/JanWielemaker/rocksdb.git a63f1f5650e44c7d40401ed5a8b689aa1caca635; \
     [ "$dpkgArch" = 'armhf' ] || [ "$dpkgArch" = 'armel' ] || install_addin hdt https://github.com/JanWielemaker/hdt.git 7f2221747ea751a20ad0d7b95aebfd2c99649c1f; \
     [ "$dpkgArch" = 'armhf' ] || [ "$dpkgArch" = 'armel' ] || install_addin rserve_client https://github.com/JanWielemaker/rserve_client.git bdf8962264d65dd8ef6eedf5f00ff0c0f6c52c2f; \
diff --git a/swipl_9.3.13/Dockerfile b/swipl_9.3.14/Dockerfile
similarity index 95%
rename from swipl_9.3.13/Dockerfile
rename to swipl_9.3.14/Dockerfile
index 8fa6bfe..323faa4 100644
--- a/swipl_9.3.13/Dockerfile
+++ b/swipl_9.3.14/Dockerfile
@@ -27,8 +27,8 @@ RUN apt-get update && \
     rm -rf /var/lib/apt/lists/*
 ENV LANG C.UTF-8
 RUN set -eux; \
-    SWIPL_VER=9.3.13; \
-    SWIPL_CHECKSUM=4740456f7b22aab52d81bacb4c8a3370c717ba7996ad93d752b0c6474562a6ce; \
+    SWIPL_VER=9.3.14; \
+    SWIPL_CHECKSUM=81f73e13afdb3a191bea9238730884a34222cf424f92fe1255d455ebbe127224; \
     # Removed libgeos-dev libspatialindex-dev because the space pack cannot be built
     BUILD_DEPS='make cmake ninja-build gcc g++ wget git pkg-config m4 libtool automake autoconf libarchive-dev libgmp-dev libossp-uuid-dev libpcre2-dev libreadline-dev libedit-dev libssl-dev zlib1g-dev libdb-dev unixodbc-dev libsqlite3-dev libserd-dev libraptor2-dev libyaml-dev libgoogle-perftools-dev libpython3-dev'; \
     dpkgArch="$(dpkg --print-architecture)"; \
@@ -67,7 +67,7 @@ RUN set -eux; \
     install_addin prosqlite https://github.com/nicos-angelopoulos/prosqlite.git 95aba2a5c156b831cf2bcfd387f65a9b470280e4; \
     # C++ packages are currently incompatible with 32 bit.  Must be upgraded to SWI-cpp2.h when stable.
     # libgeos-dev of Debian bookworm is broken: the library does not define the Coordinate constructors nor the inline code to avoid calling these.
-    # [ "$dpkgArch" = 'armhf' ] || [ "$dpkgArch" = 'armel' ] || install_addin space https://github.com/JanWielemaker/space.git 097687c7b67902704b03f095cc2f1e9.3.91e700; \
+    # [ "$dpkgArch" = 'armhf' ] || [ "$dpkgArch" = 'armel' ] || install_addin space https://github.com/JanWielemaker/space.git 097687c7b67902704b03f095cc2f1e943181e700; \
     [ "$dpkgArch" = 'armhf' ] || [ "$dpkgArch" = 'armel' ] || install_addin rocksdb https://github.com/JanWielemaker/rocksdb.git a63f1f5650e44c7d40401ed5a8b689aa1caca635; \
     [ "$dpkgArch" = 'armhf' ] || [ "$dpkgArch" = 'armel' ] || install_addin hdt https://github.com/JanWielemaker/hdt.git 7f2221747ea751a20ad0d7b95aebfd2c99649c1f; \
     [ "$dpkgArch" = 'armhf' ] || [ "$dpkgArch" = 'armel' ] || install_addin rserve_client https://github.com/JanWielemaker/rserve_client.git bdf8962264d65dd8ef6eedf5f00ff0c0f6c52c2f; \

Relevant Maintainers:

• swipl: @JanWielemaker @ninjarobot