From 1a1716a480f35485b9d51ad130b6a3d165a0cfe2 Mon Sep 17 00:00:00 2001 From: Sergei Trofimovich Date: Sun, 11 Sep 2016 21:46:51 +0100 Subject: [PATCH] sci-mathematics/agda: allow cpphs-1.20 Package-Manager: portage-2.3.0 --- sci-mathematics/agda/agda-2.4.2.5-r2.ebuild | 5 +++-- 1 file 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() { -- 2.26.2