如何解决现在用 cabal 安装 idris 的最安全方法是什么
我想安装 idris 工具链，由于我已经安装并设置了 cabal，我尝试使用 cabal install
但是当我运行 cabal install idris 时，它导致以下错误：
Resolving dependencies...
cabal: Could not resolve dependencies:
[__0] trying: idris-1.3.3 (user goal)
[__1] next goal: idris:setup.Cabal (dependency of idris)
[__1] rejecting: idris:setup.Cabal-3.2.1.0/installed-3.2.1.0 (conflict: idris
=> idris:setup.Cabal>=2.4 && <3.1)
[__1] skipping: idris:setup.Cabal-3.4.0.0,idris:setup.Cabal-3.2.1.0,idris:setup.Cabal-3.2.0.0 (has the same characteristics that caused the
previous version to fail: excluded by constraint '>=2.4 && <3.1' from 'idris')
[__1] rejecting: idris:setup.Cabal-3.0.2.0,idris:setup.Cabal-3.0.1.0,idris:setup.Cabal-3.0.0.0,idris:setup.Cabal-2.4.1.0,idris:setup.Cabal-2.4.0.1,idris:setup.Cabal-2.4.0.0,idris:setup.Cabal-2.2.0.1,idris:setup.Cabal-2.2.0.0,idris:setup.Cabal-2.0.1.1,idris:setup.Cabal-2.0.1.0,...
idris:setup.Cabal-1.2.2.0,idris:setup.Cabal-1.2.1,idris:setup.Cabal-1.1.6,idris:setup.Cabal-1.24.1.0 (constraint from minimum version of Cabal used by
Setup.hs requires >=3.2)
[__1] fail (backjumping,conflict set: idris,idris:setup.Cabal)
After searching the rest of the dependency tree exhaustively,these were the
goals I've had most trouble fulfilling: idris:setup.Cabal,idris,base,ivor`
我知道与今天的 haskell 软件包相比，该语言有点过时。
有些人将它安装在具有最旧版本 cabal 的沙箱中，但我现在不知道正确的方法是什么，在新的 cabal-install 中使用 nix 风格的 v2-install。
- 阴谋集团版本：
cabal-install version 3.4.0.0
compiled using version 3.4.0.0 of the Cabal library
我应该如何安装 idris ？
从 AUR 预编译它是否更好（我使用的是 archlinux）？
版权声明：本文内容由互联网用户自发贡献，该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务，不拥有所有权，不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容， 请发送邮件至 dio@foxmail.com 举报，一经查实，本站将立刻删除。