diff options
| author |   Alexander Vershilov <qnikst@gentoo.org> | 2012-09-12 16:10:28 +0000 |
|---|---|---|
| committer | Alexander Vershilov <qnikst@gentoo.org> | 2012-09-12 16:10:28 +0000 |
| commit | 521de4417a90232577fde64ec9502a7cd95ea3e6 (patch) | |
| tree | a435a57f5eadb9cce1bb2b2f83eee66ac073c268 /sci-mathematics | |
| parent | move dev-vcs/darcs/darcs-2.8.0.ebuild ebuild to mirror://hackage (diff) | |
| download | gentoo-2-521de4417a90232577fde64ec9502a7cd95ea3e6.tar.gz gentoo-2-521de4417a90232577fde64ec9502a7cd95ea3e6.tar.bz2 gentoo-2-521de4417a90232577fde64ec9502a7cd95ea3e6.zip | |
move sci-mathematics/agda/agda-2.3.0.1.ebuild ebuild to mirror://hackage
(Portage version: 2.2.0_alpha125/cvs/Linux x86_64)
Diffstat (limited to 'sci-mathematics')
| -rw-r--r-- | sci-mathematics/agda/ChangeLog | 7 | ||||
| -rw-r--r-- | sci-mathematics/agda/agda-2.3.0.1.ebuild | 4 | ||||
| -rw-r--r-- | sci-mathematics/agda/agda-2.3.0.ebuild | 4 |
3 files changed, 9 insertions, 6 deletions
diff --git a/sci-mathematics/agda/ChangeLog b/sci-mathematics/agda/ChangeLog index df1804229ab9..08670771cef6 100644 --- a/sci-mathematics/agda/ChangeLog +++ b/sci-mathematics/agda/ChangeLog @@ -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. - diff --git a/sci-mathematics/agda/agda-2.3.0.1.ebuild b/sci-mathematics/agda/agda-2.3.0.1.ebuild index 4c2f9c23fc09..f4164fcce9d8 100644 --- a/sci-mathematics/agda/agda-2.3.0.1.ebuild +++ b/sci-mathematics/agda/agda-2.3.0.1.ebuild @@ -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 @@ MY_P="${MY_PN}-${PV}" 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" diff --git a/sci-mathematics/agda/agda-2.3.0.ebuild b/sci-mathematics/agda/agda-2.3.0.ebuild index e58ed3eaab92..39dc88fee8e4 100644 --- a/sci-mathematics/agda/agda-2.3.0.ebuild +++ b/sci-mathematics/agda/agda-2.3.0.ebuild @@ -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 @@ MY_P="${MY_PN}-${PV}" 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" |