From: Michael Mair-Keimberger Date: Wed, 6 Mar 2019 18:47:22 +0000 (+0100) Subject: dev-lang/mozart: fix HOMEPAGE and SRC_URI. X-Git-Url: http://git.tremily.us/gitweb.cgi?a=commitdiff_plain;h=4dbddacdd6c10c5369b02a4abd4a98c3a496d98e;p=gentoo.git dev-lang/mozart: fix HOMEPAGE and SRC_URI. Signed-off-by: Michael Mair-Keimberger Closes: https://github.com/gentoo/gentoo/pull/11286 Signed-off-by: Patrice Clement --- diff --git a/dev-lang/mozart/mozart-1.4.0-r3.ebuild b/dev-lang/mozart/mozart-1.4.0-r3.ebuild index 5c828c75cabd..8f96e42f8843 100644 --- a/dev-lang/mozart/mozart-1.4.0-r3.ebuild +++ b/dev-lang/mozart/mozart-1.4.0-r3.ebuild @@ -1,4 +1,4 @@ -# Copyright 1999-2015 Gentoo Foundation +# Copyright 1999-2019 Gentoo Authors # Distributed under the terms of the GNU General Public License v2 EAPI=5 @@ -9,11 +9,11 @@ PATCHSET_VER="5" MY_P="mozart-${PV}.20080704" DESCRIPTION="Advanced development platform for intelligent, distributed applications" -HOMEPAGE="http://www.mozart-oz.org/" +HOMEPAGE="https://mozart.github.io/ https://github.com/mozart/mozart" SRC_URI=" - http://www.mozart-oz.org/download/mozart-ftp/store/1.4.0-2008-07-02-tar/mozart-1.4.0.20080704-src.tar.gz + mirror://sourceforge/project/mozart-oz/v1/1.4.0-2008-07-02-tar/${MY_P}-src.tar.gz mirror://gentoo/${P}-gentoo-patchset-${PATCHSET_VER}.tar.gz - doc? ( http://www.mozart-oz.org/download/mozart-ftp/store/1.4.0-2008-07-02-tar/mozart-1.4.0.20080704-doc.tar.gz )" + doc? ( mirror://sourceforge/project/mozart-oz/v1/1.4.0-2008-07-02-tar/${MY_P}-doc.tar.gz )" SLOT="0" LICENSE="Mozart"