commit: a84b472107985b2e36a2f1a80b9ca68dd24f3b89 Author: Sergei Trofimovich <slyfox <AT> gentoo <DOT> org> AuthorDate: Fri Nov 18 22:40:43 2016 +0000 Commit: Sergei Trofimovich <slyfox <AT> gentoo <DOT> org> CommitDate: Fri Nov 18 22:41:10 2016 +0000 URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=a84b4721
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 sci-mathematics/agda/agda-2.4.2.5-r2.ebuild | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) 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 988c01d..49586fb 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() {
