BDEPEND=app-text/dos2unix
DEFINED_PHASES=compile configure install postinst postrm prepare setup test
DEPEND=>=sci-mathematics/agda-2.6.4.3:=[profile?] >=dev-haskell/cabal-1.24.2.0 >=dev-haskell/filemanip-0.3.6.2[profile?] <dev-haskell/filemanip-0.4[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.4.3:=[profile?] dev-lang/ghc:=[profile?]
SLOT=0
SRC_URI=https://github.com/agda/agda-stdlib/archive/v2.0.tar.gz -> agda-stdlib-2.6.4.3.2.0.tar.gz
_eclasses_=ghc-package	94e9e8c87736070ff088bc34d0f45f7c	haskell-cabal	91c151c7c4674cac3cf13313d653e1f3	multilib	b2a329026f2e404e9e371097dda47f96	multiprocessing	1e32df7deee68372153dca65f4a7c21f	toolchain-funcs	d3d42b22a610ce81c267b644bcec9b87
_md5_=fb0a2ddc610f41124c14ffc4bf223a31