diff --git a/gap-4.12.2-core.tar.gz b/gap-4.12.2-core.tar.gz
deleted file mode 100644
index ce3a975..0000000
--- a/gap-4.12.2-core.tar.gz
+++ /dev/null
@@ -1,3 +0,0 @@
-version https://git-lfs.github.com/spec/v1
-oid sha256:5d73e77f0b2bbe8dd0233dfad48666aeb1fcbffd84c5dbb58c8ea2a8dd9687b5
-size 37671069
diff --git a/gap-4.13.0-core.tar.gz b/gap-4.13.0-core.tar.gz
new file mode 100644
index 0000000..d4039f5
--- /dev/null
+++ b/gap-4.13.0-core.tar.gz
@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:6e6433b56c43ac4b2dab098bfb146dae1cb0dab62ae48a1a2144354af239c121
+size 38666910
diff --git a/gap.changes b/gap.changes
index 49dd66e..8b550ab 100644
--- a/gap.changes
+++ b/gap.changes
@@ -1,3 +1,18 @@
+-------------------------------------------------------------------
+Sat Mar 23 22:12:54 UTC 2024 - Jan Engelhardt <jengelh@inai.de>
+
+- Update to release 4.13
+  * Change gac to respect CC and CXX environment variables if set
+    (to override the C/C++ compiler it invokes)
+  * Support package extensions (see the manual section
+    "Extensions Provided by a Package")
+  * Use gap-anupq package for computing isomorphism of p-groups
+    if it is available
+  * Speed up ``AsList``, ``AsSet`` and ``ElementsStabChain`` for
+    permutation groups, by not sorting the list returned by
+    ``ElementsStabChain`` (in accordance with its documentation,
+    which never promised this)
+
 -------------------------------------------------------------------
 Wed Jan 31 19:10:01 UTC 2024 - Jan Engelhardt <jengelh@inai.de>
 
diff --git a/gap.spec b/gap.spec
index e86d285..3c0c174 100644
--- a/gap.spec
+++ b/gap.spec
@@ -17,7 +17,7 @@
 
 
 Name:           gap
-Version:        4.12.2
+Version:        4.13.0
 Release:        0
 Summary:        System for Computational Discrete Algebra
 License:        GPL-2.0-or-later
@@ -42,7 +42,7 @@ Requires:       gap-primgrp >= 3.4.3
 Requires:       gap-smallgrp >= 1.5.1
 Requires:       gap-transgrp >= 3.6.3
 
-%define lname libgap8
+%define lname libgap9
 %global gap_sitearch %_libdir/gap/pkg
 %global gap_sitelib  %_datadir/gap/pkg
 
@@ -92,162 +92,163 @@ Summary:        Metapackage to cause installation of the GAP Distribution
 Group:          Metapackages
 BuildArch:      noarch
 Requires:       gap >= %version
-Requires:       gap-4ti2interface >= 2022.09.01
-Requires:       gap-ace >= 5.6.1
+Requires:       gap-4ti2interface >= 2023.02.04
+Requires:       gap-ace >= 5.6.2
 Requires:       gap-aclib >= 1.3.2
-Requires:       gap-agt >= 0.2
+Requires:       gap-agt >= 0.3.1
 Requires:       gap-alnuth >= 3.2.1
-Requires:       gap-anupq >= 3.2.6
-Requires:       gap-atlasrep >= 2.1.6
-Requires:       gap-autodoc >= 2022.10.20
+Requires:       gap-anupq >= 3.3.0
+Requires:       gap-atlasrep >= 2.1.8
+Requires:       gap-autodoc >= 2023.06.19
 Requires:       gap-automata >= 1.15
 Requires:       gap-automgrp >= 1.3.2
 Requires:       gap-autpgrp >= 1.11
-Requires:       gap-browse >= 1.8.19
-Requires:       gap-cap >= 2022.12.11
-Requires:       gap-caratinterface >= 2.3.4
+Requires:       gap-browse >= 1.8.21
+Requires:       gap-cap >= 2024.03.02
+Requires:       gap-caratinterface >= 2.3.6
 Requires:       gap-cddinterface >= 2022.11.01
-Requires:       gap-circle >= 1.6.5
+Requires:       gap-circle >= 1.6.6
 Requires:       gap-classicpres >= 1.22
