DEFINED_PHASES=compile configure install postinst prepare prerm setup test
DEPEND=~sci-mathematics/agda-2.3.0.1 >=dev-haskell/cabal-1.8 >=dev-lang/ghc-6.8.2 >=dev-haskell/cabal-1.1.4
DESCRIPTION=Command-line program for type-checking and compiling Agda programs
EAPI=4
HOMEPAGE=http://wiki.portal.chalmers.se/agda/
KEYWORDS=~amd64 ~x86
LICENSE=MIT
SLOT=0
SRC_URI=mirror://hackage/packages/archive/Agda-executable/2.3.0.1/Agda-executable-2.3.0.1.tar.gz
_eclasses_=eutils	d40dc948067bd3db1c8ebf7d51897313	ghc-package	c50de19959be43d5c072ac4169f4dbfd	haskell-cabal	b4543046102ee4aec41502a7cb8fd6f2	multilib	9aa8a023e062fca0ba79362d9d0cc488	toolchain-funcs	134429b842a6c67254bfd76a8753e4d4	user	d0a4d0735a6c0183d707ca919bd72f28	versionator	6601b4c5b3f019a993db59a50e1854e4
_md5_=1d94a3d7bb1416e81dcf6f13faac27cb