diff options
| author |   Mark Wright <gienah@gentoo.org> | 2012-03-25 13:55:20 +0000 |
|---|---|---|
| committer | Mark Wright <gienah@gentoo.org> | 2012-03-25 13:55:20 +0000 |
| commit | 5b93f84fa718b2ee9122e4bcdc0f11266f7c5a9d (patch) | |
| tree | 25d94c1f47e888ffabcabd6143ece0ab311caac8 /sci-mathematics/agda/metadata.xml | |
| parent | Marking maradns-1.4.12 ppc for bug 408883 (diff) | |
| download | gentoo-2-5b93f84fa718b2ee9122e4bcdc0f11266f7c5a9d.tar.gz gentoo-2-5b93f84fa718b2ee9122e4bcdc0f11266f7c5a9d.tar.bz2 gentoo-2-5b93f84fa718b2ee9122e4bcdc0f11266f7c5a9d.zip | |
Thanks to tomprince for adding support for agda-stdlib. Bump to 2.3.0.1, EAPI=4, [profile?] for haskell lib depends.
(Portage version: 2.1.10.51/cvs/Linux x86_64)
Diffstat (limited to 'sci-mathematics/agda/metadata.xml')
| -rw-r--r-- | sci-mathematics/agda/metadata.xml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/sci-mathematics/agda/metadata.xml b/sci-mathematics/agda/metadata.xml index 711ce7a4000b..a3f9b74a1fa7 100644 --- a/sci-mathematics/agda/metadata.xml +++ b/sci-mathematics/agda/metadata.xml @@ -11,5 +11,6 @@ </longdescription> <use> <flag name='epic'>Add support for the epic compiler.</flag> + <flag name='stdlib'>Install the standard library.</flag> </use> </pkgmetadata> |