diff options
author | 2015-08-02 13:56:54 +0000 | |
---|---|---|
committer | 2015-08-02 13:56:54 +0000 | |
commit | da6c4d849512007c67ca4102128b255b4cb5f8be (patch) | |
tree | a504d019e246da543b1f4b059264ae40b12a8791 /sci-mathematics | |
parent | Bump agda-stdlib to 2.4.2.3 (diff) | |
download | gentoo-2-da6c4d849512007c67ca4102128b255b4cb5f8be.tar.gz gentoo-2-da6c4d849512007c67ca4102128b255b4cb5f8be.tar.bz2 gentoo-2-da6c4d849512007c67ca4102128b255b4cb5f8be.zip |
Bump agda-lib-ffi to 0.0.2-r2 for agda stdlib 2.4.2.3
(Portage version: 2.2.20/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
Diffstat (limited to 'sci-mathematics')
-rw-r--r-- | sci-mathematics/agda-lib-ffi/ChangeLog | 7 | ||||
-rw-r--r-- | sci-mathematics/agda-lib-ffi/agda-lib-ffi-0.0.2-r2.ebuild | 31 |
2 files changed, 37 insertions, 1 deletions
diff --git a/sci-mathematics/agda-lib-ffi/ChangeLog b/sci-mathematics/agda-lib-ffi/ChangeLog index 66f56286aa14..2fde470699b1 100644 --- a/sci-mathematics/agda-lib-ffi/ChangeLog +++ b/sci-mathematics/agda-lib-ffi/ChangeLog @@ -1,6 +1,11 @@ # ChangeLog for sci-mathematics/agda-lib-ffi # Copyright 1999-2015 Gentoo Foundation; Distributed under the GPL v2 -# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/agda-lib-ffi/ChangeLog,v 1.3 2015/06/01 21:12:26 slyfox Exp $ +# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/agda-lib-ffi/ChangeLog,v 1.4 2015/08/02 13:56:54 gienah Exp $ + +*agda-lib-ffi-0.0.2-r2 (02 Aug 2015) + + 02 Aug 2015; Mark Wright <gienah@gentoo.org> +agda-lib-ffi-0.0.2-r2.ebuild: + Bump agda-lib-ffi to 0.0.2-r2 for agda stdlib 2.4.2.3 01 Jun 2015; Sergei Trofimovich <slyfox@gentoo.org> agda-lib-ffi-0.0.2.ebuild: Port to upcoming ghc-7.10. 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 new file mode 100644 index 000000000000..09da13cd9a30 --- /dev/null +++ b/sci-mathematics/agda-lib-ffi/agda-lib-ffi-0.0.2-r2.ebuild @@ -0,0 +1,31 @@ +# Copyright 1999-2015 Gentoo Foundation +# Distributed under the terms of the GNU General Public License v2 +# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/agda-lib-ffi/agda-lib-ffi-0.0.2-r2.ebuild,v 1.1 2015/08/02 13:56:54 gienah Exp $ + +EAPI=5 + +# ebuild generated by hackport 0.3.5 + +CABAL_FEATURES="lib" +inherit haskell-cabal + +AGDA_PN="agda-stdlib" +AGDA_PV="2.4.2.3" +AGDA_P="${AGDA_PN}-${AGDA_PV}" + +DESCRIPTION="Auxiliary Haskell code used by Agda's standard library" +HOMEPAGE="http://wiki.portal.chalmers.se/agda/" +SRC_URI="https://github.com/agda/${AGDA_PN}/archive/${AGDA_PV}.tar.gz -> ${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" |