Closed hannes14 closed 4 months ago
use new Singular_jll and new libsingular_julia (and signal handling)
use new Singular_jll and new libsingular_julia (and signal handling)