gentoo-haskell/gentoo-haskell — pull request #285 by vikraman (2013-12-02 13:36:46+00:00)
Title: sci-mathematics/agda-lib-ffi: Fix installation

Context: #278

The agda-lib-ffi cabal package was not correctly installed. So I have separated it out into a different package and added a runtime dependency for agda-stdlib.