Skip to content

Update GAP.jl to 0.16, i.e. GAP to 4.15.1 - #5374

Merged
lgoettgens merged 6 commits into
masterfrom
lg/GAP-0.16
Oct 24, 2025
Merged

Update GAP.jl to 0.16, i.e. GAP to 4.15.1#5374
lgoettgens merged 6 commits into
masterfrom
lg/GAP-0.16

Merge branch 'master' into lg/GAP-0.16

487eaa0
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar