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