upgrade selected GAP packages at startup#3222

Merged

fingolfin merged 3 commits intooscar-system:masterfrom

ThomasBreuer:TB_upgrade_repsn

Jan 26, 2024

Commits on Jan 23, 2024

upgrade selected GAP packages at startup
ThomasBreuer
committed

Commits on Jan 25, 2024

workaround for a `Downloads.Downloader` problem in Julia 1.10
ThomasBreuer
committed

Commits on Jan 26, 2024

request GAP.jl 0.10.2 instead of the workaround
ThomasBreuer
committed