You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Patch looks good to me. One slight issue is that Guava has been updated to Guava 3.4. So let's merge this in alpha0 and if it doesn't work we can fix it later.
I've attached a patch to add Debian build support to the GAP spkg (it only builds the Guava GAP package).
Component: debian-package
Issue created by migration from https://trac.sagemath.org/ticket/2756
The text was updated successfully, but these errors were encountered: