安装PandocAgda的最佳策略，需要基础＆lt; 4.7安装ghc 7.8.3时

Question

cabal install PandocAgda后，我得到了

  

拒绝：base-4.7.0.1 / installed-df2 ...（冲突：PandocAgda =＆gt;   base＆gt; = 4.2＆amp;＆amp; ＆LT; 4.7）

我在我的机器上

  

〜❯❯❯ghc --version
  Glorious Glasgow Haskell编译系统，   版本7.8.3

基础与ghc版本挂钩吗？

安装PandocAgda的最简洁方法是什么？

Answer 1

PandocAgda的所有版本似乎都设置了< 4.7。您可以尝试使用--allow-newer标记cabal，看看是否找到了与7.8.3兼容的构建计划。