gienah 15/04/04 12:52:29 Modified: agda-2.4.2.2-r1.ebuild ChangeLog Log: 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)
Revision Changes Path 1.2 sci-mathematics/agda/agda-2.4.2.2-r1.ebuild file : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/agda/agda-2.4.2.2-r1.ebuild?rev=1.2&view=markup plain: http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/agda/agda-2.4.2.2-r1.ebuild?rev=1.2&content-type=text/plain diff : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/agda/agda-2.4.2.2-r1.ebuild?r1=1.1&r2=1.2 Index: agda-2.4.2.2-r1.ebuild =================================================================== RCS file: /var/cvsroot/gentoo-x86/sci-mathematics/agda/agda-2.4.2.2-r1.ebuild,v retrieving revision 1.1 retrieving revision 1.2 diff -u -r1.1 -r1.2 --- agda-2.4.2.2-r1.ebuild 14 Dec 2014 10:24:58 -0000 1.1 +++ agda-2.4.2.2-r1.ebuild 4 Apr 2015 12:52:28 -0000 1.2 @@ -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 @@ 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" \ 1.31 sci-mathematics/agda/ChangeLog file : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/agda/ChangeLog?rev=1.31&view=markup plain: http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/agda/ChangeLog?rev=1.31&content-type=text/plain diff : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/agda/ChangeLog?r1=1.30&r2=1.31 Index: ChangeLog =================================================================== RCS file: /var/cvsroot/gentoo-x86/sci-mathematics/agda/ChangeLog,v retrieving revision 1.30 retrieving revision 1.31 diff -u -r1.30 -r1.31 --- ChangeLog 29 Jan 2015 04:15:39 -0000 1.30 +++ ChangeLog 4 Apr 2015 12:52:28 -0000 1.31 @@ -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 <[email protected]> agda-2.4.2.2-r1.ebuild: + Loosen cpphs dep in agda-2.4.2.2-r1 29 Jan 2015; Mark Wright <[email protected]> -files/agda-2.3.0-emacs.patch, -files/agda-2.3.0.1-emacs.patch,
