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
Cannot seem to find an issue related to this, but there seems to be a new version FLINT_jll which Nemo isn't using. With this, both the dependency of Arb_jll, Antic_jll and Calcium_jll can be removed.
The text was updated successfully, but these errors were encountered:
albinahlback
changed the title
Remove dependency of Arb_jll and Antic_jll, and upgrade FLINT_jll
Remove dependency of Arb_jll, Antic_jll and Calcium_jll, and upgrade FLINT_jllOct 30, 2023
Cannot seem to find an issue related to this, but there seems to be a new version
FLINT_jll
which Nemo isn't using. With this, both the dependency ofArb_jll
,Antic_jll
andCalcium_jll
can be removed.The text was updated successfully, but these errors were encountered: