[Agda] Agda 2.3.2 installation in ubuntu 12.04

[Nils Anders Danielsson]

On 2013-04-25 16:52, gallais wrote:
> None at all: it was just the version required at the time when I
> summed up the process.

I don't see why there is any need to mention haskell-src-exts on the
command-line. Have I missed something, or can I remove all occurrences
of haskell-src-exts from the wiki page?

-- 
/NAD