* [gentoo-commits] gentoo-x86 commit in sci-mathematics/agda: agda-2.3.0.ebuild agda-2.3.0.1.ebuild ChangeLog
@ 2012-09-12 16:10 Alexander Vershilov (qnikst)
0 siblings, 0 replies; 3+ messages in thread
From: Alexander Vershilov (qnikst) @ 2012-09-12 16:10 UTC (permalink / raw
To: gentoo-commits
qnikst 12/09/12 16:10:28
Modified: agda-2.3.0.ebuild agda-2.3.0.1.ebuild ChangeLog
Log:
move sci-mathematics/agda/agda-2.3.0.1.ebuild ebuild to mirror://hackage
(Portage version: 2.2.0_alpha125/cvs/Linux x86_64)
Revision Changes Path
1.5 sci-mathematics/agda/agda-2.3.0.ebuild
file : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/agda/agda-2.3.0.ebuild?rev=1.5&view=markup
plain: http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/agda/agda-2.3.0.ebuild?rev=1.5&content-type=text/plain
diff : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/agda/agda-2.3.0.ebuild?r1=1.4&r2=1.5
Index: agda-2.3.0.ebuild
===================================================================
RCS file: /var/cvsroot/gentoo-x86/sci-mathematics/agda/agda-2.3.0.ebuild,v
retrieving revision 1.4
retrieving revision 1.5
diff -u -r1.4 -r1.5
--- agda-2.3.0.ebuild 2 Jun 2012 09:21:19 -0000 1.4
+++ agda-2.3.0.ebuild 12 Sep 2012 16:10:27 -0000 1.5
@@ -1,6 +1,6 @@
# Copyright 1999-2012 Gentoo Foundation
# Distributed under the terms of the GNU General Public License v2
-# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/agda/agda-2.3.0.ebuild,v 1.4 2012/06/02 09:21:19 gienah Exp $
+# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/agda/agda-2.3.0.ebuild,v 1.5 2012/09/12 16:10:27 qnikst Exp $
EAPI="4"
@@ -12,7 +12,7 @@
DESCRIPTION="A dependently typed functional programming language and proof assistant"
HOMEPAGE="http://wiki.portal.chalmers.se/agda/"
-SRC_URI="http://hackage.haskell.org/packages/archive/${MY_PN}/${PV}/${MY_P}.tar.gz"
+SRC_URI="mirror://hackage/packages/archive/${MY_PN}/${PV}/${MY_P}.tar.gz"
LICENSE="MIT"
SLOT="0"
1.6 sci-mathematics/agda/agda-2.3.0.1.ebuild
file : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/agda/agda-2.3.0.1.ebuild?rev=1.6&view=markup
plain: http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/agda/agda-2.3.0.1.ebuild?rev=1.6&content-type=text/plain
diff : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/agda/agda-2.3.0.1.ebuild?r1=1.5&r2=1.6
Index: agda-2.3.0.1.ebuild
===================================================================
RCS file: /var/cvsroot/gentoo-x86/sci-mathematics/agda/agda-2.3.0.1.ebuild,v
retrieving revision 1.5
retrieving revision 1.6
diff -u -r1.5 -r1.6
--- agda-2.3.0.1.ebuild 2 Jun 2012 09:21:19 -0000 1.5
+++ agda-2.3.0.1.ebuild 12 Sep 2012 16:10:28 -0000 1.6
@@ -1,6 +1,6 @@
# Copyright 1999-2012 Gentoo Foundation
# Distributed under the terms of the GNU General Public License v2
-# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/agda/agda-2.3.0.1.ebuild,v 1.5 2012/06/02 09:21:19 gienah Exp $
+# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/agda/agda-2.3.0.1.ebuild,v 1.6 2012/09/12 16:10:28 qnikst Exp $
EAPI="4"
@@ -12,7 +12,7 @@
DESCRIPTION="A dependently typed functional programming language and proof assistant"
HOMEPAGE="http://wiki.portal.chalmers.se/agda/"
-SRC_URI="http://hackage.haskell.org/packages/archive/${MY_PN}/${PV}/${MY_P}.tar.gz"
+SRC_URI="mirror://hackage/packages/archive/${MY_PN}/${PV}/${MY_P}.tar.gz"
LICENSE="MIT"
SLOT="0"
1.17 sci-mathematics/agda/ChangeLog
file : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/agda/ChangeLog?rev=1.17&view=markup
plain: http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/agda/ChangeLog?rev=1.17&content-type=text/plain
diff : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/agda/ChangeLog?r1=1.16&r2=1.17
Index: ChangeLog
===================================================================
RCS file: /var/cvsroot/gentoo-x86/sci-mathematics/agda/ChangeLog,v
retrieving revision 1.16
retrieving revision 1.17
diff -u -r1.16 -r1.17
--- ChangeLog 2 Jun 2012 09:21:19 -0000 1.16
+++ ChangeLog 12 Sep 2012 16:10:28 -0000 1.17
@@ -1,6 +1,10 @@
# ChangeLog for sci-mathematics/agda
# Copyright 1999-2012 Gentoo Foundation; Distributed under the GPL v2
-# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/agda/ChangeLog,v 1.16 2012/06/02 09:21:19 gienah Exp $
+# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/agda/ChangeLog,v 1.17 2012/09/12 16:10:28 qnikst Exp $
+
+ 12 Sep 2012; Alexander Vershilov <qnikst@gentoo.org> agda-2.3.0.1.ebuild,
+ agda-2.3.0.ebuild:
+ move sci-mathematics/agda/agda-2.3.0.1.ebuild ebuild to mirror://hackage
02 Jun 2012; Mark Wright <gienah@gentoo.org> agda-2.3.0.1.ebuild,
agda-2.3.0.ebuild:
@@ -90,4 +94,3 @@
+agda-20050601.ebuild:
Initial commit. The doc generation is broken for now due to unsupported
haddock stuff.
-
^ permalink raw reply [flat|nested] 3+ messages in thread
* [gentoo-commits] gentoo-x86 commit in sci-mathematics/agda: agda-2.3.0.ebuild agda-2.3.0.1.ebuild ChangeLog
@ 2012-06-02 9:21 Mark Wright (gienah)
0 siblings, 0 replies; 3+ messages in thread
From: Mark Wright (gienah) @ 2012-06-02 9:21 UTC (permalink / raw
To: gentoo-commits
gienah 12/06/02 09:21:19
Modified: agda-2.3.0.ebuild agda-2.3.0.1.ebuild ChangeLog
Log:
Add virtual/emacs and app-emacs/haskell-mode deps
(Portage version: 2.1.10.64/cvs/Linux x86_64)
Revision Changes Path
1.4 sci-mathematics/agda/agda-2.3.0.ebuild
file : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/agda/agda-2.3.0.ebuild?rev=1.4&view=markup
plain: http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/agda/agda-2.3.0.ebuild?rev=1.4&content-type=text/plain
diff : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/agda/agda-2.3.0.ebuild?r1=1.3&r2=1.4
Index: agda-2.3.0.ebuild
===================================================================
RCS file: /var/cvsroot/gentoo-x86/sci-mathematics/agda/agda-2.3.0.ebuild,v
retrieving revision 1.3
retrieving revision 1.4
diff -u -r1.3 -r1.4
--- agda-2.3.0.ebuild 13 Apr 2012 14:58:33 -0000 1.3
+++ agda-2.3.0.ebuild 2 Jun 2012 09:21:19 -0000 1.4
@@ -1,8 +1,6 @@
# Copyright 1999-2012 Gentoo Foundation
# Distributed under the terms of the GNU General Public License v2
-# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/agda/agda-2.3.0.ebuild,v 1.3 2012/04/13 14:58:33 gienah Exp $
-
-# ebuild generated by hackport 0.2.14
+# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/agda/agda-2.3.0.ebuild,v 1.4 2012/06/02 09:21:19 gienah Exp $
EAPI="4"
@@ -37,7 +35,9 @@
=dev-haskell/xhtml-3000.2*[profile?]
>=dev-haskell/zlib-0.4.0.1[profile?]
<dev-haskell/zlib-0.6[profile?]
- >=dev-lang/ghc-6.10.4"
+ >=dev-lang/ghc-6.10.4
+ virtual/emacs
+ app-emacs/haskell-mode"
PDEPEND="stdlib? ( sci-mathematics/agda-stdlib )"
DEPEND="${RDEPEND}
dev-haskell/alex
1.5 sci-mathematics/agda/agda-2.3.0.1.ebuild
file : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/agda/agda-2.3.0.1.ebuild?rev=1.5&view=markup
plain: http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/agda/agda-2.3.0.1.ebuild?rev=1.5&content-type=text/plain
diff : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/agda/agda-2.3.0.1.ebuild?r1=1.4&r2=1.5
Index: agda-2.3.0.1.ebuild
===================================================================
RCS file: /var/cvsroot/gentoo-x86/sci-mathematics/agda/agda-2.3.0.1.ebuild,v
retrieving revision 1.4
retrieving revision 1.5
diff -u -r1.4 -r1.5
--- agda-2.3.0.1.ebuild 13 Apr 2012 14:58:33 -0000 1.4
+++ agda-2.3.0.1.ebuild 2 Jun 2012 09:21:19 -0000 1.5
@@ -1,8 +1,6 @@
# Copyright 1999-2012 Gentoo Foundation
# Distributed under the terms of the GNU General Public License v2
-# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/agda/agda-2.3.0.1.ebuild,v 1.4 2012/04/13 14:58:33 gienah Exp $
-
-# ebuild generated by hackport 0.2.14
+# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/agda/agda-2.3.0.1.ebuild,v 1.5 2012/06/02 09:21:19 gienah Exp $
EAPI="4"
@@ -38,7 +36,9 @@
=dev-haskell/xhtml-3000.2*[profile?]
>=dev-haskell/zlib-0.4.0.1[profile?]
<dev-haskell/zlib-0.6[profile?]
- >=dev-lang/ghc-6.10.4"
+ >=dev-lang/ghc-6.10.4
+ virtual/emacs
+ app-emacs/haskell-mode"
PDEPEND="stdlib? ( sci-mathematics/agda-stdlib )"
DEPEND="${RDEPEND}
dev-haskell/alex
1.16 sci-mathematics/agda/ChangeLog
file : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/agda/ChangeLog?rev=1.16&view=markup
plain: http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/agda/ChangeLog?rev=1.16&content-type=text/plain
diff : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/agda/ChangeLog?r1=1.15&r2=1.16
Index: ChangeLog
===================================================================
RCS file: /var/cvsroot/gentoo-x86/sci-mathematics/agda/ChangeLog,v
retrieving revision 1.15
retrieving revision 1.16
diff -u -r1.15 -r1.16
--- ChangeLog 13 Apr 2012 14:58:33 -0000 1.15
+++ ChangeLog 2 Jun 2012 09:21:19 -0000 1.16
@@ -1,6 +1,10 @@
# ChangeLog for sci-mathematics/agda
# Copyright 1999-2012 Gentoo Foundation; Distributed under the GPL v2
-# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/agda/ChangeLog,v 1.15 2012/04/13 14:58:33 gienah Exp $
+# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/agda/ChangeLog,v 1.16 2012/06/02 09:21:19 gienah Exp $
+
+ 02 Jun 2012; Mark Wright <gienah@gentoo.org> agda-2.3.0.1.ebuild,
+ agda-2.3.0.ebuild:
+ Add virtual/emacs and app-emacs/haskell-mode deps
13 Apr 2012; Mark Wright <gienah@gentoo.org> agda-2.3.0.1.ebuild,
agda-2.3.0.ebuild:
^ permalink raw reply [flat|nested] 3+ messages in thread
* [gentoo-commits] gentoo-x86 commit in sci-mathematics/agda: agda-2.3.0.ebuild agda-2.3.0.1.ebuild ChangeLog
@ 2012-04-13 14:58 Mark Wright (gienah)
0 siblings, 0 replies; 3+ messages in thread
From: Mark Wright (gienah) @ 2012-04-13 14:58 UTC (permalink / raw
To: gentoo-commits
gienah 12/04/13 14:58:33
Modified: agda-2.3.0.ebuild agda-2.3.0.1.ebuild ChangeLog
Log:
agda 2.3.0 and 2.3.0.1 requires syb, add more range checks to deps
(Portage version: 2.1.10.56/cvs/Linux x86_64)
Revision Changes Path
1.3 sci-mathematics/agda/agda-2.3.0.ebuild
file : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/agda/agda-2.3.0.ebuild?rev=1.3&view=markup
plain: http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/agda/agda-2.3.0.ebuild?rev=1.3&content-type=text/plain
diff : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/agda/agda-2.3.0.ebuild?r1=1.2&r2=1.3
Index: agda-2.3.0.ebuild
===================================================================
RCS file: /var/cvsroot/gentoo-x86/sci-mathematics/agda/agda-2.3.0.ebuild,v
retrieving revision 1.2
retrieving revision 1.3
diff -u -r1.2 -r1.3
--- agda-2.3.0.ebuild 25 Mar 2012 13:55:19 -0000 1.2
+++ agda-2.3.0.ebuild 13 Apr 2012 14:58:33 -0000 1.3
@@ -1,6 +1,6 @@
# Copyright 1999-2012 Gentoo Foundation
# Distributed under the terms of the GNU General Public License v2
-# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/agda/agda-2.3.0.ebuild,v 1.2 2012/03/25 13:55:19 gienah Exp $
+# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/agda/agda-2.3.0.ebuild,v 1.3 2012/04/13 14:58:33 gienah Exp $
# ebuild generated by hackport 0.2.14
@@ -21,15 +21,21 @@
KEYWORDS="~amd64 ~x86"
IUSE="epic +stdlib"
-RDEPEND="<dev-haskell/binary-0.6[profile?]
+RDEPEND=">=dev-haskell/binary-0.4.4[profile?]
+ <dev-haskell/binary-0.6[profile?]
epic? ( dev-lang/epic[profile?] )
=dev-haskell/hashable-1.1*[profile?]
=dev-haskell/hashtables-1.0*[profile?]
>=dev-haskell/haskeline-0.6.3.2[profile?]
+ <dev-haskell/haskeline-0.7[profile?]
>=dev-haskell/haskell-src-exts-1.9.6[profile?]
+ <dev-haskell/haskell-src-exts-1.12[profile?]
=dev-haskell/mtl-2.0*[profile?]
=dev-haskell/quickcheck-2.4*[profile?]
+ >=dev-haskell/syb-0.1[profile?]
+ <dev-haskell/syb-0.4[profile?]
=dev-haskell/xhtml-3000.2*[profile?]
+ >=dev-haskell/zlib-0.4.0.1[profile?]
<dev-haskell/zlib-0.6[profile?]
>=dev-lang/ghc-6.10.4"
PDEPEND="stdlib? ( sci-mathematics/agda-stdlib )"
1.4 sci-mathematics/agda/agda-2.3.0.1.ebuild
file : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/agda/agda-2.3.0.1.ebuild?rev=1.4&view=markup
plain: http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/agda/agda-2.3.0.1.ebuild?rev=1.4&content-type=text/plain
diff : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/agda/agda-2.3.0.1.ebuild?r1=1.3&r2=1.4
Index: agda-2.3.0.1.ebuild
===================================================================
RCS file: /var/cvsroot/gentoo-x86/sci-mathematics/agda/agda-2.3.0.1.ebuild,v
retrieving revision 1.3
retrieving revision 1.4
diff -u -r1.3 -r1.4
--- agda-2.3.0.1.ebuild 13 Apr 2012 10:56:39 -0000 1.3
+++ agda-2.3.0.1.ebuild 13 Apr 2012 14:58:33 -0000 1.4
@@ -1,6 +1,6 @@
# Copyright 1999-2012 Gentoo Foundation
# Distributed under the terms of the GNU General Public License v2
-# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/agda/agda-2.3.0.1.ebuild,v 1.3 2012/04/13 10:56:39 gienah Exp $
+# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/agda/agda-2.3.0.1.ebuild,v 1.4 2012/04/13 14:58:33 gienah Exp $
# ebuild generated by hackport 0.2.14
@@ -21,16 +21,22 @@
KEYWORDS="~amd64 ~x86"
IUSE="epic +stdlib"
-RDEPEND="<dev-haskell/binary-0.6[profile?]
+RDEPEND=">=dev-haskell/binary-0.4.4[profile?]
+ <dev-haskell/binary-0.6[profile?]
epic? ( dev-lang/epic[profile?] )
=dev-haskell/hashable-1.1*[profile?]
=dev-haskell/hashtables-1.0*[profile?]
>=dev-haskell/haskeline-0.6.3.2[profile?]
+ <dev-haskell/haskeline-0.7[profile?]
>=dev-haskell/haskell-src-exts-1.9.6[profile?]
+ <dev-haskell/haskell-src-exts-1.14[profile?]
>=dev-haskell/mtl-2.0[profile?]
<dev-haskell/mtl-2.2[profile?]
=dev-haskell/quickcheck-2.4*[profile?]
+ >=dev-haskell/syb-0.1[profile?]
+ <dev-haskell/syb-0.4[profile?]
=dev-haskell/xhtml-3000.2*[profile?]
+ >=dev-haskell/zlib-0.4.0.1[profile?]
<dev-haskell/zlib-0.6[profile?]
>=dev-lang/ghc-6.10.4"
PDEPEND="stdlib? ( sci-mathematics/agda-stdlib )"
1.15 sci-mathematics/agda/ChangeLog
file : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/agda/ChangeLog?rev=1.15&view=markup
plain: http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/agda/ChangeLog?rev=1.15&content-type=text/plain
diff : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/agda/ChangeLog?r1=1.14&r2=1.15
Index: ChangeLog
===================================================================
RCS file: /var/cvsroot/gentoo-x86/sci-mathematics/agda/ChangeLog,v
retrieving revision 1.14
retrieving revision 1.15
diff -u -r1.14 -r1.15
--- ChangeLog 13 Apr 2012 10:56:39 -0000 1.14
+++ ChangeLog 13 Apr 2012 14:58:33 -0000 1.15
@@ -1,6 +1,10 @@
# ChangeLog for sci-mathematics/agda
# Copyright 1999-2012 Gentoo Foundation; Distributed under the GPL v2
-# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/agda/ChangeLog,v 1.14 2012/04/13 10:56:39 gienah Exp $
+# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/agda/ChangeLog,v 1.15 2012/04/13 14:58:33 gienah Exp $
+
+ 13 Apr 2012; Mark Wright <gienah@gentoo.org> agda-2.3.0.1.ebuild,
+ agda-2.3.0.ebuild:
+ agda 2.3.0 and 2.3.0.1 requires syb, add more range checks to deps
13 Apr 2012; Mark Wright <gienah@gentoo.org>
+files/agda-2.3.0.1-mtl-2.1.patch, agda-2.3.0.1.ebuild:
^ permalink raw reply [flat|nested] 3+ messages in thread
end of thread, other threads:[~2012-09-12 16:10 UTC | newest]
Thread overview: 3+ messages (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2012-09-12 16:10 [gentoo-commits] gentoo-x86 commit in sci-mathematics/agda: agda-2.3.0.ebuild agda-2.3.0.1.ebuild ChangeLog Alexander Vershilov (qnikst)
-- strict thread matches above, loose matches on Subject: below --
2012-06-02 9:21 Mark Wright (gienah)
2012-04-13 14:58 Mark Wright (gienah)
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox