gienah 15/08/02 13:56:55 Modified: ChangeLog Added: agda-lib-ffi-0.0.2-r2.ebuild Log: 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)
Revision Changes Path 1.4 sci-mathematics/agda-lib-ffi/ChangeLog file : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/agda-lib-ffi/ChangeLog?rev=1.4&view=markup plain: http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/agda-lib-ffi/ChangeLog?rev=1.4&content-type=text/plain diff : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/agda-lib-ffi/ChangeLog?r1=1.3&r2=1.4 Index: ChangeLog =================================================================== RCS file: /var/cvsroot/gentoo-x86/sci-mathematics/agda-lib-ffi/ChangeLog,v retrieving revision 1.3 retrieving revision 1.4 diff -u -r1.3 -r1.4 --- ChangeLog 1 Jun 2015 21:12:26 -0000 1.3 +++ ChangeLog 2 Aug 2015 13:56:54 -0000 1.4 @@ -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 <[email protected]> +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 <[email protected]> agda-lib-ffi-0.0.2.ebuild: Port to upcoming ghc-7.10. 1.1 sci-mathematics/agda-lib-ffi/agda-lib-ffi-0.0.2-r2.ebuild file : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/agda-lib-ffi/agda-lib-ffi-0.0.2-r2.ebuild?rev=1.1&view=markup plain: http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/agda-lib-ffi/agda-lib-ffi-0.0.2-r2.ebuild?rev=1.1&content-type=text/plain Index: agda-lib-ffi-0.0.2-r2.ebuild =================================================================== # 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"
