diff options
| author |   Sergei Trofimovich <slyfox@gentoo.org> | 2016-09-11 21:46:51 +0100 |
|---|---|---|
| committer | Sergei Trofimovich <slyfox@gentoo.org> | 2016-09-11 21:46:51 +0100 |
| commit | 1a1716a480f35485b9d51ad130b6a3d165a0cfe2 (patch) | |
| tree | 16018c9e2b35d8ae1a702fa1588b9a147eea9809 /sci-mathematics/agda | |
| parent | dev-util/vbindiff: bump up to 3.0_beta5 (diff) | |
| download | gentoo-1a1716a480f35485b9d51ad130b6a3d165a0cfe2.tar.gz gentoo-1a1716a480f35485b9d51ad130b6a3d165a0cfe2.tar.bz2 gentoo-1a1716a480f35485b9d51ad130b6a3d165a0cfe2.zip | |
sci-mathematics/agda: allow cpphs-1.20
Package-Manager: portage-2.3.0
Diffstat (limited to 'sci-mathematics/agda')
| -rw-r--r-- | sci-mathematics/agda/agda-2.4.2.5-r2.ebuild | 5 |
1 files changed, 3 insertions, 2 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 56ea734a81a7..988c01d1a543 100644 --- a/sci-mathematics/agda/agda-2.4.2.5-r2.ebuild +++ b/sci-mathematics/agda/agda-2.4.2.5-r2.ebuild @@ -1,4 +1,4 @@ -# Copyright 1999-2015 Gentoo Foundation +# Copyright 1999-2016 Gentoo Foundation # Distributed under the terms of the GNU General Public License v2 # $Id$ @@ -72,7 +72,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' + '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' } src_configure() { |