diff options
| author |   Mark Wright <gienah@gentoo.org> | 2015-04-04 12:52:28 +0000 |
|---|---|---|
| committer | Mark Wright <gienah@gentoo.org> | 2015-04-04 12:52:28 +0000 |
| commit | adb722c3b274d0bb95a4d7058eefdb5671b23575 (patch) | |
| tree | fb08bcc46473ab87f28d3168cfc7f545616bb1a1 /sci-mathematics | |
| parent | Bump stringsearch to 0.3.6.6 (diff) | |
| download | gentoo-2-adb722c3b274d0bb95a4d7058eefdb5671b23575.tar.gz gentoo-2-adb722c3b274d0bb95a4d7058eefdb5671b23575.tar.bz2 gentoo-2-adb722c3b274d0bb95a4d7058eefdb5671b23575.zip | |
Loosen cpphs dep in agda-2.4.2.2-r1
(Portage version: 2.2.18/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
Diffstat (limited to 'sci-mathematics')
| -rw-r--r-- | sci-mathematics/agda/ChangeLog | 5 | ||||
| -rw-r--r-- | sci-mathematics/agda/agda-2.4.2.2-r1.ebuild | 7 |
2 files changed, 8 insertions, 4 deletions
diff --git a/sci-mathematics/agda/ChangeLog b/sci-mathematics/agda/ChangeLog index f43f80508717..7f8e1fa37ad7 100644 --- a/sci-mathematics/agda/ChangeLog +++ b/sci-mathematics/agda/ChangeLog @@ -1,6 +1,9 @@ # ChangeLog for sci-mathematics/agda # Copyright 1999-2015 Gentoo Foundation; Distributed under the GPL v2 -# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/agda/ChangeLog,v 1.30 2015/01/29 04:15:39 gienah Exp $ +# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/agda/ChangeLog,v 1.31 2015/04/04 12:52:28 gienah Exp $ + + 04 Apr 2015; Mark Wright <gienah@gentoo.org> agda-2.4.2.2-r1.ebuild: + Loosen cpphs dep in agda-2.4.2.2-r1 29 Jan 2015; Mark Wright <gienah@gentoo.org> -files/agda-2.3.0-emacs.patch, -files/agda-2.3.0.1-emacs.patch, diff --git a/sci-mathematics/agda/agda-2.4.2.2-r1.ebuild b/sci-mathematics/agda/agda-2.4.2.2-r1.ebuild index f47adf8de45e..985f1b7ca9b5 100644 --- a/sci-mathematics/agda/agda-2.4.2.2-r1.ebuild +++ b/sci-mathematics/agda/agda-2.4.2.2-r1.ebuild @@ -1,6 +1,6 @@ -# Copyright 1999-2014 Gentoo Foundation +# Copyright 1999-2015 Gentoo Foundation # Distributed under the terms of the GNU General Public License v2 -# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/agda/agda-2.4.2.2-r1.ebuild,v 1.1 2014/12/14 10:24:58 gienah Exp $ +# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/agda/agda-2.4.2.2-r1.ebuild,v 1.2 2015/04/04 12:52:28 gienah Exp $ EAPI=5 @@ -63,7 +63,8 @@ S="${WORKDIR}/${MY_P}" src_prepare() { cabal_chdeps \ - 'hashtables >= 1.0 && < 1.2' 'hashtables >= 1.0 && < 1.3' + 'hashtables >= 1.0 && < 1.2' 'hashtables >= 1.0 && < 1.3' \ + 'cpphs >= 1.18.6 && < 1.19' 'cpphs >= 1.18.6 && < 1.20' sed -e '/.*emacs-mode.*$/d' \ -i "${S}/${MY_PN}.cabal" \ |