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" |