11 lines
812 B
Text
11 lines
812 B
Text
DEFINED_PHASES=compile configure install postinst prepare prerm setup test
|
|
DEPEND=~sci-mathematics/agda-2.3.0 >=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=3
|
|
HOMEPAGE=http://wiki.portal.chalmers.se/agda/
|
|
KEYWORDS=~amd64 ~x86
|
|
LICENSE=MIT
|
|
SLOT=0
|
|
SRC_URI=http://hackage.haskell.org/packages/archive/Agda-executable/2.3.0/Agda-executable-2.3.0.tar.gz
|
|
_eclasses_=eutils 327b713e2d6949c42cd96bc4898fd280 ghc-package f39fadb76cd4747582996e6b0d44479c haskell-cabal 10f63c8efa3135a67f680571f1956a97 multilib 5782800349f728f725f9378105c6a2ab toolchain-funcs d3b5812eeab360bc41aa48b6cdbbc142 user d0a4d0735a6c0183d707ca919bd72f28 versionator 6601b4c5b3f019a993db59a50e1854e4
|
|
_md5_=07989650b23198cf8205fc49028a4063
|