gentoo-haskell/gentoo-haskell — pull request #278 by vikraman (2013-10-25 22:39:38+00:00)
Title: sci-mathematics/agda-stdlib: Install agda-lib-ffi

The agda-lib-ffi package provides some additional haskell modules which
are needed by the agda standard library, such as during compilation
using the MAlonzo backend. It is available inside the ffi/ directory and
needs to be built and installed by the ebuild. This patch does that.