From 236ecd1c18eaea6176ddccf22bee3405e19de75b Mon Sep 17 00:00:00 2001 From: Max Horn Date: Fri, 31 Jul 2026 00:01:55 +0200 Subject: [PATCH] Require GAP >= 4.13 The `Extensions` field in PackageInfo.g, which we use to load gap/digraphs.g once Digraphs is available, is only supported since GAP 4.13 (see gap-system/gap#5375). Older GAP versions silently ignore unknown PackageInfo.g components, so on GAP 4.11/4.12 the extension is never read, QC_RegisterFilterGen(IsDigraph, ...) never runs, and tst/digraphs.tst fails with Error, Filter with no random generator: The previous bound of ">= 4.11" was never actually tested, since the CI matrix hardcoded stable-4.13 as its oldest branch. Testing against the 'minimal' GAP version derived from PackageInfo.g exposed this. --- PackageInfo.g | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/PackageInfo.g b/PackageInfo.g index 7bd9d45..0f9bc70 100644 --- a/PackageInfo.g +++ b/PackageInfo.g @@ -64,7 +64,7 @@ PackageDoc := rec( ), Dependencies := rec( - GAP := ">= 4.11", + GAP := ">= 4.13", NeededOtherPackages := [ ["polycyclic", ">=1.1"] ], SuggestedOtherPackages := [ ], ExternalConditions := [ ],