diff options
| -rw-r--r-- | sci-mathematics/agda-lib-ffi/agda-lib-ffi-0.0.2-r2.ebuild | 5 | ||||
| -rw-r--r-- | sci-mathematics/agda-lib-ffi/metadata.xml | 1 |
2 files changed, 6 insertions, 0 deletions
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 2774fd4407dd..8e3102371e85 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 f3e416ad820b..adc5490ee507 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>haskell@gentoo.org</email> + <name>Gentoo Haskell</name> </maintainer> <longdescription> Auxiliary Haskell code used by Agda's standard library. |