commit: aab934cfba1de70740564c36ddf809e4c6e105b2
Author: Eli Schwartz <eschwartz <AT> gentoo <DOT> org>
AuthorDate: Mon Sep 9 03:48:57 2024 +0000
Commit: Eli Schwartz <eschwartz <AT> gentoo <DOT> org>
CommitDate: Tue Sep 10 01:04:11 2024 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=aab934cf
sci-mathematics/twelf: update SRC_URI to new mirror
The old download site is gone now. The download page points to github
now, which in turn says:
> This is a placeholder release to hold the final source distribution
> tarball, linux distribution tarball, and osx dmg for Twelf 1.7.1 as
> originally hosted on twelf.org.
Checksums match. :)
Signed-off-by: Eli Schwartz <eschwartz <AT> gentoo.org>
sci-mathematics/twelf/twelf-1.7.1-r2.ebuild | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/sci-mathematics/twelf/twelf-1.7.1-r2.ebuild
b/sci-mathematics/twelf/twelf-1.7.1-r2.ebuild
index 0a7237065277..c48262362df0 100644
--- a/sci-mathematics/twelf/twelf-1.7.1-r2.ebuild
+++ b/sci-mathematics/twelf/twelf-1.7.1-r2.ebuild
@@ -1,4 +1,4 @@
-# Copyright 1999-2022 Gentoo Authors
+# Copyright 1999-2024 Gentoo Authors
# Distributed under the terms of the GNU General Public License v2
EAPI="8"
@@ -10,7 +10,7 @@ MY_P="${MY_PN}-${PV}"
DESCRIPTION="Implementation of the logical framework LF"
HOMEPAGE="http://twelf.org/";
-SRC_URI="http://twelf.plparty.org/releases/${MY_P}.tar.gz";
+SRC_URI="https://github.com/standardml/twelf/releases/download/v${PV}/${MY_P}.tar.gz";
SLOT="0/${PV}"
KEYWORDS="~amd64 ~x86"
