Obtain binary from
(Currently binary 0.4.2 doesn't work for Agda)
Download the source distribution, do
Then follow the cabal instructions (http://www.haskell.org/haskellwiki/How_to_install_a_Cabal_package), i.e.
runghc Setup.lhs configure runghc Setup.lhs build runghc Setup.lhs install
Problems when building it
- At one point a problem was fixed by installing the glibc and glibc-devel packages from the Linux distribution (here Suse).