From d825435e3475c66b166ffa074c7a7e1045206dae Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Lars=20G=C3=B6ttgens?= <lars.goettgens@rwth-aachen.de>
Date: Wed, 3 Sep 2025 09:50:26 +0200
Subject: [PATCH 01/11] Adapt to kernel extension building changes in gap

See https://github.com/gap-system/gap/pull/6007
---
 src/setup.jl | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/setup.jl b/src/setup.jl
index 39549dd56..ecbb25a2a 100644
--- a/src/setup.jl
+++ b/src/setup.jl
@@ -142,8 +142,8 @@ function create_sysinfo_gap_and_gac(dir::String)
     CXX = sysinfo["GAP_CXX"] = select_compiler("C++", cxx_candidates, ".cc")
 
     # set include flags
-    gap_include = joinpath(gap_prefix, "include", "gap")
-    sysinfo["GAP_CPPFLAGS"] = "-I$(gap_include) -DUSE_JULIA_GC=1"
+    gap_include = joinpath(gap_prefix, "include", "gap", "extra")
+    sysinfo["GAP_CPPFLAGS"] = "-I$(gap_include) -DUSE_JULIA_GC=1 -DUSE_GAP_INSIDE_JULIA=1"
 
     # set linker flags; since these are meant for use for GAP packages,
     # add the necessary flags to link against libgap

From 515a03a4fd76e3e3b4e38ac34a8fed1e23fae9b3 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Lars=20G=C3=B6ttgens?= <lars.goettgens@rwth-aachen.de>
Date: Mon, 8 Sep 2025 17:02:24 +0200
Subject: [PATCH 02/11] Version 0.16.0-DEV

---
 CHANGES.md                          | 2 ++
 Project.toml                        | 2 +-
 gap/systemfile.g                    | 2 +-
 pkg/JuliaExperimental/PackageInfo.g | 4 ++--
 pkg/JuliaInterface/PackageInfo.g    | 4 ++--
 5 files changed, 8 insertions(+), 6 deletions(-)

diff --git a/CHANGES.md b/CHANGES.md
index 30d4e3233..4cb12c76b 100644
--- a/CHANGES.md
+++ b/CHANGES.md
@@ -1,5 +1,7 @@
 # Changes in GAP.jl
 
+## Version 0.16.0-DEV (released YYYY-MM-DD)
+
 ## Version 0.15.3 (released 2025-09-24)
 
 - Drop dependency on `Pkg`.
diff --git a/Project.toml b/Project.toml
index 5cff1a36d..3b9400244 100644
--- a/Project.toml
+++ b/Project.toml
@@ -1,7 +1,7 @@
 name = "GAP"
 uuid = "c863536a-3901-11e9-33e7-d5cd0df7b904"
 authors = ["Thomas Breuer <sam@math.rwth-aachen.de>", "Sebastian Gutsche <gutsche@mathematik.uni-siegen.de>", "Max Horn <horn@mathematik.uni-kl.de>"]
-version = "0.15.3"
+version = "0.16.0-DEV"
 
 [deps]
 AbstractAlgebra = "c3fe647b-3220-5bb0-a1ea-a7954cac585d"
diff --git a/gap/systemfile.g b/gap/systemfile.g
index 3bb6591c4..8d57359c7 100644
--- a/gap/systemfile.g
+++ b/gap/systemfile.g
@@ -33,7 +33,7 @@ end);
     # early enough for being required by other GAP packages,
     # and such that it is available when user files get read
     # via the GAP command line.
-    deps := [ [ "JuliaInterface", ">=0.15.3" ] ];
+    deps := [ [ "JuliaInterface", ">=0.16.0-DEV" ] ];
     if not IsBound(GAPInfo.KernelInfo.ENVIRONMENT.GAP_BARE_DEPS) then
         APPEND_LIST_INTR( deps, GAPInfo.Dependencies.NeededOtherPackages );
     fi;
