gentoo-overlay/metadata/md5-cache/sci-mathematics/agda-stdlib-0.6

DEFINED_PHASES=compile install test
DEPEND==sci-mathematics/agda-executable-2.3.0*
DESCRIPTION=Agda standard library
EAPI=4
HOMEPAGE=http://wiki.portal.chalmers.se/agda/
IUSE=profile
KEYWORDS=~amd64 ~x86
LICENSE=MIT
RDEPEND==sci-mathematics/agda-2.3.0*[profile?]
SLOT=0
SRC_URI=http://www.cse.chalmers.se/~nad/software/lib-0.6.tar.gz -> agda-stdlib-0.6.tar.gz
_eclasses_=elisp-common	57a17c02cd0f6f0c423e3d6de5c83f13
_md5_=cb0fa5f793e9cdefffc297e839cc1dab