Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with
or
.
Download ZIP
tree: fc18662b51
Fetching contributors…

Cannot retrieve contributors at this time

30 lines (23 sloc) 0.64 kB
# Copyright 1999-2012 Gentoo Foundation
# Distributed under the terms of the GNU General Public License v2
# $Header: $
EAPI=5
# ebuild generated by hackport 0.3.9999
CABAL_FEATURES="bin"
inherit haskell-cabal
DESCRIPTION="Functional Programming Language with Dependent Types"
HOMEPAGE="http://www.idris-lang.org/"
SRC_URI="mirror://hackage/packages/archive/${PN}/${PV}/${P}.tar.gz"
LICENSE="BSD"
SLOT="0"
KEYWORDS="~amd64 ~x86"
IUSE=""
RDEPEND=""
DEPEND="${RDEPEND}
dev-haskell/binary
>=dev-haskell/cabal-1.6
<dev-haskell/haskeline-0.7
dev-haskell/mtl
dev-haskell/parsec
dev-haskell/transformers
>=dev-lang/ghc-6.10.4"
Jump to Line
Something went wrong with that request. Please try again.