2012-04-02 12:51:27 +04:00
|
|
|
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
|
2014-06-11 17:28:43 +04:00
|
|
|
_eclasses_=elisp-common 1aa23b3de5dae55456fa2071428eb5bf
|
2013-01-12 02:52:07 +04:00
|
|
|
_md5_=cb0fa5f793e9cdefffc297e839cc1dab
|
