From 472ae0f22ccda3394d00d9dbf7856cbbf5605c4c Mon Sep 17 00:00:00 2001
From: stertooy <5571903+stertooy@users.noreply.github.com>
Date: Sat, 28 Mar 2026 15:47:17 +0100
Subject: [PATCH 1/2] Update `PackageInfo.g` and CI suite

---
 .github/workflows/CI.yml | 32 +++++++++++++++-----------------
 PackageInfo.g            |  4 ++++
 2 files changed, 19 insertions(+), 17 deletions(-)

diff --git a/.github/workflows/CI.yml b/.github/workflows/CI.yml
index efa05e0..83b2094 100644
--- a/.github/workflows/CI.yml
+++ b/.github/workflows/CI.yml
@@ -19,31 +19,29 @@ concurrency:
 jobs:
   # The CI test job
   test:
-    name: ${{ matrix.gap-branch }}
+    name: ${{ matrix.gap-version }}
     runs-on: ubuntu-latest
     strategy:
       fail-fast: false
       matrix:
-        gap-branch:
-          - master
-          - stable-4.15
-          - stable-4.14
-          - stable-4.13
-          - stable-4.12
+        gap-version:
+          - 'devel'
+          - '4.15'
+          - '4.14'
+          - '4.13'
+          - '4.12'
 
     steps:
       - uses: actions/checkout@v6
-      - uses: gap-actions/setup-gap@v2
+      - uses: gap-actions/setup-gap@v3
         with:
-          GAPBRANCH: ${{ matrix.gap-branch }}
-      - name: 'Install additional dependencies'
-        run: sudo apt-get install libmpfr-dev libmpfi-dev libmpc-dev
-      - uses: gap-actions/build-pkg@v1
-      - uses: gap-actions/run-pkg-tests@v3
-      - uses: gap-actions/run-pkg-tests@v3
+          gap-version: ${{ matrix.gap-version }}
+      - uses: gap-actions/build-pkg@v3
+      - uses: gap-actions/run-pkg-tests@v4
+      - uses: gap-actions/run-pkg-tests@v4
         with:
-          only-needed: true
-      - uses: gap-actions/process-coverage@v2
-      - uses: codecov/codecov-action@v5
+          mode: onlyneeded
+      - uses: gap-actions/process-coverage@v3
+      - uses: codecov/codecov-action@v6
         with:
           token: ${{ secrets.CODECOV_TOKEN }}
diff --git a/PackageInfo.g b/PackageInfo.g
index 84d8e68..696363e 100644
--- a/PackageInfo.g
+++ b/PackageInfo.g
@@ -62,6 +62,10 @@ Dependencies := rec(
   GAP := ">=4.12.0",
   NeededOtherPackages := [["GAPDoc",">=1.0"]],
   SuggestedOtherPackages := [],
+  NeededSystemPackages := rec(
+    Ubuntu   := [["libmpc-dev"], ["libmpfi-dev"], ["libmpfr-dev"]],
+    Homebrew := [["libmpc"],     ["mpfi"],        ["mpfr"]]
+  ),
   ExternalConditions := ["GAP compiled with GMP support"]                      
 ),
 

From b73c13b69f3c7c53b290084e7ca1fa759b5039d9 Mon Sep 17 00:00:00 2001
From: stertooy <5571903+stertooy@users.noreply.github.com>
Date: Tue, 31 Mar 2026 10:55:29 +0200
Subject: [PATCH 2/2] Update PackageInfo.g

Co-authored-by: Max Horn <max@quendi.de>
---
 PackageInfo.g | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/PackageInfo.g b/PackageInfo.g
index 696363e..46f5058 100644
--- a/PackageInfo.g
+++ b/PackageInfo.g
@@ -64,7 +64,7 @@ Dependencies := rec(
   SuggestedOtherPackages := [],
   NeededSystemPackages := rec(
     Ubuntu   := [["libmpc-dev"], ["libmpfi-dev"], ["libmpfr-dev"]],
-    Homebrew := [["libmpc"],     ["mpfi"],        ["mpfr"]]
+    Homebrew := [["libmpc"],     ["mpfi"],        ["mpfr"]],
   ),
   ExternalConditions := ["GAP compiled with GMP support"]                      
 ),