-Requires:       gap-cohomolo >= 1.6.10
-Requires:       gap-congruence >= 1.2.4
+Requires:       gap-cohomolo >= 1.6.11
+Requires:       gap-congruence >= 1.2.5
 Requires:       gap-corelg >= 1.56
 Requires:       gap-crime >= 1.6
 Requires:       gap-crisp >= 1.4.6
 Requires:       gap-crypting >= 0.10.4
-Requires:       gap-cryst >= 4.1.25
+Requires:       gap-cryst >= 4.1.27
 Requires:       gap-crystcat >= 1.1.10
-Requires:       gap-ctbllib >= 1.3.4
+Requires:       gap-ctbllib >= 1.3.9
 Requires:       gap-cubefree >= 1.19
 Requires:       gap-curlinterface >= 2.3.1
-Requires:       gap-cvec >= 2.7.6
+Requires:       gap-cvec >= 2.8.1
 Requires:       gap-datastructures >= 0.3.0
 Requires:       gap-deepthought >= 1.0.6
-Requires:       gap-design >= 1.7
+Requires:       gap-design >= 1.8
 Requires:       gap-difsets >= 2.3.1
-Requires:       gap-digraphs >= 1.6.1
-Requires:       gap-edim >= 1.3.6
-Requires:       gap-example >= 4.3.2
-Requires:       gap-examplesforhomalg >= 2022.11.01
+Requires:       gap-digraphs >= 1.7.1
+Requires:       gap-edim >= 1.3.8
+Requires:       gap-example >= 4.3.4
+Requires:       gap-examplesforhomalg >= 2023.10.01
 Requires:       gap-factint >= 1.6.3
-Requires:       gap-ferret >= 1.0.9
-Requires:       gap-fga >= 1.4.0
-Requires:       gap-fining >= 1.5.4
-#ftbfs#Requires: gap-float >= 1.0.3
-Requires:       gap-format >= 1.4.3
+Requires:       gap-ferret >= 1.0.10
+Requires:       gap-fga >= 1.5.0
+Requires:       gap-fining >= 1.5.6
+Requires:       gap-float >= 1.0.4
+Requires:       gap-format >= 1.4.4
 Requires:       gap-forms >= 1.2.9
-Requires:       gap-fplsa >= 1.2.5
-Requires:       gap-fr >= 2.4.12
-#dependson jupyterkernel#Requires:       gap-francy >= 1.2.5
+Requires:       gap-fplsa >= 1.2.6
+Requires:       gap-fr >= 2.4.13
+#dependson jupyterkernel#Requires:       gap-francy >= 2.0.3
 Requires:       gap-fwtree >= 1.3
-Requires:       gap-gapdoc >= 1.6.6
-Requires:       gap-gauss >= 2022.11.01
-Requires:       gap-gaussforhomalg >= 2022.08.03
+Requires:       gap-gapdoc >= 1.6.7
+Requires:       gap-gauss >= 2023.02.04
+Requires:       gap-gaussforhomalg >= 2023.11.01
 Requires:       gap-gbnp >= 1.0.5
-Requires:       gap-generalizedmorphismsforcap >= 2022.12.01
+Requires:       gap-generalizedmorphismsforcap >= 2024.01.01
 Requires:       gap-genss >= 1.6.8
-Requires:       gap-gradedmodules >= 2022.09.02
-Requires:       gap-gradedringforhomalg >= 2022.11.01
+Requires:       gap-gradedmodules >= 2024.01.01
+Requires:       gap-gradedringforhomalg >= 2023.08.01
 Requires:       gap-grape >= 4.9.0
-Requires:       gap-groupoids >= 1.71
-Requires:       gap-grpconst >= 2.6.3
+Requires:       gap-groupoids >= 1.74
+Requires:       gap-grpconst >= 2.6.5
 Requires:       gap-guarana >= 0.96.3
-Requires:       gap-guava >= 3.17
-Requires:       gap-hap >= 1.47
+Requires:       gap-guava >= 3.18
+Requires:       gap-hap >= 1.62
 Requires:       gap-hapcryst >= 0.1.15
 Requires:       gap-hecke >= 1.5.3
