[Agda] ANNOUNCE: Agda 2.4.2.2

[Byron Hale]

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.
This happened even when I pre-installed the correct versions of those 
dependencies.
cabal then complains that there is a version conflict and exits with an 
error.

What might fix this?

Thanks,

Byron Hale

On 11/26/2014 07:07 AM, Andrés Sicard-Ramírez wrote:
> Hi,
>
> Agda 2.4.2.2 has been released.
>
> This is a bug-fix release fixing compilation on Windows and others issues.
>
> The standard library 0.9 type-checks with this version of Agda.
>
> Download with
>
>   cabal update && cabal install Agda
>
> or got to http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Main.Download .
>
> Important changes since Agda 2.4.2.1 <http://2.4.2.1>: 
> https://github.com/agda/agda/blob/2.4.2.2/CHANGELOG .
>
> -- 
> Andrés, on behalf of the Agda team
>
>
> _______________________________________________
> Agda mailing list
> Agda at lists.chalmers.se
> https://lists.chalmers.se/mailman/listinfo/agda

-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.chalmers.se/pipermail/agda/attachments/20150511/51e6592d/attachment.html