我正在尝试使用Julia进行一些我想做的计算机辅助证明。所以我安装了它（使用apt-get在debian中）然后我用它的包管理器安装了ValidatedNumerics。
然后当我写
using ValidatedNumerics
我收到以下错误
ERROR: ⊆ not defined
in include at boot.jl:238
at /home/user/.julia/v0.2/ValidatedNumerics/src/ValidatedNumerics.jl:5
我查看了该文件并试图从Base import导入其他内容，显然它失败了。当我注释掉⊆时，该命令不会返回错误，但不出所料，模块已损坏且无法使用。
这是什么错误以及如何解决？