diff options
| author |   Alexander Vershilov <qnikst@gentoo.org> | 2012-09-12 16:10:46 +0000 |
|---|---|---|
| committer | Alexander Vershilov <qnikst@gentoo.org> | 2012-09-12 16:10:46 +0000 |
| commit | eba9861c0d61a2ec4ae8fd8c877a33b3417096c6 (patch) | |
| tree | 8c0a4fb4ede82604f87f375ef3b89105689cb9f5 /sci-mathematics/agda-executable | |
| parent | move sci-mathematics/agda/agda-2.3.0.1.ebuild ebuild to mirror://hackage (diff) | |
| download | gentoo-2-eba9861c0d61a2ec4ae8fd8c877a33b3417096c6.tar.gz gentoo-2-eba9861c0d61a2ec4ae8fd8c877a33b3417096c6.tar.bz2 gentoo-2-eba9861c0d61a2ec4ae8fd8c877a33b3417096c6.zip | |
move sci-mathematics/agda-executable/agda-executable-2.3.0.ebuild ebuild to mirror://hackage
(Portage version: 2.2.0_alpha125/cvs/Linux x86_64)
Diffstat (limited to 'sci-mathematics/agda-executable')
| -rw-r--r-- | sci-mathematics/agda-executable/ChangeLog | 8 | ||||
| -rw-r--r-- | sci-mathematics/agda-executable/agda-executable-2.3.0.1.ebuild | 4 | ||||
| -rw-r--r-- | sci-mathematics/agda-executable/agda-executable-2.3.0.ebuild | 4 |
3 files changed, 10 insertions, 6 deletions
diff --git a/sci-mathematics/agda-executable/ChangeLog b/sci-mathematics/agda-executable/ChangeLog index 28a5668815e4..381448a245e1 100644 --- a/sci-mathematics/agda-executable/ChangeLog +++ b/sci-mathematics/agda-executable/ChangeLog @@ -1,6 +1,11 @@ # ChangeLog for sci-mathematics/agda-executable # Copyright 1999-2012 Gentoo Foundation; Distributed under the GPL v2 -# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/agda-executable/ChangeLog,v 1.1 2012/03/25 14:09:18 gienah Exp $ +# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/agda-executable/ChangeLog,v 1.2 2012/09/12 16:10:46 qnikst Exp $ + + 12 Sep 2012; Alexander Vershilov <qnikst@gentoo.org> + agda-executable-2.3.0.1.ebuild, agda-executable-2.3.0.ebuild: + move sci-mathematics/agda-executable/agda-executable-2.3.0.ebuild ebuild to + mirror://hackage *agda-executable-2.3.0 (25 Mar 2012) *agda-executable-2.3.0.1 (25 Mar 2012) @@ -9,4 +14,3 @@ +agda-executable-2.3.0.ebuild, +metadata.xml: Add agda-executable, Command-line program for type-checking and compiling Agda programs. - diff --git a/sci-mathematics/agda-executable/agda-executable-2.3.0.1.ebuild b/sci-mathematics/agda-executable/agda-executable-2.3.0.1.ebuild index b843dfac1904..a9f1e550a14f 100644 --- a/sci-mathematics/agda-executable/agda-executable-2.3.0.1.ebuild +++ b/sci-mathematics/agda-executable/agda-executable-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-executable/agda-executable-2.3.0.1.ebuild,v 1.1 2012/03/25 14:09:18 gienah Exp $ +# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/agda-executable/agda-executable-2.3.0.1.ebuild,v 1.2 2012/09/12 16:10:46 qnikst Exp $ EAPI="4" @@ -12,7 +12,7 @@ MY_P="${MY_PN}-${PV}" DESCRIPTION="Command-line program for type-checking and compiling Agda programs" 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-executable/agda-executable-2.3.0.ebuild b/sci-mathematics/agda-executable/agda-executable-2.3.0.ebuild index fd6101ad6f37..9dd8b5b86e10 100644 --- a/sci-mathematics/agda-executable/agda-executable-2.3.0.ebuild +++ b/sci-mathematics/agda-executable/agda-executable-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-executable/agda-executable-2.3.0.ebuild,v 1.1 2012/03/25 14:09:18 gienah Exp $ +# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/agda-executable/agda-executable-2.3.0.ebuild,v 1.2 2012/09/12 16:10:46 qnikst Exp $ EAPI="3" @@ -12,7 +12,7 @@ MY_P="${MY_PN}-${PV}" DESCRIPTION="Command-line program for type-checking and compiling Agda programs" 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" |