6 files changed, 16 insertions, 11 deletions
diff --git a/sci-mathematics/Manifest.gz b/sci-mathematics/Manifest.gz
index a5da9bc5633c..0b1d3a21d175 100644
--- a/sci-mathematics/Manifest.gz
+++ b/sci-mathematics/Manifest.gz
diff --git a/sci-mathematics/dunshire/Manifest b/sci-mathematics/dunshire/Manifest
index 65ae812ea476..c47b31611654 100644
--- a/sci-mathematics/dunshire/Manifest
+++ b/sci-mathematics/dunshire/Manifest
@@ -1,3 +1,3 @@
 DIST dunshire-0.1.3.tar.gz 52450 BLAKE2B 047f732daa7f2a53b8d24ea0aafdad3234aa5ee151a66f776ba22746d58b4b91a5047ba615978d4017e56345ac608fd1f537adef06f38b5a429276e284a88d02 SHA512 227d142347ad7b7eb5b283aaa94f457b20b686f40aa86b2a74057eed00d3d90e87fb4a0f32071db3bd73412489794a0b398a557f8194931a6e7d51ff442aa2b0
 EBUILD dunshire-0.1.3-r1.ebuild 719 BLAKE2B 679250a87250bc36635f7df83d877af9d5726bed7b310fcc40aaf4e08ba236f5d76bb04451da248aaef1c79472e13d381a8c392e75a3a04dee254b2c6d69edcb SHA512 e85fb5dcd889e617269d54629a46c7f814e4c2e42c1986828a0a0af4cd520031159ba77c176589df30879b63aa9f83185e24c1ecfd9b40a4d6d1a8c67edce81c
-MISC metadata.xml 329 BLAKE2B e9cf64a4fd7f360e350a97ca0a9efe8e64ce485f2b025e456271c8e3d8bbf3f6950750a157eaa66e0639a800285351f84abd07789697acfbaf5422b9cb725ec6 SHA512 f8f757c9f662dfba3c0717720a7d2fe6e2c2bea517d6811cf9785d39cef92714c0ddddf3c56eecb6be37fc97fcd6ebdeba0412108b41ffc0c9cdde34c3e8a74a
+MISC metadata.xml 253 BLAKE2B 63a51cab94d3e978d2c7dd1d124efd1c9e11c5ae277806a1f12359b2db370c37382fc1947e85940f6b0a439e3d49eecdd8d9bfb96587352d6a83803d2fd40bb6 SHA512 8da7cfe0cd26a54c106f2c029bbde93abf77576835e4fa66bc538dcf12fd41160f7cc2dd843a221962bb9a6f965311c076a1557caa38d503f371569b84841e33
diff --git a/sci-mathematics/dunshire/metadata.xml b/sci-mathematics/dunshire/metadata.xml
index 24ac776863fa..f2908ee10b59 100644
--- a/sci-mathematics/dunshire/metadata.xml
+++ b/sci-mathematics/dunshire/metadata.xml
@@ -5,8 +5,4 @@
     <email>mjo@gentoo.org</email>
     <name>Michael Orlitzky</name>
   </maintainer>
-
-  <upstream>
-    <remote-id type="pypi">dunshire</remote-id>
-  </upstream>
 </pkgmetadata>
diff --git a/sci-mathematics/twelf/Manifest b/sci-mathematics/twelf/Manifest
index fcb0c8796695..c452d44c10e9 100644
--- a/sci-mathematics/twelf/Manifest
+++ b/sci-mathematics/twelf/Manifest
@@ -11,5 +11,5 @@ AUX twelf-1.7.1-mlton-20180207.patch 310 BLAKE2B b372c7ca65b4bb12983d84e590d4e30
 AUX twelf-1.7.1-mlton-mlb.patch 11244 BLAKE2B e07adfd1520179a8ca3c292638689c8cc344b8d01ebcf2ba9f668cbf2afa5b5132a88d0521ca4123a9165d8fea49cdbab20b48b791bd3e78610d54b534e9e596 SHA512 2d0f42399e444cbb736f38ad7bdc54f51322c17c010b273c365d9db9a1e6c045c19b872d4b5c1e50444559a981aa5569764ac859c7702c116c97c935fd959bfd
 AUX twelf-1.7.1-remove-svnversion.patch 241 BLAKE2B f92db57c82d31fae8518d0a3947fd0ebf24ab06aa51fbf0e3a2b271eb30583904d5487f3f4b2605d5ca168f78ca7eed0fdcb4473604c4ae83a2807416341c99b SHA512 07bb5f88580dcb6ae722d7af98c58c96453871f8ce6eb107fbedafc6939a0d8871e3820e933cdc90aa6ca17d8909717f607e3819c34f5f852b7606a7680e7462
 DIST twelf-src-1.7.1.tar.gz 1147610 BLAKE2B 9fbb3c5a4823845a0c721112744330658be0e68784ef209a3d17fb72874ef50d7dbb434a7104704a5540f2f0bc30727bfe1ff602f986570f944454e77c24609d SHA512 1b4baa0f385b6b605583a9da312f23c775aab43e7398c6e151833a6b95c74112492530f44fcb7b14f8288774e9b63e2f9618a5debfbc4d34737bc2588f5850df
-EBUILD twelf-1.7.1-r2.ebuild 2717 BLAKE2B 03351db21a04ed6555f7dd9b559d29ad03a10451a29740e92877d447c45da8baefc19256b8b8e0c98b7149dcde41cea25900249086fb460d955b75a5f0f9ef84 SHA512 2188bdc4a8299a0fd4dea45f3a3c9565ec2c546f7c895898190df7dd05545ca143658d6f4a5ec3bcdf4c5d4db6813e6f5a666da2b9f9ca50e320aad94b8ab73a
-MISC metadata.xml 373 BLAKE2B 850c000dae8d5cdd0725b5a998d7e3920c479af1a9afd5cb01874a7551bbcd8fff6a32fa50b74aa315a9cb3bd9471841def5874f528002f124e273e0b06b5c7e SHA512 0bd1b4a19e53f141a0c83a0a97a6d291b43da9fd6158ec869691c99d3efe7cc9179d214ef01ee04b60b51256be9d2f1d2b393978a9e55d06555655332f67fa8e
+EBUILD twelf-1.7.1-r2.ebuild 2972 BLAKE2B dc7703eea09e460af089e2a3a1b4782acd4e592d1ce6fda49eb372c6a16130898a617d92339e85ea8fabb7bc5368b8ef92053cb362df07efb96ce991cb598776 SHA512 079fa00a4a3c6a5b3f5cd659d19fa6de017a823460b4711e594371fe6b69afbc0a2800f5b44a47365232e7052c01729f65f909aa3cbcf0dba7f60bf538a85905
+MISC metadata.xml 458 BLAKE2B aa7ab9c9f6e70163558b1802a4950663f61cdf8b5cbbf78b5be65ee028594314cdd336bb9f4d5b5d1fd06bf54110e4bf6c0f8b574322f9c5aff9975eedd5467d SHA512 545a0f35e20a33da4f344e170cc17ab306f3bb3bb4160ba8721736ae8f50070c0e5cabe31fd9c06d3d538efe9976ff592d0827bf775f4c6c2d45c78490825ea3
diff --git a/sci-mathematics/twelf/metadata.xml b/sci-mathematics/twelf/metadata.xml
index d4994fb246a4..938124fd245e 100644
--- a/sci-mathematics/twelf/metadata.xml
+++ b/sci-mathematics/twelf/metadata.xml
@@ -7,4 +7,7 @@
   logic programming and for the formalization of programming language
   theory.
   </longdescription>
+  <upstream>
+    <remote-id type="github">standardml/twelf</remote-id>
+  </upstream>
 </pkgmetadata>
diff --git a/sci-mathematics/twelf/twelf-1.7.1-r2.ebuild b/sci-mathematics/twelf/twelf-1.7.1-r2.ebuild
index 0a7237065277..1fc16b00baa4 100644
--- a/sci-mathematics/twelf/twelf-1.7.1-r2.ebuild
+++ b/sci-mathematics/twelf/twelf-1.7.1-r2.ebuild
@@ -1,16 +1,16 @@
-# Copyright 1999-2022 Gentoo Authors
+# Copyright 1999-2024 Gentoo Authors
 # Distributed under the terms of the GNU General Public License v2
 
 EAPI="8"
 
-inherit elisp-common
+inherit elisp-common flag-o-matic
 
 MY_PN="${PN}-src"
 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"
+HOMEPAGE="https://twelf.org/"
+SRC_URI="https://github.com/standardml/twelf/releases/download/v${PV}/${MY_P}.tar.gz"
 
 SLOT="0/${PV}"
 KEYWORDS="~amd64 ~x86"
@@ -59,6 +59,12 @@ src_prepare() {
 }
 
 src_compile() {
+	# relocation R_X86_64_32 against hidden symbol `globalCPointer' can not be used when making a PIE object
+	# https://bugs.gentoo.org/863266
+	#
+	# The software is unmaintained and disables bug reports.
+	filter-lto
+
 	emake mlton CFLAGS="${CFLAGS}" LDFLAGS="${LDFLAGS} -fno-PIE"
 	if use emacs ; then
 		pushd "${S}/emacs" || die "Could change directory to emacs"