GAP.jl 0.10.2 released
26 Jan 2024Today GAP.jl 0.10.2 has been released.
Merged pull requests:
- Use julia 1.10 as default in CI (#957) (@lgoettgens)
- improve package handling (#958) (@ThomasBreuer)
- use a custom
Downloads.Downloader
for installing GAP packages (#961) (@ThomasBreuer)
Closed issues:
- Add a helper to figure out where a loaded package is installed (#934)
- Feature request: Support
GAP.Packages.load("BLA", install=URL)
(#954)