sci-mathematics@gentoo.org Gentoo Mathematics Project haskell@gentoo.org Gentoo Haskell Install agda-lib-ffi for compilation using the MAlonzo backend agda/agda-stdlib