From: Sergei Trofimovich <slyfox@gentoo.org>
Date: Fri, 18 Nov 2016 22:40:43 +0000 (+0000)
Subject: sci-mathematics/agda: allow alex-3.2, bug #600034
X-Git-Url: http://git.tremily.us/gitweb.cgi?a=commitdiff_plain;h=a84b472107985b2e36a2f1a80b9ca68dd24f3b89;p=gentoo.git

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
---

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() {