[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/agda-lib-ffi/

[Sergei Trofimovich]

commit:     80bc27bf80d0e3df2293dccf29430c41aa7a1c51
Author:     Sergei Trofimovich <slyfox <AT> gentoo <DOT> org>
AuthorDate: Sun Apr  3 21:08:58 2016 +0000
Commit:     Sergei Trofimovich <slyfox <AT> gentoo <DOT> org>
CommitDate: Sun Apr  3 21:24:36 2016 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=80bc27bf

sci-mathematics/agda-lib-ffi: allow ghc-8

Package-Manager: portage-2.2.28

 sci-mathematics/agda-lib-ffi/agda-lib-ffi-0.0.2-r2.ebuild | 5 +++++
 sci-mathematics/agda-lib-ffi/metadata.xml                 | 1 +
 2 files changed, 6 insertions(+)

diff --git a/sci-mathematics/agda-lib-ffi/agda-lib-ffi-0.0.2-r2.ebuild 
b/sci-mathematics/agda-lib-ffi/agda-lib-ffi-0.0.2-r2.ebuild
index 2774fd4..8e31023 100644
--- a/sci-mathematics/agda-lib-ffi/agda-lib-ffi-0.0.2-r2.ebuild
+++ b/sci-mathematics/agda-lib-ffi/agda-lib-ffi-0.0.2-r2.ebuild
@@ -29,3 +29,8 @@ DEPEND="${RDEPEND}
 "
 
 S="${WORKDIR}/${AGDA_P}/ffi"
+
+src_prepare() {
+       cabal_chdeps \
+               'base >= 4.5.0.0 && < 4.9' 'base >= 4.5.0.0'
+}

diff --git a/sci-mathematics/agda-lib-ffi/metadata.xml 
b/sci-mathematics/agda-lib-ffi/metadata.xml
index f3e416a..adc5490 100644
--- a/sci-mathematics/agda-lib-ffi/metadata.xml
+++ b/sci-mathematics/agda-lib-ffi/metadata.xml
@@ -3,6 +3,7 @@
 <pkgmetadata>
        <maintainer type="project">
                <email>hask...@gentoo.org</email>
+               <name>Gentoo Haskell</name>
        </maintainer>
        <longdescription>
                Auxiliary Haskell code used by Agda's standard library.