Julia 模块验证数字错误

我想用朱莉娅做一些我想做的计算机辅助证明。因此，我安装了它（在debian中使用apt get），然后用它的包管理器安装了ValidatedNumerics

然后当我写的时候

using ValidatedNumerics

我得到以下错误

ERROR: ⊆ not defined
in include at boot.jl:238
at /home/user/.julia/v0.2/ValidatedNumerics/src/ValidatedNumerics.jl:5

我查看了这个文件，它试图从Base导入⊆ 显然，它失败了。当我发表评论时⊆, 然后，该命令不会返回错误，但毫不奇怪模块已损坏且无法使用

---

此错误是什么？如何修复？

0.2版？可能有点老了。嗨，ValidatedNumerics.jl作者在这里。我很高兴你愿意使用这个软件包。请随时在存储库中写下问题，或向我发送电子邮件以了解任何问题。在本例中，@daycaster认为您的Julia版本太旧（2年前？）是正确的。ValidatedNumerics.jl的最新版本需要Julia v0.4。你可以直接从朱莉娅的主页下载。你好，大卫，谢谢你的回答。在你上周在华威的演讲后，我真的想尝试一下。问题似乎在于debian的存储库中有一个较旧版本的Julia。我将尝试安装新版本。问题是repos中的旧版本。我使用了朱莉娅语言的官方回购协议，一切正常。我必须承认，有点明显。不明显的是，为什么存储库仍然包含一个古老的版本。版本0.2？可能有点老了。嗨，ValidatedNumerics.jl作者在这里。我很高兴你愿意使用这个软件包。请随时在存储库中写下问题，或向我发送电子邮件以了解任何问题。在本例中，@daycaster认为您的Julia版本太旧（2年前？）是正确的。ValidatedNumerics.jl的最新版本需要Julia v0.4。你可以直接从朱莉娅的主页下载。你好，大卫，谢谢你的回答。在你上周在华威的演讲后，我真的想尝试一下。问题似乎在于debian的存储库中有一个较旧版本的Julia。我将尝试安装新版本。问题是repos中的旧版本。我使用了朱莉娅语言的官方回购协议，一切正常。我必须承认，有点明显。不明显的是，为什么存储库仍然包含一个古老的版本。