2015-01-02 11:56:43 +03:00
|
|
|
DEFINED_PHASES=compile configure install postinst postrm prepare setup test
|
2014-07-03 13:20:58 +04:00
|
|
|
DEPEND=>=dev-lang/ghc-6.10.4:= >=dev-haskell/cabal-1.8 >=dev-haskell/cabal-1.1.4
|
2014-08-12 13:29:40 +04:00
|
|
|
DESCRIPTION=Auxiliary Haskell code used by Agda's standard library
|
2014-07-03 13:20:58 +04:00
|
|
|
EAPI=5
|
|
|
|
|
HOMEPAGE=http://wiki.portal.chalmers.se/agda/
|
|
|
|
|
KEYWORDS=~amd64 ~x86
|
|
|
|
|
LICENSE=MIT
|
|
|
|
|
RDEPEND=>=dev-lang/ghc-6.10.4:=
|
|
|
|
|
SLOT=0/0.0.2
|
|
|
|
|
SRC_URI=http://www.cse.chalmers.se/~nad/software/lib-0.7.tar.gz
|
2015-09-26 08:52:37 +03:00
|
|
|
_eclasses_=eutils 95613dd6157fb4a3b225eafdc56bd441 ghc-package 6165faf4ae46df43d5a9b0dd28ec8654 haskell-cabal 5a91bcb951851c3c401505c28526502f multilib df4e4d5cfd3d137d0c248e1991c0e4d6 multiprocessing d769539d9bace6eaca30af23bc2b4dde toolchain-funcs 1dfcad7b3f439dbc511d76c49f23da0d versionator 99ae9d758cbe7cfed19170e7d48f5a9c
|
2015-08-11 00:17:55 +03:00
|
|
|
_md5_=6a78c2d5fb14c006a678d2c36d575184
|
