[Agda] ANNOUNCE: Agda 2.4.2.2
Andrés Sicard-Ramírez
asr at eafit.edu.co
Mon May 11 13:40:35 CEST 2015
On 11 May 2015 at 02:46, Byron Hale <byron.hale at einfo.com> wrote:
> On Ubuntu 14.04 AMD-64, with the latest Haskell Platform, GHC 7.8.3 and
> cabal-install version 1.22.2.0 installed,
> "cabal install agda" (2.4.2.2) forces cpphs-1.18.9 -> cpphs-1.19 and
> haskell-src-exts-1.16.0.1 -> haskell-src-exts-1.19.
haskell-src-exts-1.19 doesn't exists.
> This happened even when I pre-installed the correct versions of those
> dependencies.
I don't understand. What did you pre-install?
--
Andrés
More information about the Agda
mailing list