[Agda] Agda 2.3.2 installation in ubuntu 12.04

gallais guillaume.allais at ens-lyon.org
Thu Apr 25 16:52:10 CEST 2013


None at all: it was just the version required at the time when I
summed up the process.

--
gallais


On 25 April 2013 14:51, Nils Anders Danielsson <nad at cse.gu.se> wrote:

> On 2013-04-25 15:02, Martin Escardo wrote:
>
>> cabal install happy alex haskell-src-exts-1.9.6 Agda
>>
>
> I don't think you need to include "haskell-src-exts-1.9.6" in this
> command.
>
> Guillame, what was the reason for requiring that a specific version of
> haskell-src-exts should be installed?
>
>
>  Will I have problems with the haskell-src-exts-1.9.6 failure?
>>
>
> I don't think so.
>
> --
> /NAD
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.chalmers.se/pipermail/agda/attachments/20130425/277e3786/attachment.html


More information about the Agda mailing list