[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