UndefVarError: `IntervalBox` not defined on 'using'

[danvinci]

This is the console output I get for "using LazySets": Julia 1.10.3 aarch64 (MacOS)

ERROR: LoadError: UndefVarError: `IntervalBox` not defined
Stacktrace:
 [1] getproperty(x::Module, f::Symbol)
   @ Base ./Base.jl:31
 [2] top-level scope
   @ ~/.julia/packages/LazySets/ZmGxF/src/Initialization/init_IntervalArithmetic.jl:10
 [3] include(mod::Module, _path::String)
   @ Base ./Base.jl:495
 [4] include(x::String)
   @ LazySets ~/.julia/packages/LazySets/ZmGxF/src/LazySets.jl:1
 [5] top-level scope
   @ ~/.julia/packages/LazySets/ZmGxF/src/LazySets.jl:58
 [6] include
   @ ./Base.jl:495 [inlined]
 [7] include_package_for_output(pkg::Base.PkgId, input::String, depot_path::Vector{String}, dl_load_path::Vector{String}, load_path::Vector{String}, concrete_deps::Vector{Pair{Base.PkgId, UInt128}}, source::Nothing)
   @ Base ./loading.jl:2222
 [8] top-level scope
   @ stdin:3
in expression starting at /Users/dan/.julia/packages/LazySets/ZmGxF/src/Initialization/init_IntervalArithmetic.jl:10
in expression starting at /Users/dan/.julia/packages/LazySets/ZmGxF/src/LazySets.jl:1
in expression starting at stdin:3

I looked through open/closed issues but this seems new.

[schillic]

I cannot reproduce, neither with the development version nor with the latest release v2.14.1 of LazySets. Which versions of LazySets and IntervalArithmetic do you use?

pkg> st -m
[...]
⌅ [d1acc4aa] IntervalArithmetic v0.21.2
[...]

[schillic]

Feel free to reopen if still relevant.