-Requires:       gap-help >= 3.5
-Requires:       gap-homalg >= 2022.11.01
-Requires:       gap-homalgtocas >= 2022.11.02
-Requires:       gap-idrel >= 2.44
-Requires:       gap-images >= 1.3.1
+Requires:       gap-help >= 4.0
+Requires:       gap-homalg >= 2024.01.01
+Requires:       gap-homalgtocas >= 2023.11.01
+Requires:       gap-idrel >= 2.46
+Requires:       gap-images >= 1.3.2
 Requires:       gap-intpic >= 0.3.0
-Requires:       gap-io >= 4.8.0
-Requires:       gap-io_forhomalg >= 2022.11.01
+Requires:       gap-io >= 4.8.2
+Requires:       gap-io_forhomalg >= 2023.02.04
 Requires:       gap-irredsol >= 1.4.4
 Requires:       gap-itc >= 1.5.1
-Requires:       gap-json >= 2.1.1
-#notready#Requires: gap-jupyterkernel >= 1.4.1
+Requires:       gap-json >= 2.2.0
+#notready#Requires: gap-jupyterkernel >= 1.5.0
 #notready#Requires: gap-jupyterviz >= 1.5.6
-Requires:       gap-kan >= 1.34
-Requires:       gap-kbmag >= 1.5.10
-Requires:       gap-laguna >= 3.9.5
+Requires:       gap-kan >= 1.37
+Requires:       gap-kbmag >= 1.5.11
+Requires:       gap-laguna >= 3.9.6
 Requires:       gap-liealgdb >= 2.2.1
 Requires:       gap-liepring >= 2.8
 Requires:       gap-liering >= 2.4.2
-Requires:       gap-linearalgebraforcap >= 2022.12.04
-Requires:       gap-localizeringforhomalg >= 2022.11.01
+Requires:       gap-linearalgebraforcap >= 2024.02.02
+Requires:       gap-localizeringforhomalg >= 2023.10.01
 Requires:       gap-loops >= 3.4.3
 Requires:       gap-lpres >= 1.0.3
 Requires:       gap-majoranaalgebras >= 1.5.1
 Requires:       gap-mapclass >= 1.4.6
 Requires:       gap-matgrp >= 0.70
-Requires:       gap-matricesforhomalg >= 2022.12.01
-Requires:       gap-modisom >= 2.5.3
+Requires:       gap-matricesforhomalg >= 2024.02.01
+Requires:       gap-modisom >= 2.5.4
 # gap-modulepresentationsforcap requires a non-existent gap-complexesandfilteredobjectsforgap
-#Requires:      gap-modulepresentationsforcap >= 2022.12.01
-Requires:       gap-modules >= 2022.11.01
-Requires:       gap-monoidalcategories >= 2022.12.01
+#Requires:      gap-modulepresentationsforcap >= 2024.01.04
+Requires:       gap-modules >= 2024.01.01
+Requires:       gap-monoidalcategories >= 2024.02.04
 Requires:       gap-nconvex >= 2022.09.01
 Requires:       gap-nilmat >= 1.4.2
 Requires:       gap-nock >= 1.5
-Requires:       gap-normalizinterface >= 1.3.5
-Requires:       gap-nq >= 2.5.9
+Requires:       gap-normalizinterface >= 1.3.6
+Requires:       gap-nq >= 2.5.11
 Requires:       gap-numericalsgps >= 1.3.1
-Requires:       gap-openmath >= 11.5.2
+Requires:       gap-openmath >= 11.5.3
 Requires:       gap-orb >= 4.9.0
+#we have rpm#Requires:       gap-packagemanager >= 1.4.3
 #Needs separate gap-core built with openmpi and update-alternatives
-#Requires:      gap-pargap >= 1.4.0
+#Requires:      gap-pargap >= 1.4.3
 Requires:       gap-patternclass >= 2.4.3
-Requires:       gap-permut >= 2.0.4
+Requires:       gap-permut >= 2.0.5
 Requires:       gap-polenta >= 1.3.10
 Requires:       gap-polycyclic >= 2.16
-Requires:       gap-polymaking >= 0.8.6
-Requires:       gap-primgrp >= 3.4.3
-Requires:       gap-profiling >= 2.5.1
-Requires:       gap-qpa >= 1.34
-Requires:       gap-quagroup >= 1.8.3
+Requires:       gap-polymaking >= 0.8.7
+Requires:       gap-primgrp >= 3.4.4
+Requires:       gap-profiling >= 2.5.4
+Requires:       gap-qpa >= 1.35
+Requires:       gap-quagroup >= 1.8.4
 Requires:       gap-radiroot >= 2.9
 Requires:       gap-rcwa >= 4.7.1
 Requires:       gap-rds >= 1.8
 Requires:       gap-recog >= 1.4.2
