diff options
| author |   Alexis Ballier <aballier@gentoo.org> | 2012-10-17 12:13:47 +0000 |
|---|---|---|
| committer | Alexis Ballier <aballier@gentoo.org> | 2012-10-17 12:13:47 +0000 |
| commit | fb9db5af47662f74e50447a18f7deab80a058bcf (patch) | |
| tree | f56140241cfed66818ee271491816a5b8df5ab85 /dev-ml/core_extended | |
| parent | Mirror the distfile, upstream one fails to fetch, bug #438610 by Nick Bowler (diff) | |
| download | gentoo-2-fb9db5af47662f74e50447a18f7deab80a058bcf.tar.gz gentoo-2-fb9db5af47662f74e50447a18f7deab80a058bcf.tar.bz2 gentoo-2-fb9db5af47662f74e50447a18f7deab80a058bcf.zip | |
Mirror the distfile, upstream one fails to fetch, bug #438610 by Nick Bowler
(Portage version: 2.2.0_alpha140/cvs/Linux x86_64, signed Manifest commit with key 160F534A)
Diffstat (limited to 'dev-ml/core_extended')
| -rw-r--r-- | dev-ml/core_extended/ChangeLog | 6 | ||||
| -rw-r--r-- | dev-ml/core_extended/core_extended-108.07.01.ebuild | 5 |
2 files changed, 8 insertions, 3 deletions
diff --git a/dev-ml/core_extended/ChangeLog b/dev-ml/core_extended/ChangeLog index 989d2602d4fe..628f75ae89ce 100644 --- a/dev-ml/core_extended/ChangeLog +++ b/dev-ml/core_extended/ChangeLog @@ -1,6 +1,10 @@ # ChangeLog for dev-ml/core_extended # Copyright 1999-2012 Gentoo Foundation; Distributed under the GPL v2 -# $Header: /var/cvsroot/gentoo-x86/dev-ml/core_extended/ChangeLog,v 1.6 2012/10/08 12:05:09 aballier Exp $ +# $Header: /var/cvsroot/gentoo-x86/dev-ml/core_extended/ChangeLog,v 1.7 2012/10/17 12:13:47 aballier Exp $ + + 17 Oct 2012; Alexis Ballier <aballier@gentoo.org> + core_extended-108.07.01.ebuild: + Mirror the distfile, upstream one fails to fetch, bug #438610 by Nick Bowler *core_extended-108.07.01 (08 Oct 2012) diff --git a/dev-ml/core_extended/core_extended-108.07.01.ebuild b/dev-ml/core_extended/core_extended-108.07.01.ebuild index 1b77a0a2d3f1..e514744a97f9 100644 --- a/dev-ml/core_extended/core_extended-108.07.01.ebuild +++ b/dev-ml/core_extended/core_extended-108.07.01.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/dev-ml/core_extended/core_extended-108.07.01.ebuild,v 1.1 2012/10/08 12:05:09 aballier Exp $ +# $Header: /var/cvsroot/gentoo-x86/dev-ml/core_extended/core_extended-108.07.01.ebuild,v 1.2 2012/10/17 12:13:47 aballier Exp $ EAPI="3" @@ -12,7 +12,8 @@ inherit oasis DESCRIPTION="Jane Street's alternative to the standard library" HOMEPAGE="http://www.janestreet.com/ocaml" -SRC_URI="http://ocaml.janestreet.com/ocaml-core/${PV}/individual/${P}.tar.gz" +SRC_URI="http://ocaml.janestreet.com/ocaml-core/${PV}/individual/${P}.tar.gz + http://dev.gentoo.org/~aballier/distfiles/${P}.tar.gz" LICENSE="LGPL-2.1-with-linking-exception" SLOT="0" |