[Agda] ANNOUNCE: Agda 2.4.2.2

[Andreas Abel]

A dump of the error cabal gives might be helpful...

You might have to force-reinstall some more packages.

On 11.05.2015 09:46, Byron Hale 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.
> 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
>
>
>
> _______________________________________________
> Agda mailing list
> Agda at lists.chalmers.se
> https://lists.chalmers.se/mailman/listinfo/agda
>


-- 
Andreas Abel  <><      Du bist der geliebte Mensch.

Department of Computer Science and Engineering
Chalmers and Gothenburg University, Sweden

andreas.abel at gu.se
http://www2.tcs.ifi.lmu.de/~abel/