Update to GAP 4.15.0 - #1244

Merged

fingolfin merged 13 commits into

lg/gap-4.15.0-jlls

Oct 4, 2025

Commits on Sep 25, 2025

Adapt to kernel extension building changes in gap
lgoettgens
committed
d825435
Version 0.16.0-DEV
lgoettgens
committed
515a03a
Update GAP to 4.15.0
lgoettgens
committed
9b9707e
Update package distro to 4.15.0-beta1
lgoettgens
committed
9aca39f
Update `digraphs` to 1.12.0
lgoettgens
committed
fcfe910
Update package distro to 4.15.0-beta2
lgoettgens
committed
e706ae6
Update package distro to 4.15.0-beta3
lgoettgens
committed
e49636e

Commits on Sep 29, 2025

Add to changelog
lgoettgens
committed
3fa2c1c
Update package distro to 4.15.0
lgoettgens
committed
dee76db

Commits on Oct 1, 2025

Merge branch 'master' into lg/gap-4.15.0-jlls
lgoettgens
authored
f451772

Commits on Oct 2, 2025

Merge branch 'master' into lg/gap-4.15.0-jlls
lgoettgens
authored
5ca3e04
Fix gap CI script
lgoettgens
authored
69ff0fe
Skip `smallclassnr` in distro tests
lgoettgens
authored
af6b47c