[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