#6 Installation description needs to be updated

[Anonymous]

I installed Agda under linux.
Since the newest versions are only available under windows and the macintosh (what a shame -- that should be fixed -- the latest version should always be available from source!)
I installed version 1.0.0rc4

- One should note that one needs additionally the
packages automake and autoconf
- ghc 6.2 as mentioned in the README file doesn't
work. ghc 6.6 (the latest version) doesn't work
neither, but 6.4

Anton Setzer
a.g.setzer@swan.ac.uk

[Emmet Caulfield]

Logged In: YES
user_id=1898115
Originator: NO

For installation on Debian/Ubuntu, one also needs the "libghc6-mtl-dev" package for (at least) Control.Monad.Reader.