Skip to content

GAP packages with configure support must support --with-gaproot=PATH#13

Merged
fingolfin merged 1 commit intomainfrom
mh/configure
Mar 12, 2026
Merged

GAP packages with configure support must support --with-gaproot=PATH#13
fingolfin merged 1 commit intomainfrom
mh/configure

Commits

Commits on Mar 11, 2026