summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorSergei Trofimovich <slyfox@gentoo.org>2016-11-18 22:40:43 +0000
committerSergei Trofimovich <slyfox@gentoo.org>2016-11-18 22:41:10 +0000
commita84b472107985b2e36a2f1a80b9ca68dd24f3b89 (patch)
treeaf8425ff7e8610fd096b454f1aa948b1d22e82b2
parentsci-biology/bioperl-run: Fix overlong DESCRIPTION (diff)
downloadgentoo-a84b472107985b2e36a2f1a80b9ca68dd24f3b89.tar.gz
gentoo-a84b472107985b2e36a2f1a80b9ca68dd24f3b89.tar.bz2
gentoo-a84b472107985b2e36a2f1a80b9ca68dd24f3b89.zip
sci-mathematics/agda: allow alex-3.2, bug #600034
Reported-by: Anton Kochkov Bug: https://bugs.gentoo.org/600034 Package-Manager: portage-2.3.2
-rw-r--r--sci-mathematics/agda/agda-2.4.2.5-r2.ebuild3
1 files changed, 2 insertions, 1 deletions
diff --git a/sci-mathematics/agda/agda-2.4.2.5-r2.ebuild b/sci-mathematics/agda/agda-2.4.2.5-r2.ebuild
index 988c01d1a543..49586fb7b387 100644
--- a/sci-mathematics/agda/agda-2.4.2.5-r2.ebuild
+++ b/sci-mathematics/agda/agda-2.4.2.5-r2.ebuild
@@ -73,7 +73,8 @@ src_prepare() {
cabal_chdeps \
'zlib >= 0.4.0.1 && < 0.6.1' 'zlib >= 0.4.0.1' \
'transformers-compat >= 0.3.3.3 && < 0.5' 'transformers-compat >= 0.3.3.3' \
- 'build-tools: cpphs >= 1.19 && < 1.20' 'build-tools: cpphs >= 1.19'
+ 'build-tools: cpphs >= 1.19 && < 1.20' 'build-tools: cpphs >= 1.19' \
+ 'alex >= 3.1.0 && < 3.2' 'alex >= 3.1.0'
}
src_configure() {