лучшая стратегия для установки PandocAgda, которая требует базы <4.7, когда GHC 7.8.3 установлен

Question

После cabal install - дическим PandocAgda, я получаю

отвергая: базовый 4.7.0.1/встроено-df2 ... (конфликт: PandocAgda => база> = 4,2 & & < 4,7)

у меня есть на моей машине

~ ❯❯❯ GHC --version
Славная Glasgow Haskell Компиляция System, версия 7.8.3

база привязана ли к GHC версии?

Каков самый чистый способ установки PandocAgda?

Answer 1

Все выпуски PandocAgda, похоже, имеют < 4.7 установлены на базе. Вы можете попробовать использовать флаг --allow-newer до cabal и посмотреть, найдет ли он план сборки, совместимый с 7.8.3.