[Agda] Agda 2.3.2 installation in ubuntu 12.04

[Nils Anders Danielsson]

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