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 988c01d1a543c235fa21dbb9bf54546624f633ef..49586fb7b387a3b027d668b099620c9ef81c52fb 100644 (file)
--- 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() {