diff options
| author |   Sergei Trofimovich <slyfox@gentoo.org> | 2016-11-18 22:40:43 +0000 |
|---|---|---|
| committer | Sergei Trofimovich <slyfox@gentoo.org> | 2016-11-18 22:41:10 +0000 |
| commit | a84b472107985b2e36a2f1a80b9ca68dd24f3b89 (patch) | |
| tree | af8425ff7e8610fd096b454f1aa948b1d22e82b2 /sci-mathematics/agda | |
| parent | sci-biology/bioperl-run: Fix overlong DESCRIPTION (diff) | |
| download | gentoo-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
Diffstat (limited to 'sci-mathematics/agda')
| -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() { |