New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Preparing for GAP 4.13.2 #5751

Closed

fingolfin opened this issue Jun 19, 2024 · 1 comment

Member

fingolfin commented Jun 19, 2024

Things I'd like to see for it:

new PackageManager release (with catch situations where PKGMAN_Exec returns fail gap-packages/PackageManager#123 resolved)
Teach packages to find and use GMP in more cases (and possibly also other homebrew packages) #5678 resolved and new releases of the affected packages
...

The text was updated successfully, but these errors were encountered:

Member Author

fingolfin commented Oct 15, 2024

I think we'll not do 4.13.2 and go straight to 4.14.0

fingolfin closed this as completed

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment