Gentoo Archives: gentoo-commits

From: "Mark Wright (gienah)" <gienah@g.o>
To: gentoo-commits@l.g.o
Subject: [gentoo-commits] gentoo-x86 commit in sci-mathematics/agda-lib-ffi: agda-lib-ffi-0.0.2-r2.ebuild ChangeLog
Date: Sun, 02 Aug 2015 13:56:58
Message-Id: 20150802135655.05792113@oystercatcher.gentoo.org
1 gienah 15/08/02 13:56:55
2
3 Modified: ChangeLog
4 Added: agda-lib-ffi-0.0.2-r2.ebuild
5 Log:
6 Bump agda-lib-ffi to 0.0.2-r2 for agda stdlib 2.4.2.3
7
8 (Portage version: 2.2.20/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
9
10 Revision Changes Path
11 1.4 sci-mathematics/agda-lib-ffi/ChangeLog
12
13 file : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/agda-lib-ffi/ChangeLog?rev=1.4&view=markup
14 plain: http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/agda-lib-ffi/ChangeLog?rev=1.4&content-type=text/plain
15 diff : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/agda-lib-ffi/ChangeLog?r1=1.3&r2=1.4
16
17 Index: ChangeLog
18 ===================================================================
19 RCS file: /var/cvsroot/gentoo-x86/sci-mathematics/agda-lib-ffi/ChangeLog,v
20 retrieving revision 1.3
21 retrieving revision 1.4
22 diff -u -r1.3 -r1.4
23 --- ChangeLog 1 Jun 2015 21:12:26 -0000 1.3
24 +++ ChangeLog 2 Aug 2015 13:56:54 -0000 1.4
25 @@ -1,6 +1,11 @@
26 # ChangeLog for sci-mathematics/agda-lib-ffi
27 # Copyright 1999-2015 Gentoo Foundation; Distributed under the GPL v2
28 -# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/agda-lib-ffi/ChangeLog,v 1.3 2015/06/01 21:12:26 slyfox Exp $
29 +# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/agda-lib-ffi/ChangeLog,v 1.4 2015/08/02 13:56:54 gienah Exp $
30 +
31 +*agda-lib-ffi-0.0.2-r2 (02 Aug 2015)
32 +
33 + 02 Aug 2015; Mark Wright <gienah@g.o> +agda-lib-ffi-0.0.2-r2.ebuild:
34 + Bump agda-lib-ffi to 0.0.2-r2 for agda stdlib 2.4.2.3
35
36 01 Jun 2015; Sergei Trofimovich <slyfox@g.o> agda-lib-ffi-0.0.2.ebuild:
37 Port to upcoming ghc-7.10.
38
39
40
41 1.1 sci-mathematics/agda-lib-ffi/agda-lib-ffi-0.0.2-r2.ebuild
42
43 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
44 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
45
46 Index: agda-lib-ffi-0.0.2-r2.ebuild
47 ===================================================================
48 # Copyright 1999-2015 Gentoo Foundation
49 # Distributed under the terms of the GNU General Public License v2
50 # $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 $
51
52 EAPI=5
53
54 # ebuild generated by hackport 0.3.5
55
56 CABAL_FEATURES="lib"
57 inherit haskell-cabal
58
59 AGDA_PN="agda-stdlib"
60 AGDA_PV="2.4.2.3"
61 AGDA_P="${AGDA_PN}-${AGDA_PV}"
62
63 DESCRIPTION="Auxiliary Haskell code used by Agda's standard library"
64 HOMEPAGE="http://wiki.portal.chalmers.se/agda/"
65 SRC_URI="https://github.com/agda/${AGDA_PN}/archive/${AGDA_PV}.tar.gz -> ${AGDA_P}.tar.gz"
66
67 LICENSE="MIT"
68 SLOT="0/${PV}"
69 KEYWORDS="~amd64 ~x86"
70 IUSE=""
71
72 RDEPEND=">=dev-lang/ghc-6.10.4:=
73 "
74 DEPEND="${RDEPEND}
75 >=dev-haskell/cabal-1.8
76 "
77
78 S="${WORKDIR}/${AGDA_P}/ffi"