[Agda] Agda 2.3.2 installation in ubuntu 12.04

Martin Escardo m.escardo at cs.bham.ac.uk
Thu Apr 25 15:02:08 CEST 2013


I followed the instructions here:

http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Cabal.Linux

When I do

cabal install happy alex haskell-src-exts-1.9.6 Agda

haskell-src-exts-1.9.6 fails.

I just did, after failure,

cabal install Agda && agda-mode setup

I got no complain, and I tested a large set of Agda modules, and this 
worked fine. Will I have problems with the haskell-src-exts-1.9.6 failure?

(I have installed Agda 2.3.2 in three other machines under ubuntu 12.04 
in the past, but the instructions given before were slightly different, 
and more verbose, and I don't have them available any longer.)

Thanks,
Martin


More information about the Agda mailing list