gentoo-haskell/gentoo-haskell — pull request #87 by tomprince (2012-02-20 15:14:15+00:00)
Title: Add live ebuild for idris.

Only the most recent git version properly install's idris's standard
library with 'cabal copy'.