From cfb9e985b16af103b0995edfe6554cc53223cf50 Mon Sep 17 00:00:00 2001 From: Sergei Trofimovich Date: Wed, 15 Feb 2017 22:03:07 +0000 Subject: [PATCH] dev-haskell/edisonapi: new package, a depend of sci-mathematics/agda-2.5.2 A library of efficient, purely-functional data structures (API) Package-Manager: Portage-2.3.3, Repoman-2.3.1 --- dev-haskell/edisonapi/Manifest | 1 + dev-haskell/edisonapi/edisonapi-1.3.1.ebuild | 31 ++++++++++++++++++++ dev-haskell/edisonapi/metadata.xml | 19 ++++++++++++ 3 files changed, 51 insertions(+) create mode 100644 dev-haskell/edisonapi/Manifest create mode 100644 dev-haskell/edisonapi/edisonapi-1.3.1.ebuild create mode 100644 dev-haskell/edisonapi/metadata.xml diff --git a/dev-haskell/edisonapi/Manifest b/dev-haskell/edisonapi/Manifest new file mode 100644 index 000000000000..0a901b67d4a4 --- /dev/null +++ b/dev-haskell/edisonapi/Manifest @@ -0,0 +1 @@ +DIST EdisonAPI-1.3.1.tar.gz 30512 SHA256 95a3b8d01599520a50456219b5a2e9f7832bcddaaeb8e94ce777bd87a4a6b56e SHA512 677161da64856421c834856ee2f5ef7f59880883433d5c5c4061f0ab2faa0cb39c4eb83061820b77dab852acc4cce5dc75740fe454b15dbc2e67e6e84510ce42 WHIRLPOOL f664631ce3d58fbc66c33b459291d3827f87f56a564c8dd1608487ee97bfc663ce566ad43776f4bf4aa40d04d2e6c2fe7aec7a6b5be9b9b33ccc496c54d0980d diff --git a/dev-haskell/edisonapi/edisonapi-1.3.1.ebuild b/dev-haskell/edisonapi/edisonapi-1.3.1.ebuild new file mode 100644 index 000000000000..c07857f83eb9 --- /dev/null +++ b/dev-haskell/edisonapi/edisonapi-1.3.1.ebuild @@ -0,0 +1,31 @@ +# Copyright 1999-2017 Gentoo Foundation +# Distributed under the terms of the GNU General Public License v2 +# $Id$ + +EAPI=5 + +# ebuild generated by hackport 0.4.7.9999 + +CABAL_FEATURES="lib profile haddock hoogle hscolour" +inherit haskell-cabal + +MY_PN="EdisonAPI" +MY_P="${MY_PN}-${PV}" + +DESCRIPTION="A library of efficient, purely-functional data structures (API)" +HOMEPAGE="http://rwd.rdockins.name/edison/home/" +SRC_URI="mirror://hackage/packages/archive/${MY_PN}/${PV}/${MY_P}.tar.gz" + +LICENSE="MIT" +SLOT="0/${PV}" +KEYWORDS="~amd64 ~x86" +IUSE="" + +RDEPEND=">=dev-haskell/mtl-1.0:=[profile?] + >=dev-lang/ghc-7.4.1:= +" +DEPEND="${RDEPEND} + >=dev-haskell/cabal-1.10 +" + +S="${WORKDIR}/${MY_P}" diff --git a/dev-haskell/edisonapi/metadata.xml b/dev-haskell/edisonapi/metadata.xml new file mode 100644 index 000000000000..dac5f3d4c343 --- /dev/null +++ b/dev-haskell/edisonapi/metadata.xml @@ -0,0 +1,19 @@ + + + + + haskell@gentoo.org + Gentoo Haskell + + + Edison is a library of purely functional data structures written by + Chris Okasaki. It is named after Thomas Alva Edison and for the + mnemonic value EDiSon (Efficent Data Structures). + Edison provides several families of abstractions, each with + multiple implementations. The main abstractions provided by Edison are: + Sequences such as stacks, queues, and dequeues; + Collections such as sets, bags and heaps; and + Associative Collections such as finite maps and priority queues + where the priority and element are distinct. + + -- 2.26.2