require GAP 4.13

kamalsaleh · kamalsaleh · commit 369a0735231a · 2025-07-08T12:16:28.000+02:00
diff --git a/StableCategories/PackageInfo.g b/StableCategories/PackageInfo.g
@@ -69,7 +69,7 @@ PackageDoc := rec(
 ),
 
 Dependencies := rec(
-  GAP := ">= 4.12.1",
+  GAP := ">= 4.13.0",
   NeededOtherPackages := [ [ "CAP", ">= 2024.09-12" ],
                            [ "GAPDoc", ">= 1.5" ],
                            [ "TriangulatedCategories", ">= 2021.11-01" ],
diff --git a/ToolsForHigherHomologicalAlgebra/PackageInfo.g b/ToolsForHigherHomologicalAlgebra/PackageInfo.g
@@ -69,7 +69,7 @@ PackageDoc := rec(
 ),
 
 Dependencies := rec(
-  GAP := ">= 4.12.1",
+  GAP := ">= 4.13.0",
   NeededOtherPackages :=
         [
           [ "CAP", ">=2022.05-04" ],
