Updated swipl devel to 9.3.13

[JanWielemaker]

No description provided.

[github-actions]

Diff for 0b0e321:

diff --git a/_bashbrew-cat b/_bashbrew-cat
index 42e4ad9..1e1cdc5 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: c4ed88e26af240b60a82a3aebe1844f5590b0fef
+GitCommit: 10c9028b9ae784dcf50efad271084887c470b150
 
-Tags: latest, 9.3.11
-Directory: 9.3.11/bookworm
+Tags: latest, 9.3.13
+Directory: 9.3.13/bookworm
 
 Tags: stable, 9.2.7
 Directory: 9.2.7/bookworm
diff --git a/_bashbrew-list b/_bashbrew-list
index 30c426e..9207ff5 100644
--- a/_bashbrew-list
+++ b/_bashbrew-list
@@ -1,4 +1,4 @@
 swipl:9.2.7
-swipl:9.3.11
+swipl:9.3.13
 swipl:latest
 swipl:stable
diff --git a/_bashbrew-list-build-order b/_bashbrew-list-build-order
index 3aace16..5118574 100644
--- a/_bashbrew-list-build-order
+++ b/_bashbrew-list-build-order
@@ -1,2 +1,2 @@
 swipl:9.2.7
-swipl:9.3.11
+swipl:9.3.13
diff --git a/swipl_9.3.11/Dockerfile b/swipl_9.3.13/Dockerfile
similarity index 97%
rename from swipl_9.3.11/Dockerfile
rename to swipl_9.3.13/Dockerfile
index 2fc65f5..8fa6bfe 100644
--- a/swipl_9.3.11/Dockerfile
+++ b/swipl_9.3.13/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.11; \
-    SWIPL_CHECKSUM=b8bffac671ee031ee34d033c168fed0a6f4ea0a906e2a13f5a19f00b59cd4b55; \
+    SWIPL_VER=9.3.13; \
+    SWIPL_CHECKSUM=4740456f7b22aab52d81bacb4c8a3370c717ba7996ad93d752b0c6474562a6ce; \
     # 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)"; \

Relevant Maintainers:

• swipl: @JanWielemaker @ninjarobot