diff --git a/pkg/JuliaExperimental/PackageInfo.g b/pkg/JuliaExperimental/PackageInfo.g
index 07a06c9f2..7d6870699 100644
--- a/pkg/JuliaExperimental/PackageInfo.g
+++ b/pkg/JuliaExperimental/PackageInfo.g
@@ -17,8 +17,8 @@ SetPackageInfo( rec(
 
 PackageName := "JuliaExperimental",
 Subtitle := "Experimental code for the GAP Julia integration",
-Version := "0.15.3",
-Date := "24/09/2025", # dd/mm/yyyy format
+Version := "0.16.0-DEV",
+Date := "08/09/2025", # dd/mm/yyyy format
 License := "LGPL-3.0-or-later",
 
 Persons := [
diff --git a/pkg/JuliaInterface/PackageInfo.g b/pkg/JuliaInterface/PackageInfo.g
index 3fc7449c1..6aee530ae 100644
--- a/pkg/JuliaInterface/PackageInfo.g
+++ b/pkg/JuliaInterface/PackageInfo.g
@@ -18,8 +18,8 @@ SetPackageInfo( rec(
 
 PackageName := "JuliaInterface",
 Subtitle := "Interface to Julia",
-Version := "0.15.3",
-Date := "24/09/2025", # dd/mm/yyyy format
+Version := "0.16.0-DEV",
+Date := "08/09/2025", # dd/mm/yyyy format
 License := "LGPL-3.0-or-later",
 
 Persons := [

From 9b9707e18e082deb43950a14e8a1ca6446b67cb7 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Lars=20G=C3=B6ttgens?= <lars.goettgens@rwth-aachen.de>
Date: Mon, 8 Sep 2025 17:14:45 +0200
Subject: [PATCH 03/11] Update GAP to 4.15.0

---
 ...rs-and-ExtendPackageDirectories-5873.patch | 358 ------------------
 .github/workflows/gap.yml                     |   2 +-
 Project.toml                                  |   4 +-
 etc/setup_override_dir.jl                     |  15 -
 4 files changed, 3 insertions(+), 376 deletions(-)
 delete mode 100644 .github/workflows/GAP_patches/stable-4.14/Add-packagedirs-and-ExtendPackageDirectories-5873.patch

diff --git a/.github/workflows/GAP_patches/stable-4.14/Add-packagedirs-and-ExtendPackageDirectories-5873.patch b/.github/workflows/GAP_patches/stable-4.14/Add-packagedirs-and-ExtendPackageDirectories-5873.patch
deleted file mode 100644
index 678bbc641..000000000
--- a/.github/workflows/GAP_patches/stable-4.14/Add-packagedirs-and-ExtendPackageDirectories-5873.patch
+++ /dev/null
@@ -1,358 +0,0 @@
-From d2dab76e883fd44c7165c6faa6fe7e633ee246ed Mon Sep 17 00:00:00 2001
-From: =?UTF-8?q?Lars=20G=C3=B6ttgens?= <lars.goettgens@rwth-aachen.de>
-Date: Mon, 6 Jan 2025 15:13:18 +0100
-Subject: [PATCH] Add --packagedirs and ExtendPackageDirectories() (#5873)
-
-... to make it easier to use custom packages
-
-The changes in dev/ci.sh have been removed from this patch
-to make it apply to release tarballs.
----
- doc/ref/files.xml           | 31 ++++++++++++++--
- doc/ref/gappkg.xml          |  1 +
- doc/ref/run.xml             | 21 +++++++++++
- lib/package.gd              | 26 ++++++++++++-
- lib/package.gi              | 73 ++++++++++++++++++++++++++++++++-----
- lib/system.g                |  4 ++
- tst/testinstall/package.tst | 27 ++++----------
- 7 files changed, 150 insertions(+), 33 deletions(-)
-
-diff --git a/doc/ref/files.xml b/doc/ref/files.xml
-index 4da8aca5a..75cb5f68b 100644
---- a/doc/ref/files.xml
-+++ b/doc/ref/files.xml
-@@ -81,9 +81,9 @@ directories. For example when &GAP; wants to read its library file
- <C>GAPInfo.RootPaths</C> until it finds the path of an existing file.
- The first file found this way is read.
- <P/>
--Furthermore, &GAP; looks for available packages by examining the
--subdirectories <F>pkg/</F> in each of the directories in
--<C>GAPInfo.RootPaths</C>.
-+Any subdirectories named <F>pkg/</F> in one of the directories in <C>GAPInfo.RootPaths</C>
-+are added to <C>GAPInfo.PackageDirectories</C> (see <Ref Sect="GAP Package Directories"/>),
-+which controls where &GAP; looks for available packages.
- <P/>
- The root directories are specified via one or several of the
- <C>-l paths</C> command line options, see <Ref Sect="Command Line Options"/>.
-@@ -95,11 +95,36 @@ This directory can be used to tell &GAP; about personal preferences,
- to always load some additional code, to install additional packages,
- or to overwrite some &GAP; files. See <Ref Sect="sect:gap.ini"/>
- for more information how to do this.
-+After &GAP; has been started, one can add additional root directories
-+via the function <Ref Func="ExtendRootDirectories"/>.
- <P/>
- 
- </Section>
- 
- 
-+<!-- %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% -->
-+<Section Label="GAP Package Directories">
-+<Heading>GAP Package Directories</Heading>
-+<Index Key="GAPInfo.PackageDirectories"><C>GAPInfo.PackageDirectories</C></Index>
-+
-+When &GAP; is started it determines a list of directories potentially
-+containing packages. We refer to these as the <E>&GAP; package directories</E>.
-+In a running &GAP; session this list can be found in <C>GAPInfo.PackageDirectories</C>.
-+<P/>
-+Every subdirectory <F>pkg</F> in a &GAP; root directory is automatically
-+added to this list. Further package directories can be specified via one or several
-+<C>--packagedirs paths</C> command line options, see <Ref Sect="Command Line Options"/>,
-+or after &GAP; has been started via the function <Ref Func="ExtendPackageDirectories"/>.
-+The order of the directories in <C>GAPInfo.PackageDirectories</C> is as follows:
-+first the package directories specified via the command line option <C>--packagedirs</C>,
-+then the subdirectories <F>pkg</F> of the &GAP; root directories that were known at startup in the
-+same order, and finally the directories added after &GAP; has been started.
-+<P/>
-+&GAP; looks for available packages by examining each of the directories in
-+<C>GAPInfo.PackageDirectories</C>.
-+</Section>
-+
-+
- <!-- %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% -->
- <Section Label="Directories">
- <Heading>Directories</Heading>
-diff --git a/doc/ref/gappkg.xml b/doc/ref/gappkg.xml
-index 03751f275..1fa68f75d 100644
---- a/doc/ref/gappkg.xml
-+++ b/doc/ref/gappkg.xml
-@@ -96,6 +96,7 @@ that is they will be loaded automatically when &GAP; starts
- 
- <#Include Label="SetPackagePath">
- <#Include Label="ExtendRootDirectories">
-+<#Include Label="ExtendPackageDirectories">
- <#Include Label="DisplayPackageLoadingLog">
- 
- </Section>
-diff --git a/doc/ref/run.xml b/doc/ref/run.xml
-index 88101cfda..c87548230 100644
---- a/doc/ref/run.xml
-+++ b/doc/ref/run.xml
-@@ -269,6 +269,27 @@ It is not possible  to use &GAP; without the  library files, so you must
- not  ignore this warning.  You  should leave &GAP;   and start it again,
- specifying the correct root path using the <C>-l</C> option.
- </Item>
-+<Mark><Index Key="--packagedirs"><C>--packagedirs</C></Index>
-+<C>--packagedirs </C><A>path_list</A></Mark>
-+<Item>
-+can be used to add paths to &GAP;'s list of package directories
-+(see <Ref Sect="GAP Package Directories"/>).
-+The list always contains all subdirectories <F>pkg</F> in a &GAP; root directory.
-+<P/>
-+<A>path_list</A> should be a list of directories separated by semicolons.
-+No whitespace is permitted before or after a semicolon, and the first and
-+last character of <A>path_list</A> may not be a semicolon.
-+After &GAP; has completed its startup procedure and
-+displays the prompt, the list of package directories can be seen in the
-+variable <C>GAPInfo.PackageDirectories</C>,
-+see <Ref Var="GAPInfo"/>.
-+<P/>
-+Usually this option is used inside a startup script to specify
-+where additional &GAP; packages are located on the system.
-+The <C>--packagedirs</C> option can also be used by individual users to tell &GAP;
-+about additional &GAP; packages, without the need to set up a complete root
-+directory structure.
-+</Item>
- <Mark><Index Key="-M"><C>-M</C></Index>
- <C>-M</C></Mark>
- <Item>
-diff --git a/lib/package.gd b/lib/package.gd
-index 8136cc518..cc1de684f 100644
---- a/lib/package.gd
-+++ b/lib/package.gd
-@@ -859,7 +859,8 @@ DeclareGlobalFunction( "LoadPackage" );
- ##  <P/>
- ##  See <Ref Func="SetPackagePath"/> for a way to force the loading of a
- ##  prescribed package version.
--##  See also <Ref Func="ExtendRootDirectories"/> for a method of adding
-+##  See also <Ref Func="ExtendRootDirectories"/> and
-+##  <Ref Func="ExtendPackageDirectories"/> for methods of adding
- ##  directories containing packages <E>after</E> &GAP; has been started.
- ##  </Subsection>
- ##  <#/GAPDoc>
-@@ -947,6 +948,29 @@ DeclareGlobalFunction( "SetPackagePath" );
- ##
- DeclareGlobalFunction( "ExtendRootDirectories" );
- 
-+
-+#############################################################################
-+##
-+#F  ExtendPackageDirectories( <paths> )
-+##
-+##  <#GAPDoc Label="ExtendPackageDirectories">
-+##  <ManSection>
-+##  <Func Name="ExtendPackageDirectories" Arg='paths'/>
-+##
-+##  <Description>
-+##  Let <A>paths</A> be a list of strings that denote paths to intended
-+##  &GAP; package directories (see <Ref Sect="GAP Package Directories"/>).
-+##  The function <Ref Func="ExtendPackageDirectories"/> adds these paths to
-+##  the global list <C>GAPInfo.PackageDirectories</C> and calls the initialization of
-+##  available &GAP; packages,
-+##  such that later calls to <Ref Func="LoadPackage"/> will find the &GAP;
-+##  packages that are contained in the directories given by <A>paths</A>.
-+##  </Description>
-+##  </ManSection>
-+##  <#/GAPDoc>
-+##
-+DeclareGlobalFunction( "ExtendPackageDirectories" );
-+
- #############################################################################
- ##
- #F  InstalledPackageVersion( <name> )
-diff --git a/lib/package.gi b/lib/package.gi
-index e7780524b..0a0068a7d 100644
---- a/lib/package.gi
-+++ b/lib/package.gi
-@@ -286,7 +286,7 @@ end );
- ##  In earlier versions, this function had an argument; now we ignore it.
- ##
- InstallGlobalFunction( InitializePackagesInfoRecords, function( arg )
--    local pkgdirs, pkgdir, ignore, name, files, record, r;
-+    local pkgdirs, pkgdir, pkgdirstrs, ignore, name, file, files, record, r;
- 
-     if IsBound( GAPInfo.PackagesInfoInitialized ) and
-        GAPInfo.PackagesInfoInitialized = true then
-@@ -300,8 +300,28 @@ InstallGlobalFunction( InitializePackagesInfoRecords, function( arg )
- 
-     LogPackageLoadingMessage( PACKAGE_DEBUG,
-         "entering InitializePackagesInfoRecords", "GAP" );
-+
-+    # the first time this is called, add the cmd line args to the list
-+    if IsEmpty(GAPInfo.PackageDirectories) then
-+        for pkgdirstrs in GAPInfo.CommandLineOptions.packagedirs do
-+            pkgdirs:= List( SplitString( pkgdirstrs, ";" ), Directory );
-+            for pkgdir in pkgdirs do
-+                if not pkgdir in GAPInfo.PackageDirectories then
-+                    Add( GAPInfo.PackageDirectories, pkgdir );
-+                fi;
-+            od;
-+        od;
-+    fi;
-+    # add any new pkg directories to the list
-     pkgdirs:= DirectoriesLibrary( "pkg" );
--    if pkgdirs = fail then
-+    if pkgdirs <> fail then
-+        pkgdirs:= Filtered( pkgdirs, dir -> not dir in GAPInfo.PackageDirectories );
-+        if not IsEmpty(pkgdirs) then
-+            Append( GAPInfo.PackageDirectories, pkgdirs );
-+        fi;
-+    fi;
-+
-+    if IsEmpty(GAPInfo.PackageDirectories) then
-       LogPackageLoadingMessage( PACKAGE_DEBUG,
-           "exit InitializePackagesInfoRecords (no pkg directories found)",
-           "GAP" );
-@@ -327,7 +347,7 @@ InstallGlobalFunction( InitializePackagesInfoRecords, function( arg )
-     # Loop over the package directories,
-     # remove the packages listed in `NOAUTO' files from GAP's suggested
-     # packages, and unite the information for the directories.
--    for pkgdir in pkgdirs do
-+    for pkgdir in GAPInfo.PackageDirectories do
- 
-       if IsBound( GAPInfo.ExcludeFromAutoload ) then
-         UniteSet( GAPInfo.ExcludeFromAutoload,
-@@ -335,15 +355,21 @@ InstallGlobalFunction( InitializePackagesInfoRecords, function( arg )
-                         LowercaseString ) );
-       fi;
- 
--      # Loop over subdirectories of this package directory.
--      for name in Set( DirectoryContents( Filename( pkgdir, "" ) ) ) do
-+      # pkgdir may be a package instead of a package directory
-+      file:= Filename( [ pkgdir ], "PackageInfo.g" );
-+      if file <> fail then
-+        AddPackageInfos( [ [ file, "" ] ], pkgdir, ignore );
-+      else
-+        # Loop over subdirectories of this package directory.
-+        for name in Set( DirectoryContents( pkgdir ) ) do
- 
--          ## Get all package dirs
--          files := FindPackageInfosInSubdirectories( pkgdir, name );
-+            ## Get all package dirs
-+            files := FindPackageInfosInSubdirectories( pkgdir, name );
- 
--          AddPackageInfos( files, pkgdir, ignore );
-+            AddPackageInfos( files, pkgdir, ignore );
- 
--      od;
-+        od;
-+      fi;
-     od;
- 
-     # Sort the available info records by their version numbers.
-@@ -1958,6 +1984,35 @@ InstallGlobalFunction( ExtendRootDirectories, function( rootpaths )
-     end );
- 
- 
-+#############################################################################
-+##
-+#F  ExtendPackageDirectories( <paths_or_dirs> )
-+##
-+InstallGlobalFunction( ExtendPackageDirectories, function( paths_or_dirs )
-+    local p, changed;
-+    changed:= false;
-+    for p in paths_or_dirs do
-+      if IsString( p ) then
-+        p:= Directory( p );
-+      elif not IsDirectory( p ) then
-+        Error("input must be a list of path strings or directory objects");
-+      fi;
-+      if not p in GAPInfo.PackageDirectories then
-+        Add( GAPInfo.PackageDirectories, p );
-+        changed:= true;
-+      fi;
-+    od;
-+    if changed then
-+      # Reread the package information.
-+      if IsBound( GAPInfo.PackagesInfoInitialized ) and
-+         GAPInfo.PackagesInfoInitialized = true then
-+        GAPInfo.PackagesInfoInitialized:= false;
-+        InitializePackagesInfoRecords();
-+      fi;
-+    fi;
-+    end );
-+
-+
- #############################################################################
- ##
- #F  InstalledPackageVersion( <name> )
-diff --git a/lib/system.g b/lib/system.g
-index d79aca200..d3c5e5b11 100644
---- a/lib/system.g
-+++ b/lib/system.g
-@@ -95,6 +95,9 @@ BIND_GLOBAL( "GAPInfo", rec(
-                      "directories to the end/start of existing list",
-                      "of root paths" ] ),
-       rec( short:= "r", default := false, help := ["disable/enable user GAP root dir", "GAPInfo.UserGapRoot"] ),
-+      rec( long := "packagedirs", default := [], arg := "<paths>",
-+           help := [ "add additional GAP directory paths",
-+                     "Directories are separated using ';'." ] ),
-       ,
-       rec( section:= ["Loading:"] ),
-       rec( short:= "A", default := false, help := ["disable/enable autoloading of suggested", "GAP packages"] ),
-@@ -302,6 +305,7 @@ CallAndInstallPostRestore( function()
- 
-     # paths
-     GAPInfo.RootPaths:= GAPInfo.KernelInfo.GAP_ROOT_PATHS;
-+    GAPInfo.PackageDirectories := [];
-     if  IsBound(GAPInfo.SystemEnvironment.HOME) then
-       GAPInfo.UserHome := GAPInfo.SystemEnvironment.HOME;
-     else
-diff --git a/tst/testinstall/package.tst b/tst/testinstall/package.tst
-index cd364a81b..10e515fc9 100644
---- a/tst/testinstall/package.tst
-+++ b/tst/testinstall/package.tst
-@@ -1,4 +1,4 @@
--#@local entry,equ,pair,sml,oldTermEncoding,pkginfo,info,tmp_dir,mockpkgpath,old_warning_level,p,n,filename,IsDateFormatValid,loadinfo,eval_loadinfo
-+#@local entry,equ,pair,sml,oldTermEncoding,pkginfo,info,mockpkgpath,old_warning_level,p,n,filename,IsDateFormatValid,loadinfo,eval_loadinfo
- gap> START_TEST("package.tst");
- 
- # CompareVersionNumbers( <supplied>, <required>[, \"equal\"] )
-@@ -380,17 +380,9 @@ false
- gap> IsPackageLoaded("mockpkg", ">=2.0");
- false
- 
--# load mockpkg via a symlink in a directory called `pkg`
--# so we can test ExtendRootDirectories below
--# first create a temporary directory for all of this
--gap> tmp_dir := DirectoryTemporary( );;
--
--# create a subdirectory `<tmp_dir>/pkg`
--gap> Exec( Concatenation( "mkdir -p ", Filename( tmp_dir, "/pkg" ) ) );
--
--# make `<tmp_dir>/pkg/mockpkg` a symlink to `tst/mockpkg`
--gap> Exec( Concatenation( "ln -sfn ", Filename( DirectoriesLibrary("tst/mockpkg"), "" )," ", Filename( tmp_dir, "pkg/mockpkg" ) ) );
--gap> mockpkgpath := Directory( Filename( tmp_dir, "pkg/mockpkg" ) );;
-+# load mockpkg first via SetPackagePath and later via
-+# ExtendPackageDirectories
-+gap> mockpkgpath := DirectoriesLibrary("tst/mockpkg")[1];;
- gap> ValidatePackageInfo(Filename(mockpkgpath, "PackageInfo.g"));
- true
- 
-@@ -635,12 +627,8 @@ false
- gap> IsPackageLoaded("mockpkg", ">=2.0");
- false
- 
--# now add the temporary directory created above as a new root directory
--gap> filename:= ShallowCopy( Filename( tmp_dir, "" ) );;
--gap> while EndsWith( filename, "/" ) do Remove( filename ); od;
--gap> ExtendRootDirectories( [ filename ] );
--gap> ForAll( GAPInfo.RootPaths, x -> EndsWith( x, "/" ) );
--true
-+# now add the directory with mockpkgpath as a new package directory
-+gap> ExtendPackageDirectories( [ mockpkgpath ] );
- 
- # make sure that the newly discovered installation path matches
- # the path from which mockpkg was loaded above
-@@ -649,8 +637,7 @@ gap> Last( GAPInfo.PackagesInfo.mockpkg ).InstallationPath =
- true
- 
- #
--gap> SetPackagePath( "mockpkg", Filename( tmp_dir, "pkg/mockpkg" ) );
--gap> SetPackagePath( "mockpkg", Filename( tmp_dir, "pkg/mockpkg/" ) );
-+gap> SetPackagePath( "mockpkg", Filename( mockpkgpath, "" ) );
- gap> SetPackagePath( "mockpkg", "/some/other/directory" );
- Error, another version of package mockpkg is already loaded
- 
--- 
-2.47.1
-
diff --git a/.github/workflows/gap.yml b/.github/workflows/gap.yml
index f62557d06..8693ba532 100644
--- a/.github/workflows/gap.yml
+++ b/.github/workflows/gap.yml
@@ -30,7 +30,7 @@ jobs:
       matrix:
         gap-version:
           - 'master'
-          - 'stable-4.14'
+          - 'stable-4.15'
         julia-version:
           - '1'         # latest stable release
           - '1.12-nightly'
diff --git a/Project.toml b/Project.toml
index 3b9400244..f66437867 100644
--- a/Project.toml
+++ b/Project.toml
@@ -67,8 +67,8 @@ Artifacts = "1.10"
 BinaryWrappers = "0.1.3"
 Downloads = "1.4.3"
 FileWatching = "1.10"
-GAP_jll = "~400.1401.005"
-GAP_lib_jll = "~400.1400.004"
+GAP_jll = "~400.1500.000"
+GAP_lib_jll = "~400.1500.000"
 GAP_pkg_ace_jll = "500.600.200"
 GAP_pkg_anupq_jll = "300.300.100"
 GAP_pkg_browse_jll = "100.800.2101"
diff --git a/etc/setup_override_dir.jl b/etc/setup_override_dir.jl
index 2a35369a5..96ab1cd5e 100644
--- a/etc/setup_override_dir.jl
+++ b/etc/setup_override_dir.jl
@@ -130,18 +130,3 @@ run(`make install-bin install-headers install-libgap install-sysinfo install-gap
 # We deliberately do NOT install the GAP library, documentation, etc. because
 # they are identical across all platforms; instead, we use another platform
 # independent artifact to ship them to the user.
-
-
-# HACK: BinaryBuilder.jl puts the dylib version number into the GAP_jll.jl wrapper package (but only for macOS)
-# To still be able to use GAP versions after https://github.com/gap-system/gap/pull/5859 we patch the dylib for
-# these GAP versions back to the old version number.
-# This needs to be removed, once GAP_jll provides `libgap.10.dylib` itself.
-if Sys.isapple()
-    if isfile(joinpath(prefix, "lib", "libgap.10.dylib"))
-        @info "Patching libgap.10.dylib to libgap.9.dylib"
-        mv(joinpath(prefix, "lib", "libgap.10.dylib"), joinpath(prefix, "lib", "libgap.9.dylib"))
-        rm(joinpath(prefix, "lib", "libgap.dylib"))
-        symlink(joinpath(prefix, "lib", "libgap.9.dylib"), joinpath(prefix, "lib", "libgap.dylib"))
-        run(`install_name_tool -id "$(joinpath(prefix, "lib", "libgap.9.dylib"))" $(joinpath(prefix, "lib", "libgap.9.dylib"))`)
-    end
-end

From 9aca39f1d9966523b59316e70aa55e8ada1988c7 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Lars=20G=C3=B6ttgens?= <lars.goettgens@rwth-aachen.de>
Date: Mon, 8 Sep 2025 18:30:19 +0200
Subject: [PATCH 04/11] Update package distro to 4.15.0-beta1

---
 Artifacts.toml | 630 +++++++++++++++++++++++++------------------------
 Project.toml   |  58 ++---
 2 files changed, 354 insertions(+), 334 deletions(-)

diff --git a/Artifacts.toml b/Artifacts.toml
index e1a6057d8..c59dbd107 100644
--- a/Artifacts.toml
+++ b/Artifacts.toml
@@ -9,24 +9,24 @@ git-tree-sha1 = "0cfc2ae54301261dad1f4fa233047ded8e719cfc"
     url = "https://files.gap-system.org/pkg/4ti2Interface-2024.11-01.tar.gz"
 
 [GAP_pkg_ace]
-git-tree-sha1 = "c67becc10447fae9af91c022bc44f9ea17157934"
+git-tree-sha1 = "cba87cfa8295d898925c0e5e1d77ab820a4b2d6c"
 
     [[GAP_pkg_ace.download]]
-    sha256 = "9cc94cd6327147b8b538341ba7594e4252a80ca7c960ac6749224efa437c9b66"
-    url = "https://github.com/gap-packages/ace/releases/download/v5.6.2/ace-5.6.2.tar.gz"
+    sha256 = "7123e4100f1340a791d20bca1a8d9e6d9f09fe74a1c5fb15f1723899a1bb4553"
+    url = "https://github.com/gap-packages/ace/releases/download/v5.7.0/ace-5.7.0.tar.gz"
     [[GAP_pkg_ace.download]]
-    sha256 = "9cc94cd6327147b8b538341ba7594e4252a80ca7c960ac6749224efa437c9b66"
-    url = "https://files.gap-system.org/pkg/ace-5.6.2.tar.gz"
+    sha256 = "7123e4100f1340a791d20bca1a8d9e6d9f09fe74a1c5fb15f1723899a1bb4553"
+    url = "https://files.gap-system.org/pkg/ace-5.7.0.tar.gz"
 
 [GAP_pkg_aclib]
-git-tree-sha1 = "e91708d23a46159c10291635d44472f2ea9d10a4"
+git-tree-sha1 = "ae9c21d971b1ac6a3bae472ac3a0cb6f546dbd90"
 
     [[GAP_pkg_aclib.download]]
-    sha256 = "f672d0aee19f22b411352835a4730a6f88eecad7d79d8452b273f381b03e1a7b"
-    url = "https://github.com/gap-packages/aclib/releases/download/v1.3.2/aclib-1.3.2.tar.gz"
+    sha256 = "3927d2dbccc646457a35f8b2031d2d8dadd2089188d5b47dbd9c44f2edc45122"
+    url = "https://github.com/gap-packages/aclib/releases/download/v1.3.3/aclib-1.3.3.tar.gz"
     [[GAP_pkg_aclib.download]]
-    sha256 = "f672d0aee19f22b411352835a4730a6f88eecad7d79d8452b273f381b03e1a7b"
-    url = "https://files.gap-system.org/pkg/aclib-1.3.2.tar.gz"
+    sha256 = "3927d2dbccc646457a35f8b2031d2d8dadd2089188d5b47dbd9c44f2edc45122"
+    url = "https://files.gap-system.org/pkg/aclib-1.3.3.tar.gz"
 
 [GAP_pkg_agt]
 git-tree-sha1 = "2cbf68e05ba790981cfaedfae92464fe7ac94b19"
@@ -38,6 +38,16 @@ git-tree-sha1 = "2cbf68e05ba790981cfaedfae92464fe7ac94b19"
     sha256 = "289f2519e158d3e5473ead800355f6751413d75dbe5afe817bb9076604d3ce34"
     url = "https://files.gap-system.org/pkg/AGT-0.3.1.tar.gz"
 
+[GAP_pkg_alco]
+git-tree-sha1 = "21e6950c1f4dd8251cc8b03e59675c3f100cf6d6"
+
+    [[GAP_pkg_alco.download]]
+    sha256 = "5fb653698ac560149c079d47c59e3581474bdf774ddd794ee0dab4617cf1de9b"
+    url = "https://github.com/BNasmith/alco/releases/download/v1.1.1/ALCO-1.1.1.tar.gz"
+    [[GAP_pkg_alco.download]]
+    sha256 = "5fb653698ac560149c079d47c59e3581474bdf774ddd794ee0dab4617cf1de9b"
+    url = "https://files.gap-system.org/pkg/ALCO-1.1.1.tar.gz"
+
 [GAP_pkg_alnuth]
 git-tree-sha1 = "af2c63bce5c78d0f874f545750f5e309e09cd66b"
 
@@ -49,14 +59,14 @@ git-tree-sha1 = "af2c63bce5c78d0f874f545750f5e309e09cd66b"
     url = "https://files.gap-system.org/pkg/alnuth-3.2.1.tar.gz"
 
 [GAP_pkg_anupq]
-git-tree-sha1 = "4ef38b5b8864cf31b2a58d13ea154eb0e2eaee5a"
+git-tree-sha1 = "072c7f80bd5209fef3c8e87840e532bbc1731c34"
 
     [[GAP_pkg_anupq.download]]
-    sha256 = "fba1526f9e904e13ee7a9b980c795fbf27a8276c6734d684c1f91ebb3a1926b6"
-    url = "https://github.com/gap-packages/anupq/releases/download/v3.3.1/anupq-3.3.1.tar.gz"
+    sha256 = "2ee92fc2314ad139cc6800a8a21e5dfbde04a6182f4867dc32c20024b2ac3bca"
+    url = "https://github.com/gap-packages/anupq/releases/download/v3.3.2/anupq-3.3.2.tar.gz"
     [[GAP_pkg_anupq.download]]
-    sha256 = "fba1526f9e904e13ee7a9b980c795fbf27a8276c6734d684c1f91ebb3a1926b6"
-    url = "https://files.gap-system.org/pkg/anupq-3.3.1.tar.gz"
+    sha256 = "2ee92fc2314ad139cc6800a8a21e5dfbde04a6182f4867dc32c20024b2ac3bca"
+    url = "https://files.gap-system.org/pkg/anupq-3.3.2.tar.gz"
 
 [GAP_pkg_atlasrep]
 git-tree-sha1 = "eac0e07d9389a9a61d6e38f612b9394d26e87cd5"
@@ -69,14 +79,14 @@ git-tree-sha1 = "eac0e07d9389a9a61d6e38f612b9394d26e87cd5"
     url = "https://files.gap-system.org/pkg/atlasrep-2.1.9.tar.gz"
 
 [GAP_pkg_autodoc]
-git-tree-sha1 = "f36c330a29237f06bbb1c6448eeb0b7a8ee436fc"
+git-tree-sha1 = "f264779ae27737282afc650f490759350d57368c"
 
     [[GAP_pkg_autodoc.download]]
-    sha256 = "4e85f13a278245fff3cd9bed28c366f4bfef642a7ad3611b9ed394dab9abd4ea"
-    url = "https://github.com/gap-packages/AutoDoc/releases/download/v2023.06.19/AutoDoc-2023.06.19.tar.gz"
+    sha256 = "49da34baa150f92d16473c9c7f25c47b53e5d6fd6c5406c91c756011e8abd678"
+    url = "https://github.com/gap-packages/AutoDoc/releases/download/v2025.05.09/AutoDoc-2025.05.09.tar.gz"
     [[GAP_pkg_autodoc.download]]
-    sha256 = "4e85f13a278245fff3cd9bed28c366f4bfef642a7ad3611b9ed394dab9abd4ea"
-    url = "https://files.gap-system.org/pkg/AutoDoc-2023.06.19.tar.gz"
+    sha256 = "49da34baa150f92d16473c9c7f25c47b53e5d6fd6c5406c91c756011e8abd678"
+    url = "https://files.gap-system.org/pkg/AutoDoc-2025.05.09.tar.gz"
 
 [GAP_pkg_automata]
 git-tree-sha1 = "1e143aba0160ae0739082546a43987203571fe14"
@@ -89,24 +99,24 @@ git-tree-sha1 = "1e143aba0160ae0739082546a43987203571fe14"
     url = "https://files.gap-system.org/pkg/automata-1.16.tar.gz"
 
 [GAP_pkg_automgrp]
-git-tree-sha1 = "16805de99b24241453786a7b1bf3dc0f2edf248b"
+git-tree-sha1 = "ab5424fab43039986ac8b7d4040acc0edbaef366"
 
     [[GAP_pkg_automgrp.download]]
-    sha256 = "cae7ef133b7e07c45e47e7ef27a94cb1655999c21dd4fd33fc56f369b5e0a5a0"
-    url = "https://github.com/gap-packages/automgrp/releases/download/v1.3.2/automgrp-1.3.2.tar.gz"
+    sha256 = "7793f16bb7f8b16a9b459cd3a3f1c118abf3cb3aa46b5f65703e5d2bceb53eca"
+    url = "https://github.com/gap-packages/automgrp/releases/download/v1.3.3/automgrp-1.3.3.tar.gz"
     [[GAP_pkg_automgrp.download]]
-    sha256 = "cae7ef133b7e07c45e47e7ef27a94cb1655999c21dd4fd33fc56f369b5e0a5a0"
-    url = "https://files.gap-system.org/pkg/automgrp-1.3.2.tar.gz"
+    sha256 = "7793f16bb7f8b16a9b459cd3a3f1c118abf3cb3aa46b5f65703e5d2bceb53eca"
+    url = "https://files.gap-system.org/pkg/automgrp-1.3.3.tar.gz"
 
 [GAP_pkg_autpgrp]
-git-tree-sha1 = "dbf049a57136ecb5705a39bb8862c8696124ba2a"
+git-tree-sha1 = "038e90fce94e4e95387796cd3a1a1b2b26e2d7c6"
 
     [[GAP_pkg_autpgrp.download]]
-    sha256 = "ade6c143b5b9b03c5c4c5b121732287146aa79d40de53d5383383c76f8cc1eb2"
-    url = "https://github.com/gap-packages/autpgrp/releases/download/v1.11/autpgrp-1.11.tar.gz"
+    sha256 = "2cd0ec699d26072945778885d627a45a33c51a9373a01d938e5544feff9895d3"
+    url = "https://github.com/gap-packages/autpgrp/releases/download/v1.11.1/autpgrp-1.11.1.tar.gz"
     [[GAP_pkg_autpgrp.download]]
-    sha256 = "ade6c143b5b9b03c5c4c5b121732287146aa79d40de53d5383383c76f8cc1eb2"
-    url = "https://files.gap-system.org/pkg/autpgrp-1.11.tar.gz"
+    sha256 = "2cd0ec699d26072945778885d627a45a33c51a9373a01d938e5544feff9895d3"
+    url = "https://files.gap-system.org/pkg/autpgrp-1.11.1.tar.gz"
 
 [GAP_pkg_browse]
 git-tree-sha1 = "840bdaf8beee5364eca5594b6d85d2f8dd8596bc"
@@ -119,14 +129,14 @@ git-tree-sha1 = "840bdaf8beee5364eca5594b6d85d2f8dd8596bc"
     url = "https://files.gap-system.org/pkg/Browse-1.8.21.tar.bz2"
 
 [GAP_pkg_cap]
-git-tree-sha1 = "34e5cc23b3f715683d35bd054bb33d10cdfa0c39"
+git-tree-sha1 = "5c2598933edc47c65f47131a05a72b96ddebd716"
 
     [[GAP_pkg_cap.download]]
-    sha256 = "ad3efdb06148565edb271432343a07bc2f0a993adefeb9feb995eb6f95463390"
-    url = "https://github.com/homalg-project/CAP_project/releases/download/CAP-2024.11-02/CAP-2024.11-02.tar.gz"
+    sha256 = "e8e9b369ee5feea81b08395ed1f70e310f06b27fe03f7112cecb816d37453fa1"
+    url = "https://github.com/homalg-project/CAP_project/releases/download/CAP-2025.08-03/CAP-2025.08-03.tar.gz"
     [[GAP_pkg_cap.download]]
-    sha256 = "ad3efdb06148565edb271432343a07bc2f0a993adefeb9feb995eb6f95463390"
-    url = "https://files.gap-system.org/pkg/CAP-2024.11-02.tar.gz"
+    sha256 = "e8e9b369ee5feea81b08395ed1f70e310f06b27fe03f7112cecb816d37453fa1"
+    url = "https://files.gap-system.org/pkg/CAP-2025.08-03.tar.gz"
 
 [GAP_pkg_caratinterface]
 git-tree-sha1 = "13ed4fe718f84009ff04e3bdfcf6ed472254e285"
@@ -139,14 +149,14 @@ git-tree-sha1 = "13ed4fe718f84009ff04e3bdfcf6ed472254e285"
     url = "https://files.gap-system.org/pkg/CaratInterface-2.3.7.tar.gz"
 
 [GAP_pkg_cddinterface]
-git-tree-sha1 = "97a139c22f5f46d99e9a5a02633d83879ede687f"
+git-tree-sha1 = "3d7d0d4377ba3a6c8aae64f58d7d77954f80fed2"
 
     [[GAP_pkg_cddinterface.download]]
-    sha256 = "5a59b6306c2b4e75d499cf1465c0b38a22cc275aa76defcfe62aaa365e1b69d1"
-    url = "https://github.com/homalg-project/CddInterface/releases/download/v2024.09.02/CddInterface-2024.09.02.tar.gz"
+    sha256 = "fc3f4ae2b4cb27152bf82d3a64a3aec63be283c83090e586204540a12b0d4883"
+    url = "https://github.com/homalg-project/CddInterface/releases/download/v2025.06.24/CddInterface-2025.06.24.tar.gz"
     [[GAP_pkg_cddinterface.download]]
-    sha256 = "5a59b6306c2b4e75d499cf1465c0b38a22cc275aa76defcfe62aaa365e1b69d1"
-    url = "https://files.gap-system.org/pkg/CddInterface-2024.09.02.tar.gz"
+    sha256 = "fc3f4ae2b4cb27152bf82d3a64a3aec63be283c83090e586204540a12b0d4883"
+    url = "https://files.gap-system.org/pkg/CddInterface-2025.06.24.tar.gz"
 
 [GAP_pkg_circle]
 git-tree-sha1 = "30d2e49b40b9f067b3c38896286054d4e93dc4be"
@@ -219,34 +229,34 @@ git-tree-sha1 = "e89f0706ac7d3b579fbb764dc10552f3bb7db85c"
     url = "https://files.gap-system.org/pkg/crime-1.6.tar.gz"
 
 [GAP_pkg_crisp]
-git-tree-sha1 = "587a4459a87cf325f86861a69756574850846f50"
+git-tree-sha1 = "85ac41f54aedd09fb370d977dd6ee3309684056d"
 
     [[GAP_pkg_crisp.download]]
-    sha256 = "31a8d37b577208dc22c27b479d391b3bd89ba9dcab528b1570726af57098ccb1"
-    url = "http://www.icm.tu-bs.de/~bhoeflin/crisp/crisp-1.4.6.tar.bz2"
+    sha256 = "3360e17c1611a2ab1654d982aade5566a1c048c795675e321cbf15d06248d569"
+    url = "https://github.com/bh11/crisp/releases/latest/download/crisp-1.4.8.tar.bz2"
     [[GAP_pkg_crisp.download]]
-    sha256 = "31a8d37b577208dc22c27b479d391b3bd89ba9dcab528b1570726af57098ccb1"
-    url = "https://files.gap-system.org/pkg/crisp-1.4.6.tar.bz2"
+    sha256 = "3360e17c1611a2ab1654d982aade5566a1c048c795675e321cbf15d06248d569"
+    url = "https://files.gap-system.org/pkg/crisp-1.4.8.tar.bz2"
 
 [GAP_pkg_crypting]
-git-tree-sha1 = "6177a63881a13feeeb94852dac173a0971317ef2"
+git-tree-sha1 = "7dc84100ed29055afdb0553ceb9d731b5b4e1f09"
 
     [[GAP_pkg_crypting.download]]
-    sha256 = "bbb8d321bc1e616a975960a7ecdddb8478f70e9ccc3d6e77c7c30283153aafc5"
-    url = "https://github.com/gap-packages/crypting/releases/download/v0.10.5/crypting-0.10.5.tar.gz"
+    sha256 = "946b05c75e877de8aea71b5bf0af74f79b392064793fda7322e4895073e7cf6a"
+    url = "https://github.com/gap-packages/crypting/releases/download/v0.10.6/crypting-0.10.6.tar.gz"
     [[GAP_pkg_crypting.download]]
-    sha256 = "bbb8d321bc1e616a975960a7ecdddb8478f70e9ccc3d6e77c7c30283153aafc5"
-    url = "https://files.gap-system.org/pkg/crypting-0.10.5.tar.gz"
+    sha256 = "946b05c75e877de8aea71b5bf0af74f79b392064793fda7322e4895073e7cf6a"
+    url = "https://files.gap-system.org/pkg/crypting-0.10.6.tar.gz"
 
 [GAP_pkg_cryst]
-git-tree-sha1 = "6bf4041a528ca0b2015502922f1c8339eee97707"
+git-tree-sha1 = "0b20fc702b31a243ec409b1ab0834339bbce8589"
 
     [[GAP_pkg_cryst.download]]
-    sha256 = "f9beb977b9b032b9757c06d0054f2884a10831aaaafcf916e5419cedc93d6a50"
-    url = "https://www.math.uni-bielefeld.de/~gaehler/gap/Cryst/cryst-4.1.27.tar.gz"
+    sha256 = "f8fc61277cb8606478ffbab8dd25aba467ca153ccbcd84ab5620486ca3c9e244"
+    url = "https://www.math.uni-bielefeld.de/~gaehler/gap/Cryst/cryst-4.1.29.tar.gz"
     [[GAP_pkg_cryst.download]]
-    sha256 = "f9beb977b9b032b9757c06d0054f2884a10831aaaafcf916e5419cedc93d6a50"
-    url = "https://files.gap-system.org/pkg/cryst-4.1.27.tar.gz"
+    sha256 = "f8fc61277cb8606478ffbab8dd25aba467ca153ccbcd84ab5620486ca3c9e244"
+    url = "https://files.gap-system.org/pkg/cryst-4.1.29.tar.gz"
 
 [GAP_pkg_crystcat]
 git-tree-sha1 = "7711ad19e53a49cebbf6ab62b64229302d20fdb1"
@@ -259,64 +269,64 @@ git-tree-sha1 = "7711ad19e53a49cebbf6ab62b64229302d20fdb1"
     url = "https://files.gap-system.org/pkg/crystcat-1.1.10.tar.gz"
 
 [GAP_pkg_ctbllib]
-git-tree-sha1 = "d44e3449285b7ec9fb7ba7b1665a8c8bf4320f1c"
+git-tree-sha1 = "cb516145247151b1246058cd5f4c4e5ae5e9ff38"
 
     [[GAP_pkg_ctbllib.download]]
-    sha256 = "0e676abee52f460f6e4cc24d2d42aa6e75839ce69596f1786e4eece33fb9187f"
-    url = "https://www.math.rwth-aachen.de/~Thomas.Breuer/ctbllib/ctbllib-1.3.9.tar.gz"
+    sha256 = "f201e9da571c681a7bbfb1e4683bdb2c80a23b005099ed0453521f59cb443434"
+    url = "https://www.math.rwth-aachen.de/~Thomas.Breuer/ctbllib/ctbllib-1.3.11.tar.gz"
     [[GAP_pkg_ctbllib.download]]
-    sha256 = "0e676abee52f460f6e4cc24d2d42aa6e75839ce69596f1786e4eece33fb9187f"
-    url = "https://files.gap-system.org/pkg/ctbllib-1.3.9.tar.gz"
+    sha256 = "f201e9da571c681a7bbfb1e4683bdb2c80a23b005099ed0453521f59cb443434"
+    url = "https://files.gap-system.org/pkg/ctbllib-1.3.11.tar.gz"
 
 [GAP_pkg_cubefree]
-git-tree-sha1 = "abdec5749420f898dfbaad5f963ad808dbb0e52f"
+git-tree-sha1 = "b88a0fadda0f2bc4c1b739278d5c11e76c070653"
 
     [[GAP_pkg_cubefree.download]]
-    sha256 = "c4f4b749bf47f22cb76764933bc03e74999066370d93901cdf5a1be27771a81d"
-    url = "https://github.com/gap-packages/cubefree/releases/download/v1.20/cubefree-1.20.tar.gz"
+    sha256 = "721ea5e7034c91845a7a4c9b6dd91cbb8a2bd573e655d38f2e0b5318b943c082"
+    url = "https://github.com/gap-packages/cubefree/releases/download/v1.21/cubefree-1.21.tar.gz"
     [[GAP_pkg_cubefree.download]]
-    sha256 = "c4f4b749bf47f22cb76764933bc03e74999066370d93901cdf5a1be27771a81d"
-    url = "https://files.gap-system.org/pkg/cubefree-1.20.tar.gz"
+    sha256 = "721ea5e7034c91845a7a4c9b6dd91cbb8a2bd573e655d38f2e0b5318b943c082"
+    url = "https://files.gap-system.org/pkg/cubefree-1.21.tar.gz"
 
 [GAP_pkg_curlinterface]
-git-tree-sha1 = "d0bc5391d133cdd06643ebde1be7b15ce288ddcc"
+git-tree-sha1 = "75348fa671509949dadb02417ef4c7f3e0687d13"
 
     [[GAP_pkg_curlinterface.download]]
-    sha256 = "f1939d6bde96aa096274f9b09ede046cdee7c3a8443db45940164c1905c1ee38"
-    url = "https://github.com/gap-packages/curlInterface/releases/download/v2.4.1/curlInterface-2.4.1.tar.gz"
+    sha256 = "973d4b518bb25295fa36e367c54fd257adb7af4723634f039f53dae507855756"
+    url = "https://github.com/gap-packages/curlInterface/releases/download/v2.4.2/curlInterface-2.4.2.tar.gz"
     [[GAP_pkg_curlinterface.download]]
-    sha256 = "f1939d6bde96aa096274f9b09ede046cdee7c3a8443db45940164c1905c1ee38"
-    url = "https://files.gap-system.org/pkg/curlInterface-2.4.1.tar.gz"
+    sha256 = "973d4b518bb25295fa36e367c54fd257adb7af4723634f039f53dae507855756"
+    url = "https://files.gap-system.org/pkg/curlInterface-2.4.2.tar.gz"
 
 [GAP_pkg_cvec]
-git-tree-sha1 = "408ae9c34b89b536a0da80d9951896af9db6a9b1"
+git-tree-sha1 = "5cefed391d884e00e1a17919043e6c90ea1ecc22"
 
     [[GAP_pkg_cvec.download]]
-    sha256 = "6232ed29003713263ec95b0c562d710cf3fd18015266dc34a4b51581c2a1461b"
-    url = "https://github.com/gap-packages/cvec/releases/download/v2.8.2/cvec-2.8.2.tar.gz"
+    sha256 = "0df5c9d9b5e55002f596e79a4a799d09554d4964683fbd8f813ed2f9d2f5635f"
+    url = "https://github.com/gap-packages/cvec/releases/download/v2.8.4/cvec-2.8.4.tar.gz"
     [[GAP_pkg_cvec.download]]
-    sha256 = "6232ed29003713263ec95b0c562d710cf3fd18015266dc34a4b51581c2a1461b"
-    url = "https://files.gap-system.org/pkg/cvec-2.8.2.tar.gz"
+    sha256 = "0df5c9d9b5e55002f596e79a4a799d09554d4964683fbd8f813ed2f9d2f5635f"
+    url = "https://files.gap-system.org/pkg/cvec-2.8.4.tar.gz"
 
 [GAP_pkg_datastructures]
-git-tree-sha1 = "9e3a90a40bc6d729881300de017e7e8bf20dafcc"
+git-tree-sha1 = "e511e66ce8ad15579ac23e63bb7c01728eeb13c7"
 
     [[GAP_pkg_datastructures.download]]
-    sha256 = "0d4fba02f80e7c5eada63fae0402effbbe2ccbeb4d204c1d826cc85e67a582b0"
-    url = "https://github.com/gap-packages/datastructures/releases/download/v0.3.1/datastructures-0.3.1.tar.gz"
+    sha256 = "c0231ad18ae23a4da6c62373df5032c3bd284dae922e05362551fe55a6a14c0d"
+    url = "https://github.com/gap-packages/datastructures/releases/download/v0.3.3/datastructures-0.3.3.tar.gz"
     [[GAP_pkg_datastructures.download]]
-    sha256 = "0d4fba02f80e7c5eada63fae0402effbbe2ccbeb4d204c1d826cc85e67a582b0"
-    url = "https://files.gap-system.org/pkg/datastructures-0.3.1.tar.gz"
+    sha256 = "c0231ad18ae23a4da6c62373df5032c3bd284dae922e05362551fe55a6a14c0d"
+    url = "https://files.gap-system.org/pkg/datastructures-0.3.3.tar.gz"
 
 [GAP_pkg_deepthought]
-git-tree-sha1 = "5a676de87f040e9587ec42f2abeba233d2e16462"
+git-tree-sha1 = "7412e2db01e12d02ffd7c69639bb325a7ebdcfa9"
 
     [[GAP_pkg_deepthought.download]]
-    sha256 = "01d89babd2f62307bb0c4fe42303c6c645192ca6141ce02299c1c240e92ea93a"
-    url = "https://github.com/gap-packages/DeepThought/releases/download/v1.0.7/DeepThought-1.0.7.tar.gz"
+    sha256 = "4eda8cddaa8987473b963c740d6f1f647099a92112a1e7c8bba4fff7515fb5e4"
+    url = "https://github.com/gap-packages/DeepThought/releases/download/v1.0.9/DeepThought-1.0.9.tar.gz"
     [[GAP_pkg_deepthought.download]]
-    sha256 = "01d89babd2f62307bb0c4fe42303c6c645192ca6141ce02299c1c240e92ea93a"
-    url = "https://files.gap-system.org/pkg/DeepThought-1.0.7.tar.gz"
+    sha256 = "4eda8cddaa8987473b963c740d6f1f647099a92112a1e7c8bba4fff7515fb5e4"
+    url = "https://files.gap-system.org/pkg/DeepThought-1.0.9.tar.gz"
 
 [GAP_pkg_design]
 git-tree-sha1 = "9d6ee72846790ac6aeaec4fd5957a1204c35652f"
@@ -339,14 +349,14 @@ git-tree-sha1 = "17db1566d589e68dc79cc0bb003b04af8da9da8f"
     url = "https://files.gap-system.org/pkg/difsets-2.3.1.tar.gz"
 
 [GAP_pkg_digraphs]
-git-tree-sha1 = "4099530d50e191a1e3f57440ce25486df8232278"
+git-tree-sha1 = "881545956eecc2e7dfe55fcd20755cdec708132e"
 
     [[GAP_pkg_digraphs.download]]
-    sha256 = "08dcc08be73a042f85ec1694111f91b1026b3241483f74f7100b308bbf9c4f11"
-    url = "https://github.com/digraphs/Digraphs/releases/download/v1.9.0/digraphs-1.9.0.tar.gz"
+    sha256 = "e1968f3bc2ffccd99fb407836e9f67c8916aa8e3362ffec9e0d9c653efbfb1e8"
+    url = "https://github.com/digraphs/Digraphs/releases/download/v1.11.0/digraphs-1.11.0.tar.gz"
     [[GAP_pkg_digraphs.download]]
-    sha256 = "08dcc08be73a042f85ec1694111f91b1026b3241483f74f7100b308bbf9c4f11"
-    url = "https://files.gap-system.org/pkg/digraphs-1.9.0.tar.gz"
+    sha256 = "e1968f3bc2ffccd99fb407836e9f67c8916aa8e3362ffec9e0d9c653efbfb1e8"
+    url = "https://files.gap-system.org/pkg/digraphs-1.11.0.tar.gz"
 
 [GAP_pkg_edim]
 git-tree-sha1 = "af19036c239a2d3e28884dd13ea7a02d1e8adf89"
@@ -359,14 +369,14 @@ git-tree-sha1 = "af19036c239a2d3e28884dd13ea7a02d1e8adf89"
     url = "https://files.gap-system.org/pkg/EDIM-1.3.8.tar.bz2"
 
 [GAP_pkg_example]
-git-tree-sha1 = "c4e3d02756d01144f569550fa3bb1c294011c7cd"
+git-tree-sha1 = "7c67faf302e60dd420fa359cc15f7a5fcf214464"
 
     [[GAP_pkg_example.download]]
-    sha256 = "56abe7342b9c1eae77a18adfd43cd51f2eaee1b2988eaeeeadbc9125ca4013c0"
-    url = "https://github.com/gap-packages/example/releases/download/v4.4.0/Example-4.4.0.tar.gz"
+    sha256 = "a7c9baf7eb0d2f039007dc15866b2c9e2f582644762312969d04d383e4e22b04"
+    url = "https://github.com/gap-packages/example/releases/download/v4.4.1/Example-4.4.1.tar.gz"
     [[GAP_pkg_example.download]]
-    sha256 = "56abe7342b9c1eae77a18adfd43cd51f2eaee1b2988eaeeeadbc9125ca4013c0"
-    url = "https://files.gap-system.org/pkg/Example-4.4.0.tar.gz"
+    sha256 = "a7c9baf7eb0d2f039007dc15866b2c9e2f582644762312969d04d383e4e22b04"
+    url = "https://files.gap-system.org/pkg/Example-4.4.1.tar.gz"
 
 [GAP_pkg_examplesforhomalg]
 git-tree-sha1 = "71a13987025460a1c7aa6ce3c8e46fe55005f2c7"
@@ -419,14 +429,14 @@ git-tree-sha1 = "cfe83654260acb5f38ee25229dca3483787fe3c0"
     url = "https://files.gap-system.org/pkg/fining-1.5.6.tar.gz"
 
 [GAP_pkg_float]
-git-tree-sha1 = "15b16161914b5c370103378f617ee27000dd6af7"
+git-tree-sha1 = "dd4690a5b70e06b793e405bf4960a1bd5cee3e1b"
 
     [[GAP_pkg_float.download]]
-    sha256 = "d7c07cc3fe892c2fd8a808624ee3e24d5412e44e38325a7e946bab821d3b75a0"
-    url = "https://github.com/gap-packages/float/releases/download/v1.0.5/float-1.0.5.tar.gz"
+    sha256 = "cf4e87714ef774d5d760ef252f81bcfe6d0b3bb726ae263c602c68cd5d3a495b"
+    url = "https://github.com/gap-packages/float/releases/download/v1.0.9/float-1.0.9.tar.gz"
     [[GAP_pkg_float.download]]
-    sha256 = "d7c07cc3fe892c2fd8a808624ee3e24d5412e44e38325a7e946bab821d3b75a0"
-    url = "https://files.gap-system.org/pkg/float-1.0.5.tar.gz"
+    sha256 = "cf4e87714ef774d5d760ef252f81bcfe6d0b3bb726ae263c602c68cd5d3a495b"
+    url = "https://files.gap-system.org/pkg/float-1.0.9.tar.gz"
 
 [GAP_pkg_format]
 git-tree-sha1 = "67b8015b0365a7cb76c9d2a9fa4112d213dd11e0"
@@ -439,24 +449,24 @@ git-tree-sha1 = "67b8015b0365a7cb76c9d2a9fa4112d213dd11e0"
     url = "https://files.gap-system.org/pkg/format-1.4.4.tar.gz"
 
 [GAP_pkg_forms]
-git-tree-sha1 = "f8b96df2476665ba3af230619f5b904b3525cacf"
+git-tree-sha1 = "9d95645c998357a8fe8a4f2ff836b3ca396ad81b"
 
     [[GAP_pkg_forms.download]]
-    sha256 = "8aad253f7744af5c787f6a7bc306968dd2d1821a44772b81367b6f0e6e0e4dc8"
-    url = "https://github.com/gap-packages/forms/releases/download/v1.2.12/forms-1.2.12.tar.gz"
+    sha256 = "0b389987b9dd19e66fa01944f9de41bb508acb4f6f6c3118d005420754fcbd39"
+    url = "https://github.com/gap-packages/forms/releases/download/v1.2.13/forms-1.2.13.tar.gz"
     [[GAP_pkg_forms.download]]
-    sha256 = "8aad253f7744af5c787f6a7bc306968dd2d1821a44772b81367b6f0e6e0e4dc8"
-    url = "https://files.gap-system.org/pkg/forms-1.2.12.tar.gz"
+    sha256 = "0b389987b9dd19e66fa01944f9de41bb508acb4f6f6c3118d005420754fcbd39"
+    url = "https://files.gap-system.org/pkg/forms-1.2.13.tar.gz"
 
 [GAP_pkg_fplsa]
-git-tree-sha1 = "7cc6c127ac2a18f3d1292181dc0e1d952ddc49be"
+git-tree-sha1 = "153a6957fd15e1788af9bb2db31b77b8f80d6c7d"
 
     [[GAP_pkg_fplsa.download]]
-    sha256 = "cd9fb93eb4198955070d836575e15f6e156c7fee417fef9c42c8fc3502ba422f"
-    url = "https://github.com/gap-packages/FPLSA/releases/download/v1.2.6/FPLSA-1.2.6.tar.gz"
+    sha256 = "eb3400869479a547c80f7b461ce0dceec5d480fa7042f2abffc2fd8d3df05fc3"
+    url = "https://github.com/gap-packages/FPLSA/releases/download/v1.2.7/FPLSA-1.2.7.tar.gz"
     [[GAP_pkg_fplsa.download]]
-    sha256 = "cd9fb93eb4198955070d836575e15f6e156c7fee417fef9c42c8fc3502ba422f"
-    url = "https://files.gap-system.org/pkg/FPLSA-1.2.6.tar.gz"
+    sha256 = "eb3400869479a547c80f7b461ce0dceec5d480fa7042f2abffc2fd8d3df05fc3"
+    url = "https://files.gap-system.org/pkg/FPLSA-1.2.7.tar.gz"
 
 [GAP_pkg_fr]
 git-tree-sha1 = "010eefd229a50c10f468be2df812320add0713b6"
@@ -529,14 +539,14 @@ git-tree-sha1 = "52bd959fce1fc3c83ef346a6549001122519753e"
     url = "https://files.gap-system.org/pkg/gbnp-1.1.0.tar.gz"
 
 [GAP_pkg_generalizedmorphismsforcap]
-git-tree-sha1 = "2abc76a796ba2cd63eda1f80d2c4ef44974259e2"
+git-tree-sha1 = "ba3f9c3b81d0cf53f3ac623c085ba01c8f4bda63"
 
     [[GAP_pkg_generalizedmorphismsforcap.download]]
-    sha256 = "c696b939b22105edd13e86abbc88ff20844f32b766eb11e006f541885391a453"
-    url = "https://github.com/homalg-project/CAP_project/releases/download/GeneralizedMorphismsForCAP-2024.09-03/GeneralizedMorphismsForCAP-2024.09-03.tar.gz"
+    sha256 = "ebe915f6bb2ff8528aef6f3c313e8996c0f1ff320ddd54777aadd44f16fca068"
+    url = "https://github.com/homalg-project/CAP_project/releases/download/GeneralizedMorphismsForCAP-2025.08-01/GeneralizedMorphismsForCAP-2025.08-01.tar.gz"
     [[GAP_pkg_generalizedmorphismsforcap.download]]
-    sha256 = "c696b939b22105edd13e86abbc88ff20844f32b766eb11e006f541885391a453"
-    url = "https://files.gap-system.org/pkg/GeneralizedMorphismsForCAP-2024.09-03.tar.gz"
+    sha256 = "ebe915f6bb2ff8528aef6f3c313e8996c0f1ff320ddd54777aadd44f16fca068"
+    url = "https://files.gap-system.org/pkg/GeneralizedMorphismsForCAP-2025.08-01.tar.gz"
 
 [GAP_pkg_genss]
 git-tree-sha1 = "3bd5aa8803ed3ecf4febde53e2c27a242d2631e1"
@@ -549,14 +559,14 @@ git-tree-sha1 = "3bd5aa8803ed3ecf4febde53e2c27a242d2631e1"
     url = "https://files.gap-system.org/pkg/genss-1.6.9.tar.gz"
 
 [GAP_pkg_gradedmodules]
-git-tree-sha1 = "bf849e799e1863f0ad4a5f5d10fab9a681c412d9"
+git-tree-sha1 = "9dc9776a6e9704fdc9dc526779405d268cb8eb20"
 
     [[GAP_pkg_gradedmodules.download]]
-    sha256 = "9e6fbe846547dfad519264cdb40a1ffb0b2a8b2a56bc7b1ccf35f002bb50fc1f"
-    url = "https://github.com/homalg-project/homalg_project/releases/download/GradedModules-2024.01-01/GradedModules-2024.01-01.tar.gz"
+    sha256 = "da32a22d7f31e14665541a4ae234b2d922020e3e71be13aeaafa6d925bbc4b3e"
+    url = "https://github.com/homalg-project/homalg_project/releases/download/GradedModules-2024.12-01/GradedModules-2024.12-01.tar.gz"
     [[GAP_pkg_gradedmodules.download]]
-    sha256 = "9e6fbe846547dfad519264cdb40a1ffb0b2a8b2a56bc7b1ccf35f002bb50fc1f"
-    url = "https://files.gap-system.org/pkg/GradedModules-2024.01-01.tar.gz"
+    sha256 = "da32a22d7f31e14665541a4ae234b2d922020e3e71be13aeaafa6d925bbc4b3e"
+    url = "https://files.gap-system.org/pkg/GradedModules-2024.12-01.tar.gz"
 
 [GAP_pkg_gradedringforhomalg]
 git-tree-sha1 = "20105a8eaef7978225b3f57ea77984793c961faa"
@@ -579,14 +589,14 @@ git-tree-sha1 = "3bae6ff0cbde133ccb35564f20605d14515d55c3"
     url = "https://files.gap-system.org/pkg/grape-4.9.2.tar.gz"
 
 [GAP_pkg_groupoids]
-git-tree-sha1 = "1713180386876088abec8b30728e2e0b04ae915e"
+git-tree-sha1 = "e5660eec4e625109f1897e049e985d74b148d62e"
 
     [[GAP_pkg_groupoids.download]]
-    sha256 = "8cd72faccd33b82bbc7fa65aa959b406dbbe86589c2d4b54139741feb1541fd5"
-    url = "https://github.com/gap-packages/groupoids/releases/download/v1.76/groupoids-1.76.tar.gz"
+    sha256 = "dc910c9fb9f56c24079e73bd1a1ca8574d32aa98f6f7b37393c8ea09c828dbf2"
+    url = "https://github.com/gap-packages/groupoids/releases/download/v1.78/groupoids-1.78.tar.gz"
     [[GAP_pkg_groupoids.download]]
-    sha256 = "8cd72faccd33b82bbc7fa65aa959b406dbbe86589c2d4b54139741feb1541fd5"
-    url = "https://files.gap-system.org/pkg/groupoids-1.76.tar.gz"
+    sha256 = "dc910c9fb9f56c24079e73bd1a1ca8574d32aa98f6f7b37393c8ea09c828dbf2"
+    url = "https://files.gap-system.org/pkg/groupoids-1.78.tar.gz"
 
 [GAP_pkg_grpconst]
 git-tree-sha1 = "09996118aac9e5ae8b612cdb35028626d596c7de"
@@ -609,24 +619,24 @@ git-tree-sha1 = "e16a454c20f6e33ef785702b51225f594faeb17d"
     url = "https://files.gap-system.org/pkg/guarana-0.96.3.tar.gz"
 
 [GAP_pkg_guava]
-git-tree-sha1 = "d0c29f276aa42255b6c96fff2404cfd68351ec03"
+git-tree-sha1 = "1a54c9820d5b814418020102bfd7d17f3fe305a9"
 
     [[GAP_pkg_guava.download]]
-    sha256 = "653fa83dfb97702eab0936c2e8db6d293a4d55fd73f8e5e6f3847ee19da3fe3d"
-    url = "https://github.com/gap-packages/guava/releases/download/v3.19/guava-3.19.tar.gz"
+    sha256 = "a6a19aae3dc8d32569d2c98715c3de84df88e65819ce70bdb7595850de5cbe56"
+    url = "https://github.com/gap-packages/guava/releases/download/v3.20/guava-3.20.tar.gz"
     [[GAP_pkg_guava.download]]
-    sha256 = "653fa83dfb97702eab0936c2e8db6d293a4d55fd73f8e5e6f3847ee19da3fe3d"
-    url = "https://files.gap-system.org/pkg/guava-3.19.tar.gz"
+    sha256 = "a6a19aae3dc8d32569d2c98715c3de84df88e65819ce70bdb7595850de5cbe56"
+    url = "https://files.gap-system.org/pkg/guava-3.20.tar.gz"
 
 [GAP_pkg_hap]
-git-tree-sha1 = "a483373bf49f3d4c627c19d32729d3213ecf0701"
+git-tree-sha1 = "0a91782e221bed2ccaabedfbf77981077075a316"
 
     [[GAP_pkg_hap.download]]
-    sha256 = "b51f9def8f15e0859d58aa4fa5c5852b4d8a5f76c328ef612c280b7aa024089d"
-    url = "https://github.com/gap-packages/hap/releases/download/v1.66/hap-1.66.tar.gz"
+    sha256 = "300e776141be73f807a2fbdfc0ce45d871c8d4a765dc2ca3b49ba38db9d51861"
+    url = "https://github.com/gap-packages/hap/releases/download/v1.70/hap-1.70.tar.gz"
     [[GAP_pkg_hap.download]]
-    sha256 = "b51f9def8f15e0859d58aa4fa5c5852b4d8a5f76c328ef612c280b7aa024089d"
-    url = "https://files.gap-system.org/pkg/hap-1.66.tar.gz"
+    sha256 = "300e776141be73f807a2fbdfc0ce45d871c8d4a765dc2ca3b49ba38db9d51861"
+    url = "https://files.gap-system.org/pkg/hap-1.70.tar.gz"
 
 [GAP_pkg_hapcryst]
 git-tree-sha1 = "1c94fdb42a4b1584fc8abf8a4559054a1b73d88b"
@@ -678,6 +688,16 @@ git-tree-sha1 = "1a828c4b2ee76205e19a01509fc0d3579894f287"
     sha256 = "59c422b1b156b8d17d9a55a1335193b976724cfa2d8340d8733eda2232e81ac6"
     url = "https://files.gap-system.org/pkg/HomalgToCAS-2023.11-01.tar.gz"
 
+[GAP_pkg_ibnp]
+git-tree-sha1 = "ac2d5f7685fa427511277353b0e4b5f7e925a741"
+
+    [[GAP_pkg_ibnp.download]]
+    sha256 = "30bf5169a62a826e4e08d5aa759b844d1a808f7e04d6140a2c1921e554aa37a1"
+    url = "https://github.com/gap-packages/ibnp/releases/download/v0.16/IBNP-0.16.tar.gz"
+    [[GAP_pkg_ibnp.download]]
+    sha256 = "30bf5169a62a826e4e08d5aa759b844d1a808f7e04d6140a2c1921e554aa37a1"
+    url = "https://files.gap-system.org/pkg/IBNP-0.16.tar.gz"
+
 [GAP_pkg_idrel]
 git-tree-sha1 = "bded145739036228dc5b0123e8205189b619329a"
 
@@ -698,6 +718,16 @@ git-tree-sha1 = "3f9b87b7f8d8fa730055634ea0beccf77077114a"
     sha256 = "69fc28df4be32613ec9b7af56fbf935148f6b500b21681f4ce8fe85400093276"
     url = "https://files.gap-system.org/pkg/images-1.3.3.tar.gz"
 
+[GAP_pkg_inducereduce]
+git-tree-sha1 = "67c98b449e6f2d3532c1d9b3c6d6009003444e24"
+
+    [[GAP_pkg_inducereduce.download]]
+    sha256 = "37927103047c0f577f35a57a5f92e34b1b322be93a03404e3eac9ef64e5c8dcc"
+    url = "https://github.com/gap-packages/InduceReduce/releases/download/v1.1/InduceReduce-1.1.tar.gz"
+    [[GAP_pkg_inducereduce.download]]
+    sha256 = "37927103047c0f577f35a57a5f92e34b1b322be93a03404e3eac9ef64e5c8dcc"
+    url = "https://files.gap-system.org/pkg/InduceReduce-1.1.tar.gz"
+
 [GAP_pkg_intpic]
 git-tree-sha1 = "d2f7b5f8b69b1f2f14b64fd61d86b744b039f5a6"
 
@@ -709,14 +739,14 @@ git-tree-sha1 = "d2f7b5f8b69b1f2f14b64fd61d86b744b039f5a6"
     url = "https://files.gap-system.org/pkg/IntPic-0.4.0.tar.gz"
 
 [GAP_pkg_io]
-git-tree-sha1 = "d502c7db86aa6c4bd0cb0726764446755b816a2c"
+git-tree-sha1 = "663e891b34cd1e089d9d61fef0b9458b1c9d1052"
 
     [[GAP_pkg_io.download]]
-    sha256 = "edb0a8ab61ad36664e2ddaab38af052ad3e063479dfdb7985a10ebb8b1c7795b"
-    url = "https://github.com/gap-packages/io/releases/download/v4.9.1/io-4.9.1.tar.gz"
+    sha256 = "842926c02ecdfcc16ff31468c376dcf4fbb7faa5094e637c83d7b00a503900c3"
+    url = "https://github.com/gap-packages/io/releases/download/v4.9.3/io-4.9.3.tar.gz"
     [[GAP_pkg_io.download]]
-    sha256 = "edb0a8ab61ad36664e2ddaab38af052ad3e063479dfdb7985a10ebb8b1c7795b"
-    url = "https://files.gap-system.org/pkg/io-4.9.1.tar.gz"
+    sha256 = "842926c02ecdfcc16ff31468c376dcf4fbb7faa5094e637c83d7b00a503900c3"
+    url = "https://files.gap-system.org/pkg/io-4.9.3.tar.gz"
 
 [GAP_pkg_io_forhomalg]
 git-tree-sha1 = "58894f1b9f692c1f94e1a837631859eb9b73d2a6"
@@ -749,14 +779,14 @@ git-tree-sha1 = "dba572f45d162daa9e0f1137b520eca1e73565d9"
     url = "https://files.gap-system.org/pkg/itc-1.5.1.tar.gz"
 
 [GAP_pkg_json]
-git-tree-sha1 = "2f356a69be9c9b8a0f0442eb1139e5032a0d64bc"
+git-tree-sha1 = "67ea3624781eae50cf645c0c3ce9e17f5161e371"
 
     [[GAP_pkg_json.download]]
-    sha256 = "4991f1f1fadba4b2369ba808a5976b722261ea1dbe11d15339260983684c953b"
-    url = "https://github.com/gap-packages/json/releases/download/v2.2.2/json-2.2.2.tar.gz"
+    sha256 = "a504a50d662c3d1167e25aba9be2f528a2f907c832a4dd452e7e915a3ebc5f39"
+    url = "https://github.com/gap-packages/json/releases/download/v2.2.3/json-2.2.3.tar.gz"
     [[GAP_pkg_json.download]]
-    sha256 = "4991f1f1fadba4b2369ba808a5976b722261ea1dbe11d15339260983684c953b"
-    url = "https://files.gap-system.org/pkg/json-2.2.2.tar.gz"
+    sha256 = "a504a50d662c3d1167e25aba9be2f528a2f907c832a4dd452e7e915a3ebc5f39"
+    url = "https://files.gap-system.org/pkg/json-2.2.3.tar.gz"
 
 [GAP_pkg_jupyterkernel]
 git-tree-sha1 = "ed5d591e2b8dd350f366b1b9f51ff1560328ae74"
@@ -839,14 +869,14 @@ git-tree-sha1 = "56034fd3340466c0a8c79f472b52f463757c1cdb"
     url = "https://files.gap-system.org/pkg/liering-2.4.2.tar.gz"
 
 [GAP_pkg_linearalgebraforcap]
-git-tree-sha1 = "69c5187dd1c79a0719d5354fcc8aacc0adb13ed5"
+git-tree-sha1 = "42d44cf055ef72c2118b77ff45b82d6bd81ceecd"
 
     [[GAP_pkg_linearalgebraforcap.download]]
-    sha256 = "0f395f34eccbac810f5207efa38bb00d2daff67ae2075778c0555a1407f986ad"
-    url = "https://github.com/homalg-project/CAP_project/releases/download/LinearAlgebraForCAP-2024.10-01/LinearAlgebraForCAP-2024.10-01.tar.gz"
+    sha256 = "2543cfacca8e1907558ff9ad081609658f0560621635d7f203c9e4f183843fbe"
+    url = "https://github.com/homalg-project/CAP_project/releases/download/LinearAlgebraForCAP-2025.08-02/LinearAlgebraForCAP-2025.08-02.tar.gz"
     [[GAP_pkg_linearalgebraforcap.download]]
-    sha256 = "0f395f34eccbac810f5207efa38bb00d2daff67ae2075778c0555a1407f986ad"
-    url = "https://files.gap-system.org/pkg/LinearAlgebraForCAP-2024.10-01.tar.gz"
+    sha256 = "2543cfacca8e1907558ff9ad081609658f0560621635d7f203c9e4f183843fbe"
+    url = "https://files.gap-system.org/pkg/LinearAlgebraForCAP-2025.08-02.tar.gz"
 
 [GAP_pkg_lins]
 git-tree-sha1 = "ecf184ab819e5666ea9c8c6158d0961d38835fbb"
@@ -909,24 +939,24 @@ git-tree-sha1 = "62ce213993e347fe271d247d046ec2d977bc84f2"
     url = "https://files.gap-system.org/pkg/MapClass-1.4.6.tar.gz"
 
 [GAP_pkg_matgrp]
-git-tree-sha1 = "d413d757f11ee7db9016b638b55ccbddd10e1411"
+git-tree-sha1 = "efdfba3710a60187ccb7ce80e5b5c8a53bd9d1f0"
 
     [[GAP_pkg_matgrp.download]]
-    sha256 = "e93ee0ade034f9971a22c95781e55bdf728e5e951327e9b85d1e6cd667bb375a"
-    url = "https://www.math.colostate.edu/~hulpke/matgrp/matgrp0.71.tar.gz"
+    sha256 = "f41521d1be5ace9c44f4b1450b54bf8b8e0cfa0b2d5396befa59483d741be5c2"
+    url = "https://www.math.colostate.edu/~hulpke/matgrp/matgrp0.72.tar.gz"
     [[GAP_pkg_matgrp.download]]
-    sha256 = "e93ee0ade034f9971a22c95781e55bdf728e5e951327e9b85d1e6cd667bb375a"
-    url = "https://files.gap-system.org/pkg/matgrp0.71.tar.gz"
+    sha256 = "f41521d1be5ace9c44f4b1450b54bf8b8e0cfa0b2d5396befa59483d741be5c2"
+    url = "https://files.gap-system.org/pkg/matgrp0.72.tar.gz"
 
 [GAP_pkg_matricesforhomalg]
-git-tree-sha1 = "467bbf7c050e829de64d0e941d928f68f833ec57"
+git-tree-sha1 = "e6ada91175a4dcf14338f17d3b6418e7dc9d8d54"
 
     [[GAP_pkg_matricesforhomalg.download]]
-    sha256 = "0fd3a956ea22d291d2af98709beb85419b7e4c9fb97199ef9834316beea74c51"
-    url = "https://github.com/homalg-project/homalg_project/releases/download/MatricesForHomalg-2024.11-02/MatricesForHomalg-2024.11-02.tar.gz"
+    sha256 = "51c05fd1bf97d3d733b341d543f6b25325801e506dca0fcbee06ce069b83517f"
+    url = "https://github.com/homalg-project/homalg_project/releases/download/MatricesForHomalg-2025.08-01/MatricesForHomalg-2025.08-01.tar.gz"
     [[GAP_pkg_matricesforhomalg.download]]
-    sha256 = "0fd3a956ea22d291d2af98709beb85419b7e4c9fb97199ef9834316beea74c51"
-    url = "https://files.gap-system.org/pkg/MatricesForHomalg-2024.11-02.tar.gz"
+    sha256 = "51c05fd1bf97d3d733b341d543f6b25325801e506dca0fcbee06ce069b83517f"
+    url = "https://files.gap-system.org/pkg/MatricesForHomalg-2025.08-01.tar.gz"
 
 [GAP_pkg_modisom]
 git-tree-sha1 = "f9382593f4e30cacf8e7156ebd5e291c51667fde"
@@ -939,44 +969,44 @@ git-tree-sha1 = "f9382593f4e30cacf8e7156ebd5e291c51667fde"
     url = "https://files.gap-system.org/pkg/modisom-3.0.0.tar.gz"
 
 [GAP_pkg_modulepresentationsforcap]
-git-tree-sha1 = "1d19a13b65a366c5d2feaf7e8b39fdcb4fc15639"
+git-tree-sha1 = "43cb548dfbdbe491d02a2f4f19673af292d2c5ac"
 
     [[GAP_pkg_modulepresentationsforcap.download]]
-    sha256 = "1bdcd2694e771a609f36515989e2b3552220e7d09b49f1041a1e7536870f6352"
-    url = "https://github.com/homalg-project/CAP_project/releases/download/ModulePresentationsForCAP-2024.09-02/ModulePresentationsForCAP-2024.09-02.tar.gz"
+    sha256 = "0568c56aa52d9817dc32aba636fd56b1005cf51b675d4d97f1a766b8b0d91709"
+    url = "https://github.com/homalg-project/CAP_project/releases/download/ModulePresentationsForCAP-2025.08-02/ModulePresentationsForCAP-2025.08-02.tar.gz"
     [[GAP_pkg_modulepresentationsforcap.download]]
-    sha256 = "1bdcd2694e771a609f36515989e2b3552220e7d09b49f1041a1e7536870f6352"
-    url = "https://files.gap-system.org/pkg/ModulePresentationsForCAP-2024.09-02.tar.gz"
+    sha256 = "0568c56aa52d9817dc32aba636fd56b1005cf51b675d4d97f1a766b8b0d91709"
+    url = "https://files.gap-system.org/pkg/ModulePresentationsForCAP-2025.08-02.tar.gz"
 
 [GAP_pkg_modules]
-git-tree-sha1 = "29fa8f97c4e5897d9d8c3879a895e333f6822b19"
+git-tree-sha1 = "76d1251a251a51e4e3f4a071fb9ee190fe10171b"
 
     [[GAP_pkg_modules.download]]
-    sha256 = "63abbfc5738355abec5bf64ae0b4217dfc217b674f1aaa514e0a5ea736268d80"
-    url = "https://github.com/homalg-project/homalg_project/releases/download/Modules-2024.01-01/Modules-2024.01-01.tar.gz"
+    sha256 = "1a2acdd673ad06c43ab54513d5523d0b5ff31b9904a3d25567a27f964017d6b6"
+    url = "https://github.com/homalg-project/homalg_project/releases/download/Modules-2024.12-01/Modules-2024.12-01.tar.gz"
     [[GAP_pkg_modules.download]]
-    sha256 = "63abbfc5738355abec5bf64ae0b4217dfc217b674f1aaa514e0a5ea736268d80"
-    url = "https://files.gap-system.org/pkg/Modules-2024.01-01.tar.gz"
+    sha256 = "1a2acdd673ad06c43ab54513d5523d0b5ff31b9904a3d25567a27f964017d6b6"
+    url = "https://files.gap-system.org/pkg/Modules-2024.12-01.tar.gz"
 
 [GAP_pkg_monoidalcategories]
-git-tree-sha1 = "405e003650edaad899c2b4777be50698efd157e2"
+git-tree-sha1 = "6b8513b6cb3b4de7792c870bad84e6197c5a5444"
 
     [[GAP_pkg_monoidalcategories.download]]
-    sha256 = "cd78c67ee8c6f73a24e2093d40980c1cd10e14ceb1cee2da01afdb8dfb9a76d7"
-    url = "https://github.com/homalg-project/CAP_project/releases/download/MonoidalCategories-2024.09-05/MonoidalCategories-2024.09-05.tar.gz"
+    sha256 = "8b5b704030176a0fde43d82380c262102460f1402e389e4e0a13b74c0e73b93e"
+    url = "https://github.com/homalg-project/CAP_project/releases/download/MonoidalCategories-2025.08-02/MonoidalCategories-2025.08-02.tar.gz"
     [[GAP_pkg_monoidalcategories.download]]
-    sha256 = "cd78c67ee8c6f73a24e2093d40980c1cd10e14ceb1cee2da01afdb8dfb9a76d7"
-    url = "https://files.gap-system.org/pkg/MonoidalCategories-2024.09-05.tar.gz"
+    sha256 = "8b5b704030176a0fde43d82380c262102460f1402e389e4e0a13b74c0e73b93e"
+    url = "https://files.gap-system.org/pkg/MonoidalCategories-2025.08-02.tar.gz"
 
 [GAP_pkg_nconvex]
-git-tree-sha1 = "114fbaecd732ad1d7cba14d17b0ad1729739bb3f"
+git-tree-sha1 = "4e1ce0398fce917bd57c3dc6d21f69f9280f8ae5"
 
     [[GAP_pkg_nconvex.download]]
-    sha256 = "425d1debd92b16782e6b18e684c21bb8248f87fe33c30ebcd1dc429320cb0112"
-    url = "https://github.com/homalg-project/NConvex/releases/download/v2022.09-01/NConvex-2022.09-01.tar.gz"
+    sha256 = "d8396d9de36a0df3047f0389f3f25a08b97349f525ebf1c5fd45372e00c24d0f"
+    url = "https://github.com/homalg-project/NConvex/releases/download/v2024.12-01/NConvex-2024.12-01.tar.gz"
     [[GAP_pkg_nconvex.download]]
-    sha256 = "425d1debd92b16782e6b18e684c21bb8248f87fe33c30ebcd1dc429320cb0112"
-    url = "https://files.gap-system.org/pkg/NConvex-2022.09-01.tar.gz"
+    sha256 = "d8396d9de36a0df3047f0389f3f25a08b97349f525ebf1c5fd45372e00c24d0f"
+    url = "https://files.gap-system.org/pkg/NConvex-2024.12-01.tar.gz"
 
 [GAP_pkg_nilmat]
 git-tree-sha1 = "a6b95173e0e503d4fde5fd64a48e33e8dfa5207d"
@@ -999,14 +1029,14 @@ git-tree-sha1 = "3aa9a1de3583e4dd185087801cc15dbc071a7a89"
     url = "https://files.gap-system.org/pkg/NoCK-1.5.tar.gz"
 
 [GAP_pkg_normalizinterface]
-git-tree-sha1 = "c1466865fc9533ce67cbcd62f9c51b5b2b01008b"
+git-tree-sha1 = "712b10895b5355425747ca13ad82f443c7d21c99"
 
     [[GAP_pkg_normalizinterface.download]]
-    sha256 = "286700d82a2b5a240ff8474990cecfb22526a80b0f28252a95f4792ccde4cb6b"
-    url = "https://github.com/gap-packages/NormalizInterface/releases/download/v1.3.7/NormalizInterface-1.3.7.tar.gz"
+    sha256 = "b186c1719f9110bbf96600283a7ab201851ab46571c00487be004a264063b572"
+    url = "https://github.com/gap-packages/NormalizInterface/releases/download/v1.4.1/NormalizInterface-1.4.1.tar.gz"
     [[GAP_pkg_normalizinterface.download]]
-    sha256 = "286700d82a2b5a240ff8474990cecfb22526a80b0f28252a95f4792ccde4cb6b"
-    url = "https://files.gap-system.org/pkg/NormalizInterface-1.3.7.tar.gz"
+    sha256 = "b186c1719f9110bbf96600283a7ab201851ab46571c00487be004a264063b572"
+    url = "https://files.gap-system.org/pkg/NormalizInterface-1.4.1.tar.gz"
 
 [GAP_pkg_nq]
 git-tree-sha1 = "224c55c065fa3ecfc9c8159a44c1c20a02a29952"
@@ -1039,24 +1069,24 @@ git-tree-sha1 = "72892451740a1640e9145e7223fbbb9ea05f73cb"
     url = "https://files.gap-system.org/pkg/OpenMath-11.5.3.tar.gz"
 
 [GAP_pkg_orb]
-git-tree-sha1 = "d2699bc535431a1a992c845ba15bb224033d477e"
+git-tree-sha1 = "d28264305e79c9a262056fe687c0563c9b887037"
 
     [[GAP_pkg_orb.download]]
-    sha256 = "747b963f1125b51244b279ed090f2a15d480d88beb4782b1ae0307fbc3daed8a"
-    url = "https://github.com/gap-packages/orb/releases/download/v4.9.1/orb-4.9.1.tar.gz"
+    sha256 = "3f8430f5ba49bab1ce69d13894fff30bc1dd04bbf371e4a872740c93c51fd246"
+    url = "https://github.com/gap-packages/orb/releases/download/v5.0.1/orb-5.0.1.tar.gz"
     [[GAP_pkg_orb.download]]
-    sha256 = "747b963f1125b51244b279ed090f2a15d480d88beb4782b1ae0307fbc3daed8a"
-    url = "https://files.gap-system.org/pkg/orb-4.9.1.tar.gz"
+    sha256 = "3f8430f5ba49bab1ce69d13894fff30bc1dd04bbf371e4a872740c93c51fd246"
+    url = "https://files.gap-system.org/pkg/orb-5.0.1.tar.gz"
 
 [GAP_pkg_packagemanager]
-git-tree-sha1 = "5d1e78116730c3beba5d6f3e736aa0d298b9ebca"
+git-tree-sha1 = "cdcec7e7f3639bc47c6029c31f0094e875d0d33a"
 
     [[GAP_pkg_packagemanager.download]]
-    sha256 = "2df07433a9cc096614ab480692c70e8bd6dd57dc73bb7a34a327713ec41f4fd7"
-    url = "https://github.com/gap-packages/PackageManager/releases/download/v1.6.1/PackageManager-1.6.1.tar.gz"
+    sha256 = "db852b5dcdd60697e1588fb4997fd33e8a33dfa4f784b6e702d1b9e0509b729b"
+    url = "https://github.com/gap-packages/PackageManager/releases/download/v1.6.3/PackageManager-1.6.3.tar.gz"
     [[GAP_pkg_packagemanager.download]]
-    sha256 = "2df07433a9cc096614ab480692c70e8bd6dd57dc73bb7a34a327713ec41f4fd7"
-    url = "https://files.gap-system.org/pkg/PackageManager-1.6.1.tar.gz"
+    sha256 = "db852b5dcdd60697e1588fb4997fd33e8a33dfa4f784b6e702d1b9e0509b729b"
+    url = "https://files.gap-system.org/pkg/PackageManager-1.6.3.tar.gz"
 
 [GAP_pkg_patternclass]
 git-tree-sha1 = "fee90f5d2b6a3b57ab2a64a9da71bfc9b59d57ae"
@@ -1079,24 +1109,24 @@ git-tree-sha1 = "3dfdb53512efdf80b935aa39420faaeca66d318b"
     url = "https://files.gap-system.org/pkg/permut-2.0.5.tar.gz"
 
 [GAP_pkg_polenta]
-git-tree-sha1 = "1c645652101d0430827cb16c480c415e616eb4bd"
+git-tree-sha1 = "3cd9bfa2fecf4ef32613f461ac7400de59d5e3ea"
 
     [[GAP_pkg_polenta.download]]
-    sha256 = "590092933940acaecdfaf2114a993696decca95cfc8eb324852dd4fc4abdebb8"
-    url = "https://github.com/gap-packages/polenta/releases/download/v1.3.10/polenta-1.3.10.tar.gz"
+    sha256 = "aabf20981e438c2b361f416527163ae299a27a0a95ff3eb908a1aeae07b21bc1"
+    url = "https://github.com/gap-packages/polenta/releases/download/v1.3.11/polenta-1.3.11.tar.gz"
     [[GAP_pkg_polenta.download]]
-    sha256 = "590092933940acaecdfaf2114a993696decca95cfc8eb324852dd4fc4abdebb8"
-    url = "https://files.gap-system.org/pkg/polenta-1.3.10.tar.gz"
+    sha256 = "aabf20981e438c2b361f416527163ae299a27a0a95ff3eb908a1aeae07b21bc1"
+    url = "https://files.gap-system.org/pkg/polenta-1.3.11.tar.gz"
 
 [GAP_pkg_polycyclic]
-git-tree-sha1 = "19ffad54a31cc364e445481a652355b3591c8c1f"
+git-tree-sha1 = "f418e0ac1519fa4a960111464ab62ae529cc3a59"
 
     [[GAP_pkg_polycyclic.download]]
-    sha256 = "6983a72c90d92d0e6a3706dde7686c4a5658e48b04b5889d24808939896df007"
-    url = "https://github.com/gap-packages/polycyclic/releases/download/v2.16/polycyclic-2.16.tar.gz"
+    sha256 = "0d82a709155db7a0d3db7dd7ce96a50c7e7f4bd07dd0085eb0009de01f1e2ca1"
+    url = "https://github.com/gap-packages/polycyclic/releases/download/v2.17/polycyclic-2.17.tar.gz"
     [[GAP_pkg_polycyclic.download]]
-    sha256 = "6983a72c90d92d0e6a3706dde7686c4a5658e48b04b5889d24808939896df007"
-    url = "https://files.gap-system.org/pkg/polycyclic-2.16.tar.gz"
+    sha256 = "0d82a709155db7a0d3db7dd7ce96a50c7e7f4bd07dd0085eb0009de01f1e2ca1"
+    url = "https://files.gap-system.org/pkg/polycyclic-2.17.tar.gz"
 
 [GAP_pkg_polymaking]
 git-tree-sha1 = "87a1302e830d9cc9a0c39b3eb58a2508db038e2d"
@@ -1109,34 +1139,34 @@ git-tree-sha1 = "87a1302e830d9cc9a0c39b3eb58a2508db038e2d"
     url = "https://files.gap-system.org/pkg/polymaking-0.8.7.tar.gz"
 
 [GAP_pkg_primgrp]
-git-tree-sha1 = "f21a1e00bcecbba5daff832e0d7dcd3f7b2b30ed"
+git-tree-sha1 = "25c2b17905889efc3ff49de490b72b24b95d8d61"
 
     [[GAP_pkg_primgrp.download]]
-    sha256 = "9d6fde0fa4658100f662c364f77c9fd67b1699e9f3dbb60306ed357cc5837cff"
-    url = "https://github.com/gap-packages/primgrp/releases/download/v3.4.4/primgrp-3.4.4.tar.gz"
+    sha256 = "e92c4ed3f04dee7b429463b51047701d309f24f94639b84da5e35b620e16916b"
+    url = "https://github.com/gap-packages/primgrp/releases/download/v4.0.0/primgrp-4.0.0.tar.gz"
     [[GAP_pkg_primgrp.download]]
-    sha256 = "9d6fde0fa4658100f662c364f77c9fd67b1699e9f3dbb60306ed357cc5837cff"
-    url = "https://files.gap-system.org/pkg/primgrp-3.4.4.tar.gz"
+    sha256 = "e92c4ed3f04dee7b429463b51047701d309f24f94639b84da5e35b620e16916b"
+    url = "https://files.gap-system.org/pkg/primgrp-4.0.0.tar.gz"
 
 [GAP_pkg_profiling]
-git-tree-sha1 = "46f4a7af935e98a00d0fa56634d02e5e5dc84b4b"
+git-tree-sha1 = "e979d62f0bcce6f3d639459ff255d9168f20c535"
 
     [[GAP_pkg_profiling.download]]
-    sha256 = "6bdb7e3e908c45d4b683be4fbb60a733ec75a171c242e16251d5ed8602cac43a"
-    url = "https://github.com/gap-packages/profiling/releases/download/v2.6.0/profiling-2.6.0.tar.gz"
+    sha256 = "bc8bb0839ee400915df1c809ba9ba131c34bd022d194db4d4828115d7dbf8e99"
+    url = "https://github.com/gap-packages/profiling/releases/download/v2.6.2/profiling-2.6.2.tar.gz"
     [[GAP_pkg_profiling.download]]
-    sha256 = "6bdb7e3e908c45d4b683be4fbb60a733ec75a171c242e16251d5ed8602cac43a"
-    url = "https://files.gap-system.org/pkg/profiling-2.6.0.tar.gz"
+    sha256 = "bc8bb0839ee400915df1c809ba9ba131c34bd022d194db4d4828115d7dbf8e99"
+    url = "https://files.gap-system.org/pkg/profiling-2.6.2.tar.gz"
 
 [GAP_pkg_qdistrnd]
-git-tree-sha1 = "005fc01c885703dd4f02f036473eff2c65607964"
+git-tree-sha1 = "66dad973613335b11dfec4dba479214d101628af"
 
     [[GAP_pkg_qdistrnd.download]]
-    sha256 = "40c9751415e799e024a6cd01543fc9ae033673365fc66dbaeee1b052e30e2561"
-    url = "https://github.com/QEC-pages/QDistRnd/releases/download/v0.9.4/qdistrnd-0.9.4.tar.gz"
+    sha256 = "6ace3148eee647f20ec072ed7296bd5c385c165765af94a3bb66d3a0487f033e"
+    url = "https://github.com/QEC-pages/QDistRnd/releases/download/v0.9.5/qdistrnd-0.9.5.tar.gz"
     [[GAP_pkg_qdistrnd.download]]
-    sha256 = "40c9751415e799e024a6cd01543fc9ae033673365fc66dbaeee1b052e30e2561"
-    url = "https://files.gap-system.org/pkg/qdistrnd-0.9.4.tar.gz"
+    sha256 = "6ace3148eee647f20ec072ed7296bd5c385c165765af94a3bb66d3a0487f033e"
+    url = "https://files.gap-system.org/pkg/qdistrnd-0.9.5.tar.gz"
 
 [GAP_pkg_qpa]
 git-tree-sha1 = "e907d1b1d12537c0119105d6998b605a5ba49506"
@@ -1189,14 +1219,14 @@ git-tree-sha1 = "d891d5374199f94ee57cf346e70848e2f6514ce8"
     url = "https://files.gap-system.org/pkg/rds-1.8.tar.gz"
 
 [GAP_pkg_recog]
-git-tree-sha1 = "e6cd9b6bb8bd43d9565e5fe65165a137259c6e1d"
+git-tree-sha1 = "f9c77ab61e857e47f1eb878de165e20405225c61"
 
     [[GAP_pkg_recog.download]]
-    sha256 = "67a22055faa18b1ce132e746d6efacec9c6b976ea022ce820269ddb9cc12a9c9"
-    url = "https://github.com/gap-packages/recog/releases/download/v1.4.3/recog-1.4.3.tar.gz"
+    sha256 = "a9b11c0250669e18ef95060042011f5cbf17449155f8ed5bca0e1f17c1808c38"
+    url = "https://github.com/gap-packages/recog/releases/download/v1.4.4/recog-1.4.4.tar.gz"
     [[GAP_pkg_recog.download]]
-    sha256 = "67a22055faa18b1ce132e746d6efacec9c6b976ea022ce820269ddb9cc12a9c9"
-    url = "https://files.gap-system.org/pkg/recog-1.4.3.tar.gz"
+    sha256 = "a9b11c0250669e18ef95060042011f5cbf17449155f8ed5bca0e1f17c1808c38"
+    url = "https://files.gap-system.org/pkg/recog-1.4.4.tar.gz"
 
 [GAP_pkg_repndecomp]
 git-tree-sha1 = "e606b387fd5c3560554321b5de205fc9fe7a2ca5"
@@ -1249,24 +1279,24 @@ git-tree-sha1 = "4f674d0790d80affb12a9359d202dd60c27c4650"
     url = "https://files.gap-system.org/pkg/SCO-2023.08-01.tar.gz"
 
 [GAP_pkg_scscp]
-git-tree-sha1 = "38ebcaf5d6693ae193629c5bf8e9c80c44ad145e"
+git-tree-sha1 = "664a27cd7bad381ae9913e5c778ead30e92059c2"
 
     [[GAP_pkg_scscp.download]]
-    sha256 = "da62fac8baed7f5b3c41e065a9ce13a1d56a616cb13afd92b3af067be1306840"
-    url = "https://github.com/gap-packages/scscp/releases/download/v2.4.3/SCSCP-2.4.3.tar.gz"
+    sha256 = "6226fb76853ca94f37dd3fb74c3a99384c85e513bf4c3ea7a7ee5c43e9887d7e"
+    url = "https://github.com/gap-packages/scscp/releases/download/v2.4.4/SCSCP-2.4.4.tar.gz"
     [[GAP_pkg_scscp.download]]
-    sha256 = "da62fac8baed7f5b3c41e065a9ce13a1d56a616cb13afd92b3af067be1306840"
-    url = "https://files.gap-system.org/pkg/SCSCP-2.4.3.tar.gz"
+    sha256 = "6226fb76853ca94f37dd3fb74c3a99384c85e513bf4c3ea7a7ee5c43e9887d7e"
+    url = "https://files.gap-system.org/pkg/SCSCP-2.4.4.tar.gz"
 
 [GAP_pkg_semigroups]
-git-tree-sha1 = "8bf8637ba48dafaba5b04a4421f3302c7fc1e70a"
+git-tree-sha1 = "b9a06a044c016aa160b83a33e5b05433ced4cde5"
 
     [[GAP_pkg_semigroups.download]]
-    sha256 = "9a22d6c6cd2a99392e286b6a4636258cdf50a308655dc11f444696aa4880d98e"
-    url = "https://github.com/semigroups/Semigroups/releases/download/v5.4.0/semigroups-5.4.0.tar.gz"
+    sha256 = "df0488b14af106338009c0ae7dc8b7def9052fb3619a6ba53c31f60cc0731353"
+    url = "https://github.com/semigroups/Semigroups/releases/download/v5.5.4/semigroups-5.5.4.tar.gz"
     [[GAP_pkg_semigroups.download]]
-    sha256 = "9a22d6c6cd2a99392e286b6a4636258cdf50a308655dc11f444696aa4880d98e"
-    url = "https://files.gap-system.org/pkg/semigroups-5.4.0.tar.gz"
+    sha256 = "df0488b14af106338009c0ae7dc8b7def9052fb3619a6ba53c31f60cc0731353"
+    url = "https://files.gap-system.org/pkg/semigroups-5.5.4.tar.gz"
 
 [GAP_pkg_sglppow]
 git-tree-sha1 = "d8117da4d48ea5676110e84bfdc759cdbe5737fa"
@@ -1299,14 +1329,14 @@ git-tree-sha1 = "ca5936133ce557706cfe69817878f7ee44456e3c"
     url = "https://files.gap-system.org/pkg/simpcomp-2.1.14.tar.gz"
 
 [GAP_pkg_singular]
-git-tree-sha1 = "1bc145b473dd649faebe9486676a21a2ea109173"
+git-tree-sha1 = "08afeb849d63450cda3ad76e7259f1af039d87fc"
 
     [[GAP_pkg_singular.download]]
-    sha256 = "46d00b4b62130310a9b33225d87a56f0ea2e5fca541e171f7a938b6d9d8f3c29"
-    url = "https://github.com/gap-packages/singular/releases/download/v2024.06.03/singular-2024.06.03.tar.gz"
+    sha256 = "11456e65b805d094147f92158222dce98f26fd74f2f1c85595c13fab7dfa8685"
+    url = "https://github.com/gap-packages/singular/releases/download/v2025.08.26/singular-2025.08.26.tar.gz"
     [[GAP_pkg_singular.download]]
-    sha256 = "46d00b4b62130310a9b33225d87a56f0ea2e5fca541e171f7a938b6d9d8f3c29"
-    url = "https://files.gap-system.org/pkg/singular-2024.06.03.tar.gz"
+    sha256 = "11456e65b805d094147f92158222dce98f26fd74f2f1c85595c13fab7dfa8685"
+    url = "https://files.gap-system.org/pkg/singular-2025.08.26.tar.gz"
 
 [GAP_pkg_sl2reps]
 git-tree-sha1 = "7a42c929d2a89852337574d13f2f17f09538c167"
@@ -1329,14 +1359,14 @@ git-tree-sha1 = "f6353215406b277253336193280ff6e3b42005c1"
     url = "https://files.gap-system.org/pkg/sla-1.6.2.tar.gz"
 
 [GAP_pkg_smallantimagmas]
-git-tree-sha1 = "54d99710c906623194e051396e877f461537e4e7"
+git-tree-sha1 = "2f283eb6fbf5deb190da64859a8b0a38867c7233"
 
     [[GAP_pkg_smallantimagmas.download]]
-    sha256 = "d44cf44f760a5c3c94d97fc914317ca2509582090ea1c3b1bd038a1c2182c3c0"
-    url = "https://github.com/limakzi/smallantimagmas/releases/download/v0.2.12/smallantimagmas-v0.2.12.tar.gz"
+    sha256 = "dc3785bea30acaf892158e71273c00a630b2862190ab86d1639d137a46b595a1"
+    url = "https://github.com/gap-packages/smallantimagmas/releases/download/v0.4.1/smallantimagmas-v0.4.1.tar.gz"
     [[GAP_pkg_smallantimagmas.download]]
-    sha256 = "d44cf44f760a5c3c94d97fc914317ca2509582090ea1c3b1bd038a1c2182c3c0"
-    url = "https://files.gap-system.org/pkg/smallantimagmas-v0.2.12.tar.gz"
+    sha256 = "dc3785bea30acaf892158e71273c00a630b2862190ab86d1639d137a46b595a1"
+    url = "https://files.gap-system.org/pkg/smallantimagmas-v0.4.1.tar.gz"
 
 [GAP_pkg_smallgrp]
 git-tree-sha1 = "051592b40f95a6f5d5b80d6d417f6c442b446de1"
@@ -1349,14 +1379,14 @@ git-tree-sha1 = "051592b40f95a6f5d5b80d6d417f6c442b446de1"
     url = "https://files.gap-system.org/pkg/SmallGrp-1.5.4.tar.gz"
 
 [GAP_pkg_smallsemi]
-git-tree-sha1 = "da850f967269ba5fc06b868520b0f4007f0684db"
+git-tree-sha1 = "a7e4699ccd9af8b601e7f38cb044a0d55fc1cba4"
 
     [[GAP_pkg_smallsemi.download]]
-    sha256 = "c5d05dd93deafcd7eb29414eed366398f130de0f5ede57db1478f84360f62c32"
-    url = "https://github.com/gap-packages/smallsemi/releases/download/v0.7.1/smallsemi-0.7.1.tar.gz"
+    sha256 = "9771bd048021cfbde4b36bdb29ca85d3243e9edbfe6430b1041bcebaaa3af878"
+    url = "https://github.com/gap-packages/smallsemi/releases/download/v0.7.2/smallsemi-0.7.2.tar.gz"
     [[GAP_pkg_smallsemi.download]]
-    sha256 = "c5d05dd93deafcd7eb29414eed366398f130de0f5ede57db1478f84360f62c32"
-    url = "https://files.gap-system.org/pkg/smallsemi-0.7.1.tar.gz"
+    sha256 = "9771bd048021cfbde4b36bdb29ca85d3243e9edbfe6430b1041bcebaaa3af878"
+    url = "https://files.gap-system.org/pkg/smallsemi-0.7.2.tar.gz"
 
 [GAP_pkg_sonata]
 git-tree-sha1 = "d31bd1642e2f6c324e5928810cd3e54dad245a10"
@@ -1439,14 +1469,14 @@ git-tree-sha1 = "5cbbd05262ac4bbc21775ab7e7d1d75dce610920"
     url = "https://files.gap-system.org/pkg/tomlib-1.2.11.tar.gz"
 
 [GAP_pkg_toolsforhomalg]
-git-tree-sha1 = "02477b36eb89b7de7eb8ca573620702c0f8846eb"
+git-tree-sha1 = "05dc4a58be7de630e34ce280ac0bdd3fcee86c7b"
 
     [[GAP_pkg_toolsforhomalg.download]]
-    sha256 = "8d4d5485b02dcd7a7183fc7efe8e1e634d5cc5ffe6c50549935d06dfffae55b0"
-    url = "https://github.com/homalg-project/homalg_project/releases/download/ToolsForHomalg-2024.09-01/ToolsForHomalg-2024.09-01.tar.gz"
+    sha256 = "1c42f29895ad509a4b01ef57d98f3b5eaecb33f2b635107ae43256734f7911b5"
+    url = "https://github.com/homalg-project/homalg_project/releases/download/ToolsForHomalg-2025.05-01/ToolsForHomalg-2025.05-01.tar.gz"
     [[GAP_pkg_toolsforhomalg.download]]
-    sha256 = "8d4d5485b02dcd7a7183fc7efe8e1e634d5cc5ffe6c50549935d06dfffae55b0"
-    url = "https://files.gap-system.org/pkg/ToolsForHomalg-2024.09-01.tar.gz"
+    sha256 = "1c42f29895ad509a4b01ef57d98f3b5eaecb33f2b635107ae43256734f7911b5"
+    url = "https://files.gap-system.org/pkg/ToolsForHomalg-2025.05-01.tar.gz"
 
 [GAP_pkg_toric]
 git-tree-sha1 = "eeeb3a5a147b0417f4b9e053ba4521ccfe264bea"
@@ -1458,16 +1488,6 @@ git-tree-sha1 = "eeeb3a5a147b0417f4b9e053ba4521ccfe264bea"
     sha256 = "3cc7fd0da3c258371f41b15718212ade864d1ddc7dcc28a0b3e82cf8316db4bd"
     url = "https://files.gap-system.org/pkg/Toric-1.9.6.tar.gz"
 
-[GAP_pkg_toricvarieties]
-git-tree-sha1 = "8b9d4ab53becea6f8b2f5cb3f4a9de5ec80a488e"
-
-    [[GAP_pkg_toricvarieties.download]]
-    sha256 = "b438b60220e25a32717daa31ebdd953e434ffdeb133519284fe050916b37f0b1"
-    url = "https://github.com/homalg-project/ToricVarieties_project/releases/download/2022-07-13/ToricVarieties-2022.07.13.tar.gz"
-    [[GAP_pkg_toricvarieties.download]]
-    sha256 = "b438b60220e25a32717daa31ebdd953e434ffdeb133519284fe050916b37f0b1"
-    url = "https://files.gap-system.org/pkg/ToricVarieties-2022.07.13.tar.gz"
-
 [GAP_pkg_transgrp]
 git-tree-sha1 = "0308e773edbd0fa6000220e96226e6aa5aaad28d"
 
@@ -1479,14 +1499,14 @@ git-tree-sha1 = "0308e773edbd0fa6000220e96226e6aa5aaad28d"
     url = "https://files.gap-system.org/pkg/transgrp3.6.5.tar.gz"
 
 [GAP_pkg_typeset]
-git-tree-sha1 = "706936b2d834f0f5bc1b39408bddbd926f8f038d"
+git-tree-sha1 = "9a7588f6f5218ecaf3b963702ebe5139186a0bc8"
 
     [[GAP_pkg_typeset.download]]
-    sha256 = "cbceb7c4ce567a5a1fb9e86c4a2f1890d52cb3a5f349a88e13af3e8bb7a708ef"
-    url = "https://github.com/gap-packages/typeset/releases/download/v1.2.2/typeset-1.2.2.tar.gz"
+    sha256 = "c113c5df2119ddf41a38a26db435c63f3224cc2b50b5b1313c4791a085da33ad"
+    url = "https://github.com/gap-packages/typeset/releases/download/v1.2.3/typeset-1.2.3.tar.gz"
     [[GAP_pkg_typeset.download]]
-    sha256 = "cbceb7c4ce567a5a1fb9e86c4a2f1890d52cb3a5f349a88e13af3e8bb7a708ef"
-    url = "https://files.gap-system.org/pkg/typeset-1.2.2.tar.gz"
+    sha256 = "c113c5df2119ddf41a38a26db435c63f3224cc2b50b5b1313c4791a085da33ad"
+    url = "https://files.gap-system.org/pkg/typeset-1.2.3.tar.gz"
 
 [GAP_pkg_ugaly]
 git-tree-sha1 = "daf67e20d61675da2ab86e4900c78a8c82eaa2c8"
@@ -1509,24 +1529,24 @@ git-tree-sha1 = "d0fbd9a65b6f2eba764078ed347473dfcff3c8df"
     url = "https://files.gap-system.org/pkg/unipot-1.6.tar.gz"
 
 [GAP_pkg_unitlib]
-git-tree-sha1 = "e5249ef20db571af0c59fddf24ef1cbae743ee95"
+git-tree-sha1 = "3663e12e725eb2a92bf75f3c21125c743d11908e"
 
     [[GAP_pkg_unitlib.download]]
-    sha256 = "d55660574ebb24cf3c729d9ac726d10e655aec0cb390cf874d3450f7540f400d"
-    url = "https://github.com/gap-packages/unitlib/releases/download/v4.2.0/unitlib-4.2.0.tar.gz"
+    sha256 = "3cdcd383defaecfbb8c6aed8cfc7db569387c780f60562cd0c04a05786428c2e"
+    url = "https://github.com/gap-packages/unitlib/releases/download/v5.0.0/unitlib-5.0.0.tar.gz"
     [[GAP_pkg_unitlib.download]]
-    sha256 = "d55660574ebb24cf3c729d9ac726d10e655aec0cb390cf874d3450f7540f400d"
-    url = "https://files.gap-system.org/pkg/unitlib-4.2.0.tar.gz"
+    sha256 = "3cdcd383defaecfbb8c6aed8cfc7db569387c780f60562cd0c04a05786428c2e"
+    url = "https://files.gap-system.org/pkg/unitlib-5.0.0.tar.gz"
 
 [GAP_pkg_utils]
-git-tree-sha1 = "d43af8ab6206ed6b2d127d46360317869d691a34"
+git-tree-sha1 = "48e9e4ce555e76b94d2038ce9c6f6c33d09710f4"
 
     [[GAP_pkg_utils.download]]
-    sha256 = "bed23a5b58ffe8492c700aa048fe2e72dca6c9b608dd314265e8b9ad16ad82b9"
-    url = "https://github.com/gap-packages/utils/releases/download/v0.85/utils-0.85.tar.gz"
+    sha256 = "8d902893c7004201a615f8c165b23a9c85d4680940924b318d77072cf437d347"
+    url = "https://github.com/gap-packages/utils/releases/download/v0.91/utils-0.91.tar.gz"
     [[GAP_pkg_utils.download]]
-    sha256 = "bed23a5b58ffe8492c700aa048fe2e72dca6c9b608dd314265e8b9ad16ad82b9"
-    url = "https://files.gap-system.org/pkg/utils-0.85.tar.gz"
+    sha256 = "8d902893c7004201a615f8c165b23a9c85d4680940924b318d77072cf437d347"
+    url = "https://files.gap-system.org/pkg/utils-0.91.tar.gz"
 
 [GAP_pkg_uuid]
 git-tree-sha1 = "3edf3e902bac4378d681b3e6fb298d11e65618fd"
@@ -1549,14 +1569,14 @@ git-tree-sha1 = "9b84b65e31ef4f3b64f1dfb98f90bd1381df5853"
     url = "https://files.gap-system.org/pkg/walrus-0.9991.tar.gz"
 
 [GAP_pkg_wedderga]
-git-tree-sha1 = "4fec3f39457ef71002b67a01d40f68ae4e380559"
+git-tree-sha1 = "cb1616af93fd89c11ad7cd2b925b02658a973d5e"
 
     [[GAP_pkg_wedderga.download]]
-    sha256 = "37f2c8772d13dc1a5a5acb88dbc065e41c21d4f4dd22b66f9c409b5353fbf250"
-    url = "https://github.com/gap-packages/wedderga/releases/download/v4.10.5/wedderga-4.10.5.tar.gz"
+    sha256 = "2ff72e51aad3eccbcaa58a11235c39812d6bc8fceec9e879f75c19d18ada222b"
+    url = "https://github.com/gap-packages/wedderga/releases/download/v4.11.1/wedderga-4.11.1.tar.gz"
     [[GAP_pkg_wedderga.download]]
-    sha256 = "37f2c8772d13dc1a5a5acb88dbc065e41c21d4f4dd22b66f9c409b5353fbf250"
-    url = "https://files.gap-system.org/pkg/wedderga-4.10.5.tar.gz"
+    sha256 = "2ff72e51aad3eccbcaa58a11235c39812d6bc8fceec9e879f75c19d18ada222b"
+    url = "https://files.gap-system.org/pkg/wedderga-4.11.1.tar.gz"
 
 [GAP_pkg_wpe]
 git-tree-sha1 = "180255d50cf2971014006fe2179a9489da1f87d6"
@@ -1579,41 +1599,41 @@ git-tree-sha1 = "5abbe6f520bb92b5af36d90c69dc17cf9357624b"
     url = "https://files.gap-system.org/pkg/xgap-4.32.tar.gz"
 
 [GAP_pkg_xmod]
-git-tree-sha1 = "7d2e8966c7bd61e54516d7f6fdde3fb948e8df7b"
+git-tree-sha1 = "5cd48260cefd89a450e86489d2311bd3596967ce"
 
     [[GAP_pkg_xmod.download]]
-    sha256 = "9fcab572ae9fcbdc7af3355b4d5fc1aa29911e8edd8d50df5d7ad79f42965ccf"
-    url = "https://github.com/gap-packages/xmod/releases/download/v2.92/XMod-2.92.tar.gz"
+    sha256 = "02f718567710e36d99764b45cd5cc828ec17e628e3d869c410cef417a801a5ef"
+    url = "https://github.com/gap-packages/xmod/releases/download/v2.95/XMod-2.95.tar.gz"
     [[GAP_pkg_xmod.download]]
-    sha256 = "9fcab572ae9fcbdc7af3355b4d5fc1aa29911e8edd8d50df5d7ad79f42965ccf"
-    url = "https://files.gap-system.org/pkg/XMod-2.92.tar.gz"
+    sha256 = "02f718567710e36d99764b45cd5cc828ec17e628e3d869c410cef417a801a5ef"
+    url = "https://files.gap-system.org/pkg/XMod-2.95.tar.gz"
 
 [GAP_pkg_xmodalg]
-git-tree-sha1 = "b715df6da5b840bfd7bfd53e7b39f8460a2b7363"
+git-tree-sha1 = "eebbc7f71bc46a624f7d641d088e2bcc13561b73"
 
     [[GAP_pkg_xmodalg.download]]
-    sha256 = "007ea97b88eade9fe0d5ccd59e61051aecd53bee44aa504a7d7ec84e6c5e75e9"
-    url = "https://github.com/gap-packages/xmodalg/releases/download/v1.23/XModAlg-1.23.tar.gz"
+    sha256 = "0fa167a084d0cd6f75947df631ded11b0e2a294a5efb4e1c10c46724082cffc9"
+    url = "https://github.com/gap-packages/xmodalg/releases/download/v1.32/XModAlg-1.32.tar.gz"
     [[GAP_pkg_xmodalg.download]]
-    sha256 = "007ea97b88eade9fe0d5ccd59e61051aecd53bee44aa504a7d7ec84e6c5e75e9"
-    url = "https://files.gap-system.org/pkg/XModAlg-1.23.tar.gz"
+    sha256 = "0fa167a084d0cd6f75947df631ded11b0e2a294a5efb4e1c10c46724082cffc9"
+    url = "https://files.gap-system.org/pkg/XModAlg-1.32.tar.gz"
 
 [GAP_pkg_yangbaxter]
-git-tree-sha1 = "bd8216f03f32b2b2a0bc796dce631cd5a74e9dc1"
+git-tree-sha1 = "15406fea74155163dab9ac973890a8b230b17a8d"
 
     [[GAP_pkg_yangbaxter.download]]
-    sha256 = "07ffb52c317d6da02e7618efcf4010f687e0d9463602e96a4d3d2d4d81d7d8b1"
-    url = "https://github.com/gap-packages/YangBaxter/releases/download/v0.10.6/YangBaxter-0.10.6.tar.gz"
+    sha256 = "9ba7bed677adccc51b5fdf161540da07167166cf84588b10ef4b358e53ca297d"
+    url = "https://github.com/gap-packages/YangBaxter/releases/download/v0.10.7/YangBaxter-0.10.7.tar.gz"
     [[GAP_pkg_yangbaxter.download]]
-    sha256 = "07ffb52c317d6da02e7618efcf4010f687e0d9463602e96a4d3d2d4d81d7d8b1"
-    url = "https://files.gap-system.org/pkg/YangBaxter-0.10.6.tar.gz"
+    sha256 = "9ba7bed677adccc51b5fdf161540da07167166cf84588b10ef4b358e53ca297d"
+    url = "https://files.gap-system.org/pkg/YangBaxter-0.10.7.tar.gz"
 
 [GAP_pkg_zeromqinterface]
-git-tree-sha1 = "9b937276d64d41566a2c0ebea5756439675514af"
+git-tree-sha1 = "d041ee8aac8515f14d43aede4c857a50248f5fb9"
 
     [[GAP_pkg_zeromqinterface.download]]
-    sha256 = "da9fc9ee04ba701b224d0809fdf4fc5b9782d9399326982273f77419fb3bd400"
-    url = "https://github.com/gap-packages/ZeroMQInterface/releases/download/v0.16/ZeroMQInterface-0.16.tar.gz"
+    sha256 = "d77e979dc3a0b18e95fe2b61f45e5a765cb5661d52507019cf307929f50f65a9"
+    url = "https://github.com/gap-packages/ZeroMQInterface/releases/download/v0.17/ZeroMQInterface-0.17.tar.gz"
     [[GAP_pkg_zeromqinterface.download]]
-    sha256 = "da9fc9ee04ba701b224d0809fdf4fc5b9782d9399326982273f77419fb3bd400"
-    url = "https://files.gap-system.org/pkg/ZeroMQInterface-0.16.tar.gz"
+    sha256 = "d77e979dc3a0b18e95fe2b61f45e5a765cb5661d52507019cf307929f50f65a9"
+    url = "https://files.gap-system.org/pkg/ZeroMQInterface-0.17.tar.gz"
diff --git a/Project.toml b/Project.toml
index f66437867..feec52f69 100644
--- a/Project.toml
+++ b/Project.toml
@@ -69,35 +69,35 @@ Downloads = "1.4.3"
 FileWatching = "1.10"
 GAP_jll = "~400.1500.000"
 GAP_lib_jll = "~400.1500.000"
-GAP_pkg_ace_jll = "500.600.200"
-GAP_pkg_anupq_jll = "300.300.100"
-GAP_pkg_browse_jll = "100.800.2101"
-GAP_pkg_caratinterface_jll = "200.300.701"
-GAP_pkg_cddinterface_jll = "202400.900.200"
-GAP_pkg_cohomolo_jll = "100.600.1100"
-GAP_pkg_crypting_jll = "0.1000.500"
-GAP_pkg_curlinterface_jll = "200.400.0"
-GAP_pkg_cvec_jll = "200.800.200"
-GAP_pkg_datastructures_jll = "0.300.100"
-GAP_pkg_deepthought_jll = "100.0.700"
-GAP_pkg_digraphs_jll = "100.900.0"
-GAP_pkg_edim_jll = "100.300.801"
-GAP_pkg_ferret_jll = "100.0.1400"
-GAP_pkg_float_jll = "100.0.500"
-GAP_pkg_fplsa_jll = "100.200.600"
-GAP_pkg_gauss_jll = "202400.1100.100"
-GAP_pkg_guava_jll = "300.1900.0"
-GAP_pkg_io_jll = "400.900.100"
-GAP_pkg_json_jll = "200.200.200"
-GAP_pkg_juliainterface_jll = "=0.1500.300"
-GAP_pkg_kbmag_jll = "100.500.1100"
-GAP_pkg_normalizinterface_jll = "100.300.700"
-GAP_pkg_nq_jll = "200.500.1100"
-GAP_pkg_orb_jll = "400.900.100"
-GAP_pkg_profiling_jll = "200.600.0"
-GAP_pkg_semigroups_jll = "500.400.0"
-GAP_pkg_simpcomp_jll = "200.100.1400"
-GAP_pkg_zeromqinterface_jll = "0.1600.0"
+GAP_pkg_ace_jll = "~501.70000.0"
+GAP_pkg_anupq_jll = "~301.30200.0"
+GAP_pkg_browse_jll = "~101.82100.0"
+GAP_pkg_caratinterface_jll = "~201.30700.0"
+GAP_pkg_cddinterface_jll = "~202501.62400.0"
+GAP_pkg_cohomolo_jll = "~101.61100.0"
+GAP_pkg_crypting_jll = "~1.100600.0"
+GAP_pkg_curlinterface_jll = "~201.40200.0"
+GAP_pkg_cvec_jll = "~201.80400.0"
+GAP_pkg_datastructures_jll = "~1.30300.0"
+GAP_pkg_deepthought_jll = "~101.900.0"
+GAP_pkg_digraphs_jll = "~101.110000.0"
+GAP_pkg_edim_jll = "~101.30800.0"
+GAP_pkg_ferret_jll = "~101.1400.0"
+GAP_pkg_float_jll = "~101.900.0"
+GAP_pkg_fplsa_jll = "~101.20700.0"
+GAP_pkg_gauss_jll = "~202401.110100.0"
+GAP_pkg_guava_jll = "~301.200000.0"
+GAP_pkg_io_jll = "~401.90300.0"
+GAP_pkg_json_jll = "~201.20300.0"
+GAP_pkg_juliainterface_jll = "=0.160000.0"
+GAP_pkg_kbmag_jll = "~101.51100.0"
+GAP_pkg_normalizinterface_jll = "~101.40100.0"
+GAP_pkg_nq_jll = "~201.51100.0"
+GAP_pkg_orb_jll = "~501.100.0"
+GAP_pkg_profiling_jll = "~201.60200.0"
+GAP_pkg_semigroups_jll = "~501.50400.0"
+GAP_pkg_simpcomp_jll = "~201.11400.0"
+GAP_pkg_zeromqinterface_jll = "~1.170000.0"
 InteractiveUtils = "1.10"
 Libdl = "1.10"
 MacroTools = "0.5.13"

From fcfe9103b8e026f028621d4f39750f61d5311c7a Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Lars=20G=C3=B6ttgens?= <lars.goettgens@rwth-aachen.de>
Date: Mon, 8 Sep 2025 18:35:12 +0200
Subject: [PATCH 05/11] Update `digraphs` to 1.12.0

---
 Artifacts.toml | 10 +++++-----
 Project.toml   |  2 +-
 2 files changed, 6 insertions(+), 6 deletions(-)

diff --git a/Artifacts.toml b/Artifacts.toml
index c59dbd107..6acebfe03 100644
--- a/Artifacts.toml
+++ b/Artifacts.toml
@@ -349,14 +349,14 @@ git-tree-sha1 = "17db1566d589e68dc79cc0bb003b04af8da9da8f"
     url = "https://files.gap-system.org/pkg/difsets-2.3.1.tar.gz"
 
 [GAP_pkg_digraphs]
-git-tree-sha1 = "881545956eecc2e7dfe55fcd20755cdec708132e"
+git-tree-sha1 = "45acc610bb00fc2d5f864c8945a7e6d389f49d8e"
 
     [[GAP_pkg_digraphs.download]]
-    sha256 = "e1968f3bc2ffccd99fb407836e9f67c8916aa8e3362ffec9e0d9c653efbfb1e8"
-    url = "https://github.com/digraphs/Digraphs/releases/download/v1.11.0/digraphs-1.11.0.tar.gz"
+    sha256 = "c6a16647437a17d6cfe76cd53f33e6e35e118f57e1e732f4fc147167657eabc4"
+    url = "https://github.com/digraphs/Digraphs/releases/download/v1.12.0/digraphs-1.12.0.tar.gz"
     [[GAP_pkg_digraphs.download]]
-    sha256 = "e1968f3bc2ffccd99fb407836e9f67c8916aa8e3362ffec9e0d9c653efbfb1e8"
-    url = "https://files.gap-system.org/pkg/digraphs-1.11.0.tar.gz"
+    sha256 = "c6a16647437a17d6cfe76cd53f33e6e35e118f57e1e732f4fc147167657eabc4"
+    url = "https://files.gap-system.org/pkg/digraphs-1.12.0.tar.gz"
 
 [GAP_pkg_edim]
 git-tree-sha1 = "af19036c239a2d3e28884dd13ea7a02d1e8adf89"
diff --git a/Project.toml b/Project.toml
index feec52f69..c9b872cd3 100644
--- a/Project.toml
+++ b/Project.toml
@@ -80,7 +80,7 @@ GAP_pkg_curlinterface_jll = "~201.40200.0"
 GAP_pkg_cvec_jll = "~201.80400.0"
 GAP_pkg_datastructures_jll = "~1.30300.0"
 GAP_pkg_deepthought_jll = "~101.900.0"
-GAP_pkg_digraphs_jll = "~101.110000.0"
+GAP_pkg_digraphs_jll = "~101.120000.0"
 GAP_pkg_edim_jll = "~101.30800.0"
 GAP_pkg_ferret_jll = "~101.1400.0"
 GAP_pkg_float_jll = "~101.900.0"

From e706ae6b318aaf8aeb4b71da73a06d56813bbdd4 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Lars=20G=C3=B6ttgens?= <lars.goettgens@rwth-aachen.de>
Date: Tue, 23 Sep 2025 10:59:01 +0200
Subject: [PATCH 06/11] Update package distro to 4.15.0-beta2

---
 Artifacts.toml | 100 ++++++++++++++++++++++++-------------------------
 Project.toml   |   4 +-
 2 files changed, 52 insertions(+), 52 deletions(-)

diff --git a/Artifacts.toml b/Artifacts.toml
index 6acebfe03..1659ed423 100644
--- a/Artifacts.toml
+++ b/Artifacts.toml
@@ -39,14 +39,14 @@ git-tree-sha1 = "2cbf68e05ba790981cfaedfae92464fe7ac94b19"
     url = "https://files.gap-system.org/pkg/AGT-0.3.1.tar.gz"
 
 [GAP_pkg_alco]
-git-tree-sha1 = "21e6950c1f4dd8251cc8b03e59675c3f100cf6d6"
+git-tree-sha1 = "94ddf8435c30bc5108b5a015f204dc27aae49cb5"
 
     [[GAP_pkg_alco.download]]
-    sha256 = "5fb653698ac560149c079d47c59e3581474bdf774ddd794ee0dab4617cf1de9b"
-    url = "https://github.com/BNasmith/alco/releases/download/v1.1.1/ALCO-1.1.1.tar.gz"
+    sha256 = "27a4c511d14053275027d6cc79f19409880a7fa4f768f12662cb06ab4cae06ab"
+    url = "https://github.com/BNasmith/alco/releases/download/v1.1.2/ALCO-1.1.2.tar.gz"
     [[GAP_pkg_alco.download]]
-    sha256 = "5fb653698ac560149c079d47c59e3581474bdf774ddd794ee0dab4617cf1de9b"
-    url = "https://files.gap-system.org/pkg/ALCO-1.1.1.tar.gz"
+    sha256 = "27a4c511d14053275027d6cc79f19409880a7fa4f768f12662cb06ab4cae06ab"
+    url = "https://files.gap-system.org/pkg/ALCO-1.1.2.tar.gz"
 
 [GAP_pkg_alnuth]
 git-tree-sha1 = "af2c63bce5c78d0f874f545750f5e309e09cd66b"
@@ -349,14 +349,14 @@ git-tree-sha1 = "17db1566d589e68dc79cc0bb003b04af8da9da8f"
     url = "https://files.gap-system.org/pkg/difsets-2.3.1.tar.gz"
 
 [GAP_pkg_digraphs]
-git-tree-sha1 = "45acc610bb00fc2d5f864c8945a7e6d389f49d8e"
+git-tree-sha1 = "98a7262b6343cab4ae120a8434d7fdf73923adb5"
 
     [[GAP_pkg_digraphs.download]]
-    sha256 = "c6a16647437a17d6cfe76cd53f33e6e35e118f57e1e732f4fc147167657eabc4"
-    url = "https://github.com/digraphs/Digraphs/releases/download/v1.12.0/digraphs-1.12.0.tar.gz"
+    sha256 = "d565360b528c468686086d15294a58edc9c50fa99d982645efd42de2742b7da5"
+    url = "https://github.com/digraphs/Digraphs/releases/download/v1.12.1/digraphs-1.12.1.tar.gz"
     [[GAP_pkg_digraphs.download]]
-    sha256 = "c6a16647437a17d6cfe76cd53f33e6e35e118f57e1e732f4fc147167657eabc4"
-    url = "https://files.gap-system.org/pkg/digraphs-1.12.0.tar.gz"
+    sha256 = "d565360b528c468686086d15294a58edc9c50fa99d982645efd42de2742b7da5"
+    url = "https://files.gap-system.org/pkg/digraphs-1.12.1.tar.gz"
 
 [GAP_pkg_edim]
 git-tree-sha1 = "af19036c239a2d3e28884dd13ea7a02d1e8adf89"
@@ -399,14 +399,14 @@ git-tree-sha1 = "9c82af735bb10e5af6b015935065f58b47ac2174"
     url = "https://files.gap-system.org/pkg/FactInt-1.6.3.tar.gz"
 
 [GAP_pkg_ferret]
-git-tree-sha1 = "e12158f85749e5f667a912e46dfe03e14883c8e4"
+git-tree-sha1 = "e70e9347752a57cf92b8a276c59e947dc7868c2b"
 
     [[GAP_pkg_ferret.download]]
-    sha256 = "6e9b7e5aa98dbcafaf5630560b53d42c53dd97d4c7137c2bcf80045c4710d995"
-    url = "https://github.com/gap-packages/ferret/releases/download/v1.0.14/ferret-1.0.14.tar.gz"
+    sha256 = "2850f3c13114cb4c05f8da16104d63db94452fe2c7fb642caa7a7ad863e802a0"
+    url = "https://github.com/gap-packages/ferret/releases/download/v1.0.15/ferret-1.0.15.tar.gz"
     [[GAP_pkg_ferret.download]]
-    sha256 = "6e9b7e5aa98dbcafaf5630560b53d42c53dd97d4c7137c2bcf80045c4710d995"
-    url = "https://files.gap-system.org/pkg/ferret-1.0.14.tar.gz"
+    sha256 = "2850f3c13114cb4c05f8da16104d63db94452fe2c7fb642caa7a7ad863e802a0"
+    url = "https://files.gap-system.org/pkg/ferret-1.0.15.tar.gz"
 
 [GAP_pkg_fga]
 git-tree-sha1 = "cd44c5b7f477ac3969607e5ae9ed051020c5647c"
@@ -579,24 +579,24 @@ git-tree-sha1 = "20105a8eaef7978225b3f57ea77984793c961faa"
     url = "https://files.gap-system.org/pkg/GradedRingForHomalg-2024.07-01.tar.gz"
 
 [GAP_pkg_grape]
-git-tree-sha1 = "3bae6ff0cbde133ccb35564f20605d14515d55c3"
+git-tree-sha1 = "0a3a3c9045d93a83ad43e43fbb259595267fb5bf"
 
     [[GAP_pkg_grape.download]]
-    sha256 = "2ee2482649236c029c65bf71818cdb7ded0b7589e5ab545be164a47a212075a0"
-    url = "https://github.com/gap-packages/grape/releases/download/v4.9.2/grape-4.9.2.tar.gz"
+    sha256 = "911b7e181161a4935b5c36cd370a11b250769735ea2f10087bbd75a8de3a2fa1"
+    url = "https://github.com/gap-packages/grape/releases/download/v4.9.3/grape-4.9.3.tar.gz"
     [[GAP_pkg_grape.download]]
-    sha256 = "2ee2482649236c029c65bf71818cdb7ded0b7589e5ab545be164a47a212075a0"
-    url = "https://files.gap-system.org/pkg/grape-4.9.2.tar.gz"
+    sha256 = "911b7e181161a4935b5c36cd370a11b250769735ea2f10087bbd75a8de3a2fa1"
+    url = "https://files.gap-system.org/pkg/grape-4.9.3.tar.gz"
 
 [GAP_pkg_groupoids]
-git-tree-sha1 = "e5660eec4e625109f1897e049e985d74b148d62e"
+git-tree-sha1 = "e01543ff1347622851da1e1eb82e0d5bb2981577"
 
     [[GAP_pkg_groupoids.download]]
-    sha256 = "dc910c9fb9f56c24079e73bd1a1ca8574d32aa98f6f7b37393c8ea09c828dbf2"
-    url = "https://github.com/gap-packages/groupoids/releases/download/v1.78/groupoids-1.78.tar.gz"
+    sha256 = "3730662c0aa6001cc0a6b4e935af4f04734e4ea20dc315fad9db64fc2ae025b1"
+    url = "https://github.com/gap-packages/groupoids/releases/download/v1.79/groupoids-1.79.tar.gz"
     [[GAP_pkg_groupoids.download]]
-    sha256 = "dc910c9fb9f56c24079e73bd1a1ca8574d32aa98f6f7b37393c8ea09c828dbf2"
-    url = "https://files.gap-system.org/pkg/groupoids-1.78.tar.gz"
+    sha256 = "3730662c0aa6001cc0a6b4e935af4f04734e4ea20dc315fad9db64fc2ae025b1"
+    url = "https://files.gap-system.org/pkg/groupoids-1.79.tar.gz"
 
 [GAP_pkg_grpconst]
 git-tree-sha1 = "09996118aac9e5ae8b612cdb35028626d596c7de"
@@ -679,24 +679,24 @@ git-tree-sha1 = "2881b49ed9fc87cd0040df78e3c9bde8f5151f13"
     url = "https://files.gap-system.org/pkg/homalg-2024.01-01.tar.gz"
 
 [GAP_pkg_homalgtocas]
-git-tree-sha1 = "1a828c4b2ee76205e19a01509fc0d3579894f287"
+git-tree-sha1 = "a728560071af84a492062e9016d2e284361aaee9"
 
     [[GAP_pkg_homalgtocas.download]]
-    sha256 = "59c422b1b156b8d17d9a55a1335193b976724cfa2d8340d8733eda2232e81ac6"
-    url = "https://github.com/homalg-project/homalg_project/releases/download/HomalgToCAS-2023.11-01/HomalgToCAS-2023.11-01.tar.gz"
+    sha256 = "5fbd98b9a95f905675f64cac04713ed05ea432bbcc25c252eefe834d752bc4fd"
+    url = "https://github.com/homalg-project/homalg_project/releases/download/HomalgToCAS-2025.08-01/HomalgToCAS-2025.08-01.tar.gz"
     [[GAP_pkg_homalgtocas.download]]
-    sha256 = "59c422b1b156b8d17d9a55a1335193b976724cfa2d8340d8733eda2232e81ac6"
-    url = "https://files.gap-system.org/pkg/HomalgToCAS-2023.11-01.tar.gz"
+    sha256 = "5fbd98b9a95f905675f64cac04713ed05ea432bbcc25c252eefe834d752bc4fd"
+    url = "https://files.gap-system.org/pkg/HomalgToCAS-2025.08-01.tar.gz"
 
 [GAP_pkg_ibnp]
-git-tree-sha1 = "ac2d5f7685fa427511277353b0e4b5f7e925a741"
+git-tree-sha1 = "f38e827eef37f53c22704f6f681009ad231b8260"
 
     [[GAP_pkg_ibnp.download]]
-    sha256 = "30bf5169a62a826e4e08d5aa759b844d1a808f7e04d6140a2c1921e554aa37a1"
-    url = "https://github.com/gap-packages/ibnp/releases/download/v0.16/IBNP-0.16.tar.gz"
+    sha256 = "80d771733f828dac9a831950b323ad61123fa5a1759a90722c6c9f99abb0793e"
+    url = "https://github.com/gap-packages/ibnp/releases/download/v0.17/IBNP-0.17.tar.gz"
     [[GAP_pkg_ibnp.download]]
-    sha256 = "30bf5169a62a826e4e08d5aa759b844d1a808f7e04d6140a2c1921e554aa37a1"
-    url = "https://files.gap-system.org/pkg/IBNP-0.16.tar.gz"
+    sha256 = "80d771733f828dac9a831950b323ad61123fa5a1759a90722c6c9f99abb0793e"
+    url = "https://files.gap-system.org/pkg/IBNP-0.17.tar.gz"
 
 [GAP_pkg_idrel]
 git-tree-sha1 = "bded145739036228dc5b0123e8205189b619329a"
@@ -949,14 +949,14 @@ git-tree-sha1 = "efdfba3710a60187ccb7ce80e5b5c8a53bd9d1f0"
     url = "https://files.gap-system.org/pkg/matgrp0.72.tar.gz"
 
 [GAP_pkg_matricesforhomalg]
-git-tree-sha1 = "e6ada91175a4dcf14338f17d3b6418e7dc9d8d54"
+git-tree-sha1 = "dd3ae658d457726ddb350f94e94850ae1498ff9c"
 
     [[GAP_pkg_matricesforhomalg.download]]
-    sha256 = "51c05fd1bf97d3d733b341d543f6b25325801e506dca0fcbee06ce069b83517f"
-    url = "https://github.com/homalg-project/homalg_project/releases/download/MatricesForHomalg-2025.08-01/MatricesForHomalg-2025.08-01.tar.gz"
+    sha256 = "1aafe264b171d989991c9ca3701d1fce9fe702a6636ad35f68a43e02faf27301"
+    url = "https://github.com/homalg-project/homalg_project/releases/download/MatricesForHomalg-2025.09-01/MatricesForHomalg-2025.09-01.tar.gz"
     [[GAP_pkg_matricesforhomalg.download]]
-    sha256 = "51c05fd1bf97d3d733b341d543f6b25325801e506dca0fcbee06ce069b83517f"
-    url = "https://files.gap-system.org/pkg/MatricesForHomalg-2025.08-01.tar.gz"
+    sha256 = "1aafe264b171d989991c9ca3701d1fce9fe702a6636ad35f68a43e02faf27301"
+    url = "https://files.gap-system.org/pkg/MatricesForHomalg-2025.09-01.tar.gz"
 
 [GAP_pkg_modisom]
 git-tree-sha1 = "f9382593f4e30cacf8e7156ebd5e291c51667fde"
@@ -1229,14 +1229,14 @@ git-tree-sha1 = "f9c77ab61e857e47f1eb878de165e20405225c61"
     url = "https://files.gap-system.org/pkg/recog-1.4.4.tar.gz"
 
 [GAP_pkg_repndecomp]
-git-tree-sha1 = "e606b387fd5c3560554321b5de205fc9fe7a2ca5"
+git-tree-sha1 = "98d25757a07ae08dc3fe2ae562f7c16c7c28ec1b"
 
     [[GAP_pkg_repndecomp.download]]
-    sha256 = "bda2ceadf512ffac17794c0b2c6640c4ea18d5a8929bb9de1cfe73eb5e04bbb2"
-    url = "https://github.com/gap-packages/RepnDecomp/releases/download/v1.3.0/RepnDecomp-1.3.0.tar.gz"
+    sha256 = "fd9a8653ac2c019b06ce8f149b5bbff148b48f8572feed63a3464a8b27ced1d9"
+    url = "https://github.com/gap-packages/RepnDecomp/releases/download/v1.3.1/RepnDecomp-1.3.1.tar.gz"
     [[GAP_pkg_repndecomp.download]]
-    sha256 = "bda2ceadf512ffac17794c0b2c6640c4ea18d5a8929bb9de1cfe73eb5e04bbb2"
-    url = "https://files.gap-system.org/pkg/RepnDecomp-1.3.0.tar.gz"
+    sha256 = "fd9a8653ac2c019b06ce8f149b5bbff148b48f8572feed63a3464a8b27ced1d9"
+    url = "https://files.gap-system.org/pkg/RepnDecomp-1.3.1.tar.gz"
 
 [GAP_pkg_repsn]
 git-tree-sha1 = "94e5135f398a61ef517794b5b276ef8572d9e223"
@@ -1539,14 +1539,14 @@ git-tree-sha1 = "3663e12e725eb2a92bf75f3c21125c743d11908e"
     url = "https://files.gap-system.org/pkg/unitlib-5.0.0.tar.gz"
 
 [GAP_pkg_utils]
-git-tree-sha1 = "48e9e4ce555e76b94d2038ce9c6f6c33d09710f4"
+git-tree-sha1 = "8d3a8532df7d51311ac9a19fffb88b3141c36230"
 
     [[GAP_pkg_utils.download]]
-    sha256 = "8d902893c7004201a615f8c165b23a9c85d4680940924b318d77072cf437d347"
-    url = "https://github.com/gap-packages/utils/releases/download/v0.91/utils-0.91.tar.gz"
+    sha256 = "f2dad4d922eaa1aa535f3e76fa5e858f97ce829cc4fd7a4dc1a314d814b9a53b"
+    url = "https://github.com/gap-packages/utils/releases/download/v0.92/utils-0.92.tar.gz"
     [[GAP_pkg_utils.download]]
-    sha256 = "8d902893c7004201a615f8c165b23a9c85d4680940924b318d77072cf437d347"
-    url = "https://files.gap-system.org/pkg/utils-0.91.tar.gz"
+    sha256 = "f2dad4d922eaa1aa535f3e76fa5e858f97ce829cc4fd7a4dc1a314d814b9a53b"
+    url = "https://files.gap-system.org/pkg/utils-0.92.tar.gz"
 
 [GAP_pkg_uuid]
 git-tree-sha1 = "3edf3e902bac4378d681b3e6fb298d11e65618fd"
diff --git a/Project.toml b/Project.toml
index c9b872cd3..f5a0358fe 100644
--- a/Project.toml
+++ b/Project.toml
@@ -80,9 +80,9 @@ GAP_pkg_curlinterface_jll = "~201.40200.0"
 GAP_pkg_cvec_jll = "~201.80400.0"
 GAP_pkg_datastructures_jll = "~1.30300.0"
 GAP_pkg_deepthought_jll = "~101.900.0"
-GAP_pkg_digraphs_jll = "~101.120000.0"
+GAP_pkg_digraphs_jll = "~101.120100.0"
 GAP_pkg_edim_jll = "~101.30800.0"
-GAP_pkg_ferret_jll = "~101.1400.0"
+GAP_pkg_ferret_jll = "~101.1500.0"
 GAP_pkg_float_jll = "~101.900.0"
 GAP_pkg_fplsa_jll = "~101.20700.0"
 GAP_pkg_gauss_jll = "~202401.110100.0"

From e49636ec62ba762120fb86176a89af85fd68b1bc Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Lars=20G=C3=B6ttgens?= <lars.goettgens@rwth-aachen.de>
Date: Wed, 24 Sep 2025 10:04:04 +0200
Subject: [PATCH 07/11] Update package distro to 4.15.0-beta3

---
 Artifacts.toml | 140 ++++++++++++++++++++++++++++---------------------
 Project.toml   |   2 +-
 2 files changed, 81 insertions(+), 61 deletions(-)

diff --git a/Artifacts.toml b/Artifacts.toml
index 1659ed423..2df2635ee 100644
--- a/Artifacts.toml
+++ b/Artifacts.toml
@@ -129,14 +129,14 @@ git-tree-sha1 = "840bdaf8beee5364eca5594b6d85d2f8dd8596bc"
     url = "https://files.gap-system.org/pkg/Browse-1.8.21.tar.bz2"
 
 [GAP_pkg_cap]
-git-tree-sha1 = "5c2598933edc47c65f47131a05a72b96ddebd716"
+git-tree-sha1 = "4d27b16174335aab785018de5d7b2219b30cde31"
 
     [[GAP_pkg_cap.download]]
-    sha256 = "e8e9b369ee5feea81b08395ed1f70e310f06b27fe03f7112cecb816d37453fa1"
-    url = "https://github.com/homalg-project/CAP_project/releases/download/CAP-2025.08-03/CAP-2025.08-03.tar.gz"
+    sha256 = "4c821391b4f3c661e881c47b616f764aa84ae72ad933d6d920f6cd924e0d07b1"
+    url = "https://github.com/homalg-project/CAP_project/releases/download/CAP-2025.09-04/CAP-2025.09-04.tar.gz"
     [[GAP_pkg_cap.download]]
-    sha256 = "e8e9b369ee5feea81b08395ed1f70e310f06b27fe03f7112cecb816d37453fa1"
-    url = "https://files.gap-system.org/pkg/CAP-2025.08-03.tar.gz"
+    sha256 = "4c821391b4f3c661e881c47b616f764aa84ae72ad933d6d920f6cd924e0d07b1"
+    url = "https://files.gap-system.org/pkg/CAP-2025.09-04.tar.gz"
 
 [GAP_pkg_caratinterface]
 git-tree-sha1 = "13ed4fe718f84009ff04e3bdfcf6ed472254e285"
@@ -249,14 +249,14 @@ git-tree-sha1 = "7dc84100ed29055afdb0553ceb9d731b5b4e1f09"
     url = "https://files.gap-system.org/pkg/crypting-0.10.6.tar.gz"
 
 [GAP_pkg_cryst]
-git-tree-sha1 = "0b20fc702b31a243ec409b1ab0834339bbce8589"
+git-tree-sha1 = "38e6deb181507eea47e7cc87e25b4930d82966dc"
 
     [[GAP_pkg_cryst.download]]
-    sha256 = "f8fc61277cb8606478ffbab8dd25aba467ca153ccbcd84ab5620486ca3c9e244"
-    url = "https://www.math.uni-bielefeld.de/~gaehler/gap/Cryst/cryst-4.1.29.tar.gz"
+    sha256 = "90aae4bf7eabdb94bceebef0d984c8d6ea9e9c60d8268913498526565b693a7f"
+    url = "https://www.math.uni-bielefeld.de/~gaehler/gap/Cryst/cryst-4.1.30.tar.gz"
     [[GAP_pkg_cryst.download]]
-    sha256 = "f8fc61277cb8606478ffbab8dd25aba467ca153ccbcd84ab5620486ca3c9e244"
-    url = "https://files.gap-system.org/pkg/cryst-4.1.29.tar.gz"
+    sha256 = "90aae4bf7eabdb94bceebef0d984c8d6ea9e9c60d8268913498526565b693a7f"
+    url = "https://files.gap-system.org/pkg/cryst-4.1.30.tar.gz"
 
 [GAP_pkg_crystcat]
 git-tree-sha1 = "7711ad19e53a49cebbf6ab62b64229302d20fdb1"
@@ -349,14 +349,14 @@ git-tree-sha1 = "17db1566d589e68dc79cc0bb003b04af8da9da8f"
     url = "https://files.gap-system.org/pkg/difsets-2.3.1.tar.gz"
 
 [GAP_pkg_digraphs]
-git-tree-sha1 = "98a7262b6343cab4ae120a8434d7fdf73923adb5"
+git-tree-sha1 = "6161d8b81ba8146aba8c429dff7875e404a525cc"
 
     [[GAP_pkg_digraphs.download]]
-    sha256 = "d565360b528c468686086d15294a58edc9c50fa99d982645efd42de2742b7da5"
-    url = "https://github.com/digraphs/Digraphs/releases/download/v1.12.1/digraphs-1.12.1.tar.gz"
+    sha256 = "7dfbc15618282e40bddafd3524d3fcf48a7a80ce5725069a1e3f34e5f44cec2c"
+    url = "https://github.com/digraphs/Digraphs/releases/download/v1.12.2/digraphs-1.12.2.tar.gz"
     [[GAP_pkg_digraphs.download]]
-    sha256 = "d565360b528c468686086d15294a58edc9c50fa99d982645efd42de2742b7da5"
-    url = "https://files.gap-system.org/pkg/digraphs-1.12.1.tar.gz"
+    sha256 = "7dfbc15618282e40bddafd3524d3fcf48a7a80ce5725069a1e3f34e5f44cec2c"
+    url = "https://files.gap-system.org/pkg/digraphs-1.12.2.tar.gz"
 
 [GAP_pkg_edim]
 git-tree-sha1 = "af19036c239a2d3e28884dd13ea7a02d1e8adf89"
@@ -839,14 +839,14 @@ git-tree-sha1 = "8497297af313588ec33044f43c154c0a7abe8795"
     url = "https://files.gap-system.org/pkg/laguna-3.9.7.tar.gz"
 
 [GAP_pkg_liealgdb]
-git-tree-sha1 = "4631d89651457a9dc5441a978a2aac380e3eda2d"
+git-tree-sha1 = "1c4c2f302b0b111d68eaf49991470ef1d05c779f"
 
     [[GAP_pkg_liealgdb.download]]
-    sha256 = "378ee7dc82fde2e2e7fccf60bf6a92eb3fcefa9a05057f9404f7cc551968c427"
-    url = "https://github.com/gap-packages/liealgdb/releases/download/v2.2.1/liealgdb-2.2.1.tar.gz"
+    sha256 = "1b028a8d5d4572c972fb4a2186b03818a372e66a5c81a2b65fa4a94aabe66036"
+    url = "https://github.com/gap-packages/liealgdb/releases/download/v2.3.0/liealgdb-2.3.0.tar.gz"
     [[GAP_pkg_liealgdb.download]]
-    sha256 = "378ee7dc82fde2e2e7fccf60bf6a92eb3fcefa9a05057f9404f7cc551968c427"
-    url = "https://files.gap-system.org/pkg/liealgdb-2.2.1.tar.gz"
+    sha256 = "1b028a8d5d4572c972fb4a2186b03818a372e66a5c81a2b65fa4a94aabe66036"
+    url = "https://files.gap-system.org/pkg/liealgdb-2.3.0.tar.gz"
 
 [GAP_pkg_liepring]
 git-tree-sha1 = "9fa2663ed154af9d7a84810fa7bdd497d6bb03f7"
@@ -869,14 +869,14 @@ git-tree-sha1 = "56034fd3340466c0a8c79f472b52f463757c1cdb"
     url = "https://files.gap-system.org/pkg/liering-2.4.2.tar.gz"
 
 [GAP_pkg_linearalgebraforcap]
-git-tree-sha1 = "42d44cf055ef72c2118b77ff45b82d6bd81ceecd"
+git-tree-sha1 = "27deb13186340bda870c323a6892d064ccbcd26e"
 
     [[GAP_pkg_linearalgebraforcap.download]]
-    sha256 = "2543cfacca8e1907558ff9ad081609658f0560621635d7f203c9e4f183843fbe"
-    url = "https://github.com/homalg-project/CAP_project/releases/download/LinearAlgebraForCAP-2025.08-02/LinearAlgebraForCAP-2025.08-02.tar.gz"
+    sha256 = "00a5979a751bd9afc19203fd4263b4ddc93e54270f8dca1e2659f1db17a45ab1"
+    url = "https://github.com/homalg-project/CAP_project/releases/download/LinearAlgebraForCAP-2025.09-01/LinearAlgebraForCAP-2025.09-01.tar.gz"
     [[GAP_pkg_linearalgebraforcap.download]]
-    sha256 = "2543cfacca8e1907558ff9ad081609658f0560621635d7f203c9e4f183843fbe"
-    url = "https://files.gap-system.org/pkg/LinearAlgebraForCAP-2025.08-02.tar.gz"
+    sha256 = "00a5979a751bd9afc19203fd4263b4ddc93e54270f8dca1e2659f1db17a45ab1"
+    url = "https://files.gap-system.org/pkg/LinearAlgebraForCAP-2025.09-01.tar.gz"
 
 [GAP_pkg_lins]
 git-tree-sha1 = "ecf184ab819e5666ea9c8c6158d0961d38835fbb"
@@ -969,14 +969,14 @@ git-tree-sha1 = "f9382593f4e30cacf8e7156ebd5e291c51667fde"
     url = "https://files.gap-system.org/pkg/modisom-3.0.0.tar.gz"
 
 [GAP_pkg_modulepresentationsforcap]
-git-tree-sha1 = "43cb548dfbdbe491d02a2f4f19673af292d2c5ac"
+git-tree-sha1 = "db610dff81560af62346be4bcf981a00d0a9cfef"
 
     [[GAP_pkg_modulepresentationsforcap.download]]
-    sha256 = "0568c56aa52d9817dc32aba636fd56b1005cf51b675d4d97f1a766b8b0d91709"
-    url = "https://github.com/homalg-project/CAP_project/releases/download/ModulePresentationsForCAP-2025.08-02/ModulePresentationsForCAP-2025.08-02.tar.gz"
+    sha256 = "006b1c230d08e0ee2e712ff2bee720244836fa4d1b6821e186f02c6d8c13632e"
+    url = "https://github.com/homalg-project/CAP_project/releases/download/ModulePresentationsForCAP-2025.09-01/ModulePresentationsForCAP-2025.09-01.tar.gz"
     [[GAP_pkg_modulepresentationsforcap.download]]
-    sha256 = "0568c56aa52d9817dc32aba636fd56b1005cf51b675d4d97f1a766b8b0d91709"
-    url = "https://files.gap-system.org/pkg/ModulePresentationsForCAP-2025.08-02.tar.gz"
+    sha256 = "006b1c230d08e0ee2e712ff2bee720244836fa4d1b6821e186f02c6d8c13632e"
+    url = "https://files.gap-system.org/pkg/ModulePresentationsForCAP-2025.09-01.tar.gz"
 
 [GAP_pkg_modules]
 git-tree-sha1 = "76d1251a251a51e4e3f4a071fb9ee190fe10171b"
@@ -1139,14 +1139,14 @@ git-tree-sha1 = "87a1302e830d9cc9a0c39b3eb58a2508db038e2d"
     url = "https://files.gap-system.org/pkg/polymaking-0.8.7.tar.gz"
 
 [GAP_pkg_primgrp]
-git-tree-sha1 = "25c2b17905889efc3ff49de490b72b24b95d8d61"
+git-tree-sha1 = "4562d518b9621c9b6bcc05b4d25a456acb1716fc"
 
     [[GAP_pkg_primgrp.download]]
-    sha256 = "e92c4ed3f04dee7b429463b51047701d309f24f94639b84da5e35b620e16916b"
-    url = "https://github.com/gap-packages/primgrp/releases/download/v4.0.0/primgrp-4.0.0.tar.gz"
+    sha256 = "1e5edb01f2d71bcb4e32afaf9342e779b407db6c9f1b9d7b309e26d62f78bc02"
+    url = "https://github.com/gap-packages/primgrp/releases/download/v4.0.1/primgrp-4.0.1.tar.gz"
     [[GAP_pkg_primgrp.download]]
-    sha256 = "e92c4ed3f04dee7b429463b51047701d309f24f94639b84da5e35b620e16916b"
-    url = "https://files.gap-system.org/pkg/primgrp-4.0.0.tar.gz"
+    sha256 = "1e5edb01f2d71bcb4e32afaf9342e779b407db6c9f1b9d7b309e26d62f78bc02"
+    url = "https://files.gap-system.org/pkg/primgrp-4.0.1.tar.gz"
 
 [GAP_pkg_profiling]
 git-tree-sha1 = "e979d62f0bcce6f3d639459ff255d9168f20c535"
@@ -1199,24 +1199,24 @@ git-tree-sha1 = "320d3c960ad89c90b5adc307e65fab5c1a7ecc92"
     url = "https://files.gap-system.org/pkg/radiroot-2.9.tar.gz"
 
 [GAP_pkg_rcwa]
-git-tree-sha1 = "3e30ffdff8a48660542ffd825e69ee41fd815966"
+git-tree-sha1 = "c94d995e1b0d29ecd89ba4d9f62db326217326cc"
 
     [[GAP_pkg_rcwa.download]]
-    sha256 = "181e5b7e69f5267ede042a5d505217c01ceccc3d21baa96b2bc71341caf33728"
-    url = "https://github.com/gap-packages/rcwa/releases/download/v4.7.1/rcwa-4.7.1.tar.gz"
+    sha256 = "cfd1f318686d11b1a204f670bff39c0f4545c62d88e0dd676dcb051d3f85749d"
+    url = "https://github.com/gap-packages/rcwa/releases/download/v4.8.0/rcwa-4.8.0.tar.gz"
     [[GAP_pkg_rcwa.download]]
-    sha256 = "181e5b7e69f5267ede042a5d505217c01ceccc3d21baa96b2bc71341caf33728"
-    url = "https://files.gap-system.org/pkg/rcwa-4.7.1.tar.gz"
+    sha256 = "cfd1f318686d11b1a204f670bff39c0f4545c62d88e0dd676dcb051d3f85749d"
+    url = "https://files.gap-system.org/pkg/rcwa-4.8.0.tar.gz"
 
 [GAP_pkg_rds]
-git-tree-sha1 = "d891d5374199f94ee57cf346e70848e2f6514ce8"
+git-tree-sha1 = "18ed54ba5033ede20fd9e83df01b6edcc3d3ccfa"
 
     [[GAP_pkg_rds.download]]
-    sha256 = "d58c1320b84fde09d3b778f64de3ce312e9ee53f3aa4361ff846d8ffa4a34faa"
-    url = "https://github.com/gap-packages/rds/releases/download/v1.8/rds-1.8.tar.gz"
+    sha256 = "066385ba8bcd7d8f82ca5e186b7d6db21c2ea44540b77cdafca14c37290df24f"
+    url = "https://github.com/gap-packages/rds/releases/download/v1.9/rds-1.9.tar.gz"
     [[GAP_pkg_rds.download]]
-    sha256 = "d58c1320b84fde09d3b778f64de3ce312e9ee53f3aa4361ff846d8ffa4a34faa"
-    url = "https://files.gap-system.org/pkg/rds-1.8.tar.gz"
+    sha256 = "066385ba8bcd7d8f82ca5e186b7d6db21c2ea44540b77cdafca14c37290df24f"
+    url = "https://files.gap-system.org/pkg/rds-1.9.tar.gz"
 
 [GAP_pkg_recog]
 git-tree-sha1 = "f9c77ab61e857e47f1eb878de165e20405225c61"
@@ -1249,14 +1249,14 @@ git-tree-sha1 = "94e5135f398a61ef517794b5b276ef8572d9e223"
     url = "https://files.gap-system.org/pkg/repsn-3.1.2.tar.gz"
 
 [GAP_pkg_resclasses]
-git-tree-sha1 = "9cc64af17cb93bcc63c6716176b6ca83401cd54e"
+git-tree-sha1 = "a2a0964cb90c1f783fcf2a665a487a2611c587f4"
 
     [[GAP_pkg_resclasses.download]]
-    sha256 = "633c0300084f568a21c554c40d7dfc0a344e4de8eb16ca220724a7b44e0bd521"
-    url = "https://github.com/gap-packages/resclasses/releases/download/v4.7.3/resclasses-4.7.3.tar.gz"
+    sha256 = "2517bf03e4e4322d329afff81479016465a69a9c799c402cc81a0755e3a1805c"
+    url = "https://github.com/gap-packages/resclasses/releases/download/v4.7.4/resclasses-4.7.4.tar.gz"
     [[GAP_pkg_resclasses.download]]
-    sha256 = "633c0300084f568a21c554c40d7dfc0a344e4de8eb16ca220724a7b44e0bd521"
-    url = "https://files.gap-system.org/pkg/resclasses-4.7.3.tar.gz"
+    sha256 = "2517bf03e4e4322d329afff81479016465a69a9c799c402cc81a0755e3a1805c"
+    url = "https://files.gap-system.org/pkg/resclasses-4.7.4.tar.gz"
 
 [GAP_pkg_ringsforhomalg]
 git-tree-sha1 = "63bf4621f553288a025543761edf07cf7efffeab"
@@ -1368,6 +1368,16 @@ git-tree-sha1 = "2f283eb6fbf5deb190da64859a8b0a38867c7233"
     sha256 = "dc3785bea30acaf892158e71273c00a630b2862190ab86d1639d137a46b595a1"
     url = "https://files.gap-system.org/pkg/smallantimagmas-v0.4.1.tar.gz"
 
+[GAP_pkg_smallclassnr]
+git-tree-sha1 = "1fe537042cbe9e2093e6298e2e0930e5e15a9ede"
+
+    [[GAP_pkg_smallclassnr.download]]
+    sha256 = "e80da757d1241793da41312f3364ce60da5aab7dd8d606a782cde105d9e5a410"
+    url = "https://github.com/stertooy/SmallClassNr/releases/download/v1.4.1/SmallClassNr-1.4.1.tar.gz"
+    [[GAP_pkg_smallclassnr.download]]
+    sha256 = "e80da757d1241793da41312f3364ce60da5aab7dd8d606a782cde105d9e5a410"
+    url = "https://files.gap-system.org/pkg/SmallClassNr-1.4.1.tar.gz"
+
 [GAP_pkg_smallgrp]
 git-tree-sha1 = "051592b40f95a6f5d5b80d6d417f6c442b446de1"
 
@@ -1389,14 +1399,14 @@ git-tree-sha1 = "a7e4699ccd9af8b601e7f38cb044a0d55fc1cba4"
     url = "https://files.gap-system.org/pkg/smallsemi-0.7.2.tar.gz"
 
 [GAP_pkg_sonata]
-git-tree-sha1 = "d31bd1642e2f6c324e5928810cd3e54dad245a10"
+git-tree-sha1 = "5842fdf98e4e76e0e1018259aacaeba16e6d2e45"
 
     [[GAP_pkg_sonata.download]]
-    sha256 = "0a44ef0b269766c69b59681ea3a640bc95e2ce17455a4e70088491b471f39cce"
-    url = "https://github.com/gap-packages/sonata/releases/download/v2.9.6/sonata-2.9.6.tar.gz"
+    sha256 = "4f438b0f9bbca58235e6975366c50ba031a421785b33ec01f399d1f601d190e0"
+    url = "https://github.com/gap-packages/sonata/releases/download/v2.9.7/sonata-2.9.7.tar.gz"
     [[GAP_pkg_sonata.download]]
-    sha256 = "0a44ef0b269766c69b59681ea3a640bc95e2ce17455a4e70088491b471f39cce"
-    url = "https://files.gap-system.org/pkg/sonata-2.9.6.tar.gz"
+    sha256 = "4f438b0f9bbca58235e6975366c50ba031a421785b33ec01f399d1f601d190e0"
+    url = "https://files.gap-system.org/pkg/sonata-2.9.7.tar.gz"
 
 [GAP_pkg_sophus]
 git-tree-sha1 = "4c406cd4e2cffb589b4ac16b44584f00befd571d"
@@ -1498,6 +1508,16 @@ git-tree-sha1 = "0308e773edbd0fa6000220e96226e6aa5aaad28d"
     sha256 = "6f2ec142a004f9d5e3b28bfa03246472fee93ceb12837206960bcb560eb72376"
     url = "https://files.gap-system.org/pkg/transgrp3.6.5.tar.gz"
 
+[GAP_pkg_twistedconjugacy]
+git-tree-sha1 = "c6cf0a066f419a50bff8d1b41b3fc4c7e70f03d0"
+
+    [[GAP_pkg_twistedconjugacy.download]]
+    sha256 = "50d554fa940653f1fe4ca3b9953897b541378394bbc639ac44e2e9869c3d879a"
+    url = "https://github.com/stertooy/TwistedConjugacy/releases/download/v3.1.0/TwistedConjugacy-3.1.0.tar.gz"
+    [[GAP_pkg_twistedconjugacy.download]]
+    sha256 = "50d554fa940653f1fe4ca3b9953897b541378394bbc639ac44e2e9869c3d879a"
+    url = "https://files.gap-system.org/pkg/TwistedConjugacy-3.1.0.tar.gz"
+
 [GAP_pkg_typeset]
 git-tree-sha1 = "9a7588f6f5218ecaf3b963702ebe5139186a0bc8"
 
@@ -1589,14 +1609,14 @@ git-tree-sha1 = "180255d50cf2971014006fe2179a9489da1f87d6"
     url = "https://files.gap-system.org/pkg/WPE-0.8.tar.gz"
 
 [GAP_pkg_xgap]
-git-tree-sha1 = "5abbe6f520bb92b5af36d90c69dc17cf9357624b"
+git-tree-sha1 = "aade97aed2acd1688c4eefcc9d99a2aa1705a52f"
 
     [[GAP_pkg_xgap.download]]
-    sha256 = "87d9a0d10f602f7a58a2b1d162b2c18ee2f648421bf0d7cfd60d4239944a336c"
-    url = "https://github.com/gap-packages/xgap/releases/download/v4.32/xgap-4.32.tar.gz"
+    sha256 = "5330f59825c662670cb5e40f6500c76c318760c7dd403cfb40ed8772ed93a3ff"
+    url = "https://github.com/gap-packages/xgap/releases/download/v4.33/xgap-4.33.tar.gz"
     [[GAP_pkg_xgap.download]]
-    sha256 = "87d9a0d10f602f7a58a2b1d162b2c18ee2f648421bf0d7cfd60d4239944a336c"
-    url = "https://files.gap-system.org/pkg/xgap-4.32.tar.gz"
+    sha256 = "5330f59825c662670cb5e40f6500c76c318760c7dd403cfb40ed8772ed93a3ff"
+    url = "https://files.gap-system.org/pkg/xgap-4.33.tar.gz"
 
 [GAP_pkg_xmod]
 git-tree-sha1 = "5cd48260cefd89a450e86489d2311bd3596967ce"
diff --git a/Project.toml b/Project.toml
index f5a0358fe..5bce67faf 100644
--- a/Project.toml
+++ b/Project.toml
@@ -80,7 +80,7 @@ GAP_pkg_curlinterface_jll = "~201.40200.0"
 GAP_pkg_cvec_jll = "~201.80400.0"
 GAP_pkg_datastructures_jll = "~1.30300.0"
 GAP_pkg_deepthought_jll = "~101.900.0"
-GAP_pkg_digraphs_jll = "~101.120100.0"
+GAP_pkg_digraphs_jll = "~101.120200.0"
 GAP_pkg_edim_jll = "~101.30800.0"
 GAP_pkg_ferret_jll = "~101.1500.0"
 GAP_pkg_float_jll = "~101.900.0"

From 3fa2c1cff198f891a4d1fb4b615a1412bcf18d08 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Lars=20G=C3=B6ttgens?= <lars.goettgens@rwth-aachen.de>
Date: Mon, 29 Sep 2025 22:03:18 +0200
Subject: [PATCH 08/11] Add to changelog

---
 CHANGES.md | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/CHANGES.md b/CHANGES.md
index 4cb12c76b..7bb06e863 100644
--- a/CHANGES.md
+++ b/CHANGES.md
@@ -2,6 +2,8 @@
 
 ## Version 0.16.0-DEV (released YYYY-MM-DD)
 
+- **Breaking:** Update to GAP 4.14.0
+
 ## Version 0.15.3 (released 2025-09-24)
 
 - Drop dependency on `Pkg`.

From dee76dbd0ef908e13f2ee527d79333169a767c45 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Lars=20G=C3=B6ttgens?= <lars.goettgens@rwth-aachen.de>
Date: Mon, 29 Sep 2025 22:05:36 +0200
Subject: [PATCH 09/11] Update package distro to 4.15.0

---
 Artifacts.toml | 20 ++++++++++----------
 Project.toml   |  2 +-
 2 files changed, 11 insertions(+), 11 deletions(-)

diff --git a/Artifacts.toml b/Artifacts.toml
index 2df2635ee..ac953ba9e 100644
--- a/Artifacts.toml
+++ b/Artifacts.toml
@@ -349,14 +349,14 @@ git-tree-sha1 = "17db1566d589e68dc79cc0bb003b04af8da9da8f"
     url = "https://files.gap-system.org/pkg/difsets-2.3.1.tar.gz"
 
 [GAP_pkg_digraphs]
-git-tree-sha1 = "6161d8b81ba8146aba8c429dff7875e404a525cc"
+git-tree-sha1 = "9892498a9fbbb30ba582ad50de8c15cf9a218f00"
 
     [[GAP_pkg_digraphs.download]]
-    sha256 = "7dfbc15618282e40bddafd3524d3fcf48a7a80ce5725069a1e3f34e5f44cec2c"
-    url = "https://github.com/digraphs/Digraphs/releases/download/v1.12.2/digraphs-1.12.2.tar.gz"
+    sha256 = "b965094b187b448c36edac9eb8400809adcd3045df7067aea47ba3dd5fec7396"
+    url = "https://github.com/digraphs/Digraphs/releases/download/v1.13.1/digraphs-1.13.1.tar.gz"
     [[GAP_pkg_digraphs.download]]
-    sha256 = "7dfbc15618282e40bddafd3524d3fcf48a7a80ce5725069a1e3f34e5f44cec2c"
-    url = "https://files.gap-system.org/pkg/digraphs-1.12.2.tar.gz"
+    sha256 = "b965094b187b448c36edac9eb8400809adcd3045df7067aea47ba3dd5fec7396"
+    url = "https://files.gap-system.org/pkg/digraphs-1.13.1.tar.gz"
 
 [GAP_pkg_edim]
 git-tree-sha1 = "af19036c239a2d3e28884dd13ea7a02d1e8adf89"
@@ -1359,14 +1359,14 @@ git-tree-sha1 = "f6353215406b277253336193280ff6e3b42005c1"
     url = "https://files.gap-system.org/pkg/sla-1.6.2.tar.gz"
 
 [GAP_pkg_smallantimagmas]
-git-tree-sha1 = "2f283eb6fbf5deb190da64859a8b0a38867c7233"
+git-tree-sha1 = "f0d4ea2b0382e314ad41a3be2ad5a5ef0972c460"
 
     [[GAP_pkg_smallantimagmas.download]]
-    sha256 = "dc3785bea30acaf892158e71273c00a630b2862190ab86d1639d137a46b595a1"
-    url = "https://github.com/gap-packages/smallantimagmas/releases/download/v0.4.1/smallantimagmas-v0.4.1.tar.gz"
+    sha256 = "4bee1a2853d1399e36110201f49617ee1570f220b63ead28a1e77a4f36c2e5f2"
+    url = "https://github.com/gap-packages/smallantimagmas/releases/download/v0.5.1/smallantimagmas-v0.5.1.tar.gz"
     [[GAP_pkg_smallantimagmas.download]]
-    sha256 = "dc3785bea30acaf892158e71273c00a630b2862190ab86d1639d137a46b595a1"
-    url = "https://files.gap-system.org/pkg/smallantimagmas-v0.4.1.tar.gz"
+    sha256 = "4bee1a2853d1399e36110201f49617ee1570f220b63ead28a1e77a4f36c2e5f2"
+    url = "https://files.gap-system.org/pkg/smallantimagmas-v0.5.1.tar.gz"
 
 [GAP_pkg_smallclassnr]
 git-tree-sha1 = "1fe537042cbe9e2093e6298e2e0930e5e15a9ede"
diff --git a/Project.toml b/Project.toml
index 5bce67faf..0429d87c2 100644
--- a/Project.toml
+++ b/Project.toml
@@ -80,7 +80,7 @@ GAP_pkg_curlinterface_jll = "~201.40200.0"
 GAP_pkg_cvec_jll = "~201.80400.0"
 GAP_pkg_datastructures_jll = "~1.30300.0"
 GAP_pkg_deepthought_jll = "~101.900.0"
-GAP_pkg_digraphs_jll = "~101.120200.0"
+GAP_pkg_digraphs_jll = "~101.130100.0"
 GAP_pkg_edim_jll = "~101.30800.0"
 GAP_pkg_ferret_jll = "~101.1500.0"
 GAP_pkg_float_jll = "~101.900.0"

From 69ff0fe150bb918f306ae428e7b241677ed74f21 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Lars=20G=C3=B6ttgens?= <lars.goettgens@rwth-aachen.de>
Date: Thu, 2 Oct 2025 12:14:18 +0200
Subject: [PATCH 10/11] Fix gap CI script

---
 .github/workflows/gap.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/gap.yml b/.github/workflows/gap.yml
index 2387473ce..5386e13b3 100644
--- a/.github/workflows/gap.yml
+++ b/.github/workflows/gap.yml
@@ -42,7 +42,7 @@ jobs:
           - gap-version: 'master'
             julia-version: '1'
             os: macOS-latest
-          - gap-version: 'stable-4.14'
+          - gap-version: 'stable-4.15'
             julia-version: '1'
             os: macOS-latest
 

From af6b47cb825616c958374be9c3e421236b1c53b5 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Lars=20G=C3=B6ttgens?= <lars.goettgens@rwth-aachen.de>
Date: Thu, 2 Oct 2025 12:46:02 +0200
Subject: [PATCH 11/11] Skip `smallclassnr` in distro tests

---
 .github/workflows/CI-distro.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.github/workflows/CI-distro.yml b/.github/workflows/CI-distro.yml
index 0cb734ce7..fc453e099 100644
--- a/.github/workflows/CI-distro.yml
+++ b/.github/workflows/CI-distro.yml
@@ -75,6 +75,7 @@ jobs:
           - gap-package: 'polymaking'                 # `polymake command not found. Please set POLYMAKE_COMMAND by hand`
           - gap-package: 'profiling'                  # segfaults during testing
           - gap-package: 'ringsforhomalg'             # `Error, found no GAP executable in PATH`
+          - gap-package: 'smallclassnr'               # tests pass, but the job fails. Needs to be investigated further
           - gap-package: 'toricvarieties'             # random segfaults during testing
           - gap-package: 'xgap'                       # no jll