search

oscar-system / Oscar.jl

A comprehensive open source computer algebra system for computations in algebra, geometry, and number theory.
https://www.oscar-system.org
Other
338 stars 120 forks source link

broken on julia nightly due to `names` changes #3882

Closed thofma closed 3 months ago

thofma commented 3 months ago

There were some changes to names, which broke things in all packages doing the import/export reexport shenanigans. Trying to fix this for Nemo here: https://github.com/Nemocas/Nemo.jl/pull/1800. (edit: reported upstream in https://github.com/JuliaLang/julia/issues/54885)

lgoettgens commented 3 months ago

The julia commit has been reverted in https://github.com/JuliaLang/julia/pull/54959, so Nemo should work again once the next nightly is available (next few hours).