-Requires:       gap-repndecomp >= 1.2.1
-Requires:       gap-repsn >= 3.1.0
+Requires:       gap-repndecomp >= 1.3.0
+Requires:       gap-repsn >= 3.1.2
 Requires:       gap-resclasses >= 4.7.3
-Requires:       gap-ringsforhomalg >= 2022.11.01
-Requires:       gap-sco >= 2022.09.01
-Requires:       gap-scscp >= 2.4.0
-Requires:       gap-semigroups >= 5.2.0
+Requires:       gap-ringsforhomalg >= 2023.11.02
+Requires:       gap-sco >= 2023.08.01
+Requires:       gap-scscp >= 2.4.2
+Requires:       gap-semigroups >= 5.3.7
 Requires:       gap-sglppow >= 2.3
 Requires:       gap-sgpviz >= 0.999.5
 Requires:       gap-simpcomp >= 2.1.14
-Requires:       gap-singular >= 2022.09.23
+Requires:       gap-singular >= 2023.02.09
 Requires:       gap-sl2reps >= 1.1
 Requires:       gap-sla >= 1.5.3
-Requires:       gap-smallgrp >= 1.5.1
+Requires:       gap-smallgrp >= 1.5.3
 Requires:       gap-smallsemi >= 0.6.13
 Requires:       gap-sonata >= 2.9.6
 Requires:       gap-sophus >= 1.27
 Requires:       gap-spinsym >= 1.5.2
-Requires:       gap-standardff >= 0.9.4
+Requires:       gap-standardff >= 1.0
 Requires:       gap-symbcompcc >= 1.3.2
 Requires:       gap-thelma >= 1.3
-Requires:       gap-tomlib >= 1.2.9
-Requires:       gap-toolsforhomalg >= 2022.12.01
+Requires:       gap-tomlib >= 1.2.11
+Requires:       gap-toolsforhomalg >= 2023.11.01
 Requires:       gap-toric >= 1.9.5
 Requires:       gap-toricvarieties >= 2022.07.13
-Requires:       gap-transgrp >= 3.6.3
-Requires:       gap-ugaly >= 4.0.3
-Requires:       gap-unipot >= 1.2
-Requires:       gap-unitlib >= 4.1.0
-Requires:       gap-utils >= 0.81
+Requires:       gap-transgrp >= 3.6.5
+Requires:       gap-ugaly >= 4.1.3
+Requires:       gap-unipot >= 1.5
+Requires:       gap-unitlib >= 4.2.0
+Requires:       gap-utils >= 0.85
 Requires:       gap-uuid >= 0.7
 Requires:       gap-walrus >= 0.9991
-Requires:       gap-wedderga >= 4.10.2
-Requires:       gap-xgap >= 4.31
-Requires:       gap-xmod >= 2.88
+Requires:       gap-wedderga >= 4.10.5
+Requires:       gap-xgap >= 4.32
+Requires:       gap-xmod >= 2.92
 Requires:       gap-xmodalg >= 1.23
-Requires:       gap-yangbaxter >= 0.10.2
+Requires:       gap-yangbaxter >= 0.10.3
 Requires:       gap-zeromqinterface >= 0.14
 
 %description full
@@ -288,8 +289,7 @@ cat >> "%buildroot/%_prefix/lib/rpm/macros.d/macros.gapdirs" <<-EOF
 EOF
 %fdupes %buildroot/%_includedir
 
-%post   -n %lname -p /sbin/ldconfig
-%postun -n %lname -p /sbin/ldconfig
+%ldconfig_scriptlets -n %lname
 
 %files
 %_bindir/gap*
@@ -298,11 +298,12 @@ EOF
 %_datadir/gap/
 
 %files -n %lname
-%_libdir/libgap.so.8*
+%_libdir/libgap.so.9*
 
 %files devel
 %_bindir/gac*
 %_includedir/gap/
+%_libdir/pkgconfig/*.pc
 %_libdir/libgap.so
 %dir %_libdir/gap
 %_libdir/gap/gac