diff options
| -rw-r--r-- | sci-mathematics/agda/agda-2.4.2.5-r2.ebuild | 3 |
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() { |