BDEPEND=app-text/dos2unix DEFINED_PHASES=compile configure install postinst postrm prepare setup test DEPEND=>=sci-mathematics/agda-2.6.3.0:=[profile?] >=dev-haskell/cabal-1.24.2.0 >=dev-haskell/filemanip-0.3.6.2[profile?] =dev-lang/ghc-8.0.2 DESCRIPTION=Agda standard library EAPI=8 HOMEPAGE=https://wiki.portal.chalmers.se/agda/ IUSE=profile KEYWORDS=~amd64 LICENSE=MIT RDEPEND=>=sci-mathematics/agda-2.6.3.0:=[profile?] dev-lang/ghc:=[profile?] SLOT=0 SRC_URI=https://github.com/agda/agda-stdlib/archive/v1.7.2.tar.gz -> agda-stdlib-2.6.3.0.1.7.2.tar.gz _eclasses_=elisp-common abb2dda42f680fce87602c8273f832c7 ghc-package 94e9e8c87736070ff088bc34d0f45f7c haskell-cabal 91c151c7c4674cac3cf13313d653e1f3 multilib c19072c3cd7ac5cb21de013f7e9832e0 multiprocessing 30ead54fa2e2b5f9cd4e612ffc34d0fe toolchain-funcs e56c7649b804f051623c8bc1a1c44084 _md5_=f1733322c2e2570697e5ac12fa95fc89