Skip to content

Add PerfGrp to the required packages - #1517

Merged
fingolfin merged 1 commit into
mainfrom
perfgrp-required
Aug 14, 2026
Merged

Add PerfGrp to the required packages#1517
fingolfin merged 1 commit into
mainfrom
perfgrp-required

Conversation

@fingolfin

Copy link
Copy Markdown
Member

GAP 4.17 will not start without PerfGrp, since the library of perfect
groups moved out of the core system into that package
(gap-system/gap#6488). packages-required.tar.gz so far still held only
the four packages needed by earlier GAP versions, so every CI job that
bootstraps the required set fails with

Error, failed to load needed package 'perfgrp' (version >= 1.0)

A new latest release is needed for this to take effect.

Prepared with Claude Code (Claude Opus 5), which diagnosed the CI
failures and made the change.

GAP 4.17 will need PerfGrp to start, as the library of perfect groups
moved out of the core system into that package. Include it in
packages-required.tar.gz, which so far still held only the four packages
needed by earlier GAP versions.

Prepared with Claude Code (Claude Opus 5), which diagnosed the CI
failures on gap-system/gap#6488 and made this change.

Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>
@fingolfin
fingolfin merged commit 46c7baa into main Aug 14, 2026
1 check passed
@fingolfin
fingolfin deleted the perfgrp-required branch August 14, 2026 07:52
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant