From 4dbddacdd6c10c5369b02a4abd4a98c3a496d98e Mon Sep 17 00:00:00 2001 From: Michael Mair-Keimberger Date: Wed, 6 Mar 2019 19:47:22 +0100 Subject: [PATCH] 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 --- dev-lang/mozart/mozart-1.4.0-r3.ebuild | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) 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" -- 2.26.2