1 files changed, 34 insertions, 0 deletions
diff --git a/sci-mathematics/agda-lib-ffi/agda-lib-ffi-0.0.2.ebuild b/sci-mathematics/agda-lib-ffi/agda-lib-ffi-0.0.2.ebuild
new file mode 100644
index 000000000000..ba329a2a9dec
--- /dev/null
+++ b/sci-mathematics/agda-lib-ffi/agda-lib-ffi-0.0.2.ebuild
@@ -0,0 +1,34 @@
+# Copyright 1999-2015 Gentoo Foundation
+# Distributed under the terms of the GNU General Public License v2
+# $Id$
+
+EAPI=5
+
+# ebuild generated by hackport 0.3.5
+
+CABAL_FEATURES="lib"
+inherit haskell-cabal
+
+AGDA_P="lib-0.7"
+
+DESCRIPTION="Auxiliary Haskell code used by Agda's standard library"
+HOMEPAGE="http://wiki.portal.chalmers.se/agda/"
+SRC_URI="http://www.cse.chalmers.se/~nad/software/${AGDA_P}.tar.gz"
+
+LICENSE="MIT"
+SLOT="0/${PV}"
+KEYWORDS="~amd64 ~x86"
+IUSE=""
+
+RDEPEND=">=dev-lang/ghc-6.10.4:=
+"
+DEPEND="${RDEPEND}
+	>=dev-haskell/cabal-1.8
+"
+
+S="${WORKDIR}/${AGDA_P}/ffi"
+
+src_prepare() {
+	cabal_chdeps \
+		'base >= 3.0.3.1 && < 4.7' 'base >= 3.0.3.1'
+}