LazySets v6.1.0 Diff since v6.0.4 Merged pull requests: Use new ExplicitImports interface (#4308) (@schillic) Bump codecov/codecov-action from 6 to 7 (#4309) (@dependabot[bot]) Bump actions/checkout from 6 to 7 (#4310) (@dependabot[bot]) Use package extensions for LazySets in inner modules (#4314) (@schillic) Remove global variables (#4319) (@schillic) Be explicit about Polyhedra.polyhedron (#4325) (@schillic) Use SetProg in tests again (#4326) (@schillic) Minor fixes to HalfSpace tests (#4327) (@schillic) Use dependency instead of internal function in test (#4328) (@schillic) Avoid using Symbolics in tests (#4332) (@schillic) Use midpoint_radius (#4342) (@schillic) Raise minimum version of StaticArrays in tests & docs (#4344) (@schillic) Sampler for UnionSetArray (#4347) (@giacomobais) Format code (#4349) (@schillic) Automatic JuliaFormatter.jl run (#4350) (@github-actions[bot]) Avoid unnecessary qualified accesses (#4352) (@schillic) v6.1.0 (#4356) (@schillic) Remove [extras] from Project.toml (#4357) (@schillic) Make LazySetsExt part of the main code again (#4358) (@schillic)