projects
/
gentoo.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
4e2efc9
)
sci-mathematics/agda: drop unused local USE-description: 'epic'
author
Sergei Trofimovich
<slyfox@gentoo.org>
Sun, 3 Apr 2016 14:37:53 +0000
(15:37 +0100)
committer
Sergei Trofimovich
<slyfox@gentoo.org>
Sun, 3 Apr 2016 14:39:25 +0000
(15:39 +0100)
Package-Manager: portage-2.2.28
sci-mathematics/agda/metadata.xml
patch
|
blob
|
history
diff --git
a/sci-mathematics/agda/metadata.xml
b/sci-mathematics/agda/metadata.xml
index bd5064db6021ee12e037b41ce8f0947f6c8cd3fc..ea96b9e3cce7f35f5a79ea9afba93b6c60f03c4e 100644
(file)
--- a/
sci-mathematics/agda/metadata.xml
+++ b/
sci-mathematics/agda/metadata.xml
@@
-17,7
+17,6
@@
</longdescription>
<use>
<flag name="cpphs">Use cpphs instead of cpp.</flag>
- <flag name="epic">Add support for the epic compiler.</flag>
<flag name="stdlib">Install the standard library.</flag>
</use>
</pkgmetadata>