DEFINED_PHASES=compile configure install postinst postrm setup test DEPEND=>=sci-mathematics/agda-2.5.2:=[profile?] ffi? ( sci-mathematics/agda-lib-ffi ) >=dev-haskell/cabal-1.16.0 >=dev-haskell/filemanip-0.3.6.2[profile?] =dev-lang/ghc-7.6.3 DESCRIPTION=Agda standard library EAPI=6 HOMEPAGE=http://wiki.portal.chalmers.se/agda/ IUSE=profile +ffi KEYWORDS=~amd64 ~x86 LICENSE=MIT RDEPEND=>=sci-mathematics/agda-2.5.2:=[profile?] ffi? ( sci-mathematics/agda-lib-ffi ) SLOT=0 SRC_URI=https://github.com/agda/agda-stdlib/archive/v0.13.tar.gz -> agda-stdlib-2.5.2.0.13.tar.gz _eclasses_=elisp-common 19ff54b35acd0bf2a14831a308a57753 epatch 8233751dc5105a6ae8fcd86ce2bb0247 epunt-cxx f8073339d152f56626493f43d8ba4691 estack 5ac2a138d0b33354b764d84f9e835db8 eutils e7491451996e8b54c3caeb713285b0fb ghc-package f9cf05643e20f03876bb4807f008c80f haskell-cabal 45605f3898bdc59eb016fb50ca27bf18 ltprune 2770eed66a9b8ef944714cd0e968182e multilib 165fc17c38d1b11dac2008280dab6e80 multiprocessing 284a473719153462f3e974d86c8cb81c toolchain-funcs 1b1da0c45c555989dc5d832b54880783 versionator 99ae9d758cbe7cfed19170e7d48f5a9c _md5_=d695cf8094145eb5e8efca6072389c57