require v0.71 of Utils

gap-packages · Apr 27, 2022 · 637972b · 637972b
1 parent 7eebbc3
commit 637972b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/PackageInfo.g b/PackageInfo.g
@@ -106,7 +106,7 @@ PackageDoc := rec(
 
 Dependencies := rec(
   GAP := ">=4.11.0",
-  NeededOtherPackages := [ ["utils", ">= 0.69"], 
+  NeededOtherPackages := [ ["utils", ">= 0.71"], 
                            ["groupoids", ">= 1.68"], 
                            ["HAP", ">= 1.29"],
                            ["AutPGrp", ">= 1.10.2"],