Removed sci-mathematics/lean-4.25.2

app-text/calibre/Manifest

@@ -1,8 +0,0 @@
-AUX calibre-7.0.0-jxr-test.patch 935 BLAKE2B bc38ea2f2d10ec4859ee03ab5d18048df4cf0af5ce4076efc013013bc975966390d618c43ce621675e3b8ee8f929bfaebaa72cf6bb7d8dea544bca77d9772b60 SHA512 db8da42fdcf5b5d5dfad35c128e394cf8f51e57dda6cd1a482803429738515fc1a8b338c711679a11acb93678f35f10883e1bf282e1443ccaafe2eb470fbbfee
-AUX calibre-8.9.0-piper.patch 1592 BLAKE2B e35b1f500e16f00343ff43115bdca2f13e1c2ebffa0c1c0a85ac1a2e8baf0499f2973cb64414bb696152c79ad68434ccc934affbd260616cd5d36a668bca94eb SHA512 1991810c4cba18301689b8d49ebe21d295bf7507ebbefed209b5dd979077f9fceb7a625a22cfc9565320c8dbcaaaa52d22216ab4eca4f9f9ae922793e390ba51
-AUX calibre-server-3.conf 541 BLAKE2B 06593633721e6adf2cf2077dffa83953eea46ccdcdc857ad468a9b74788326e9424f6ab9058be344dbbac8e49d343f5a1e53ddb486f2018b77319a7f8f713cf4 SHA512 12ef793a5b6ffd4413f780a13cad63927a95f15d17d85d4229eb5005ead68e51779abb822f9898ab5ae8c2094affeec1f9e85c34f109499739e6726b7641542a
-AUX calibre-server-3.init 1796 BLAKE2B f87d785d6f6fc10fa648d40944ec8538027854bb872d9a3be6b5b35b0abf3cda1e4e93874a9422914da5eb4287f193459733956e3f1e25e61bec0c214c552c99 SHA512 88110ded1b9c6cf8d3bfc3d5889654f77578f9d299e88daea9023767b930082e00fbddbb92a6e43c46d900248f3684232d93396ec1d0e784c7ec14b44783f98a
-DIST calibre-8.15.0.tar.xz 45759104 BLAKE2B ce8ca1a0bd9cbbb916a993b4c139efd1ff49d697aef3088322f06f4bac85d9a9e5d648a664fd75ef621c1e6021a67d6696e2a2a3b58a73651097bf3c6a774ca9 SHA512 7713ae8304e887dad320cddd6eceeec79bdb9de88e23ed2d50c0d2da429e25b2d761646259ffda47682ce07ed556bd47129561bd193c7953bd72867b98b0674c
-DIST calibre-8.15.0.tar.xz.sig 566 BLAKE2B e994b448ef1f08051d2a4ce254a83d37ec6fe3c99f416c0203b892ac35ee4a26151f07ea838929ed91e4024b6688bff5c26aec587bb39e9bdab185970bced520 SHA512 faff5e863c92e537b19e651aa9082359e530ff3c6412954c6eee339fa5a16614e16e3ee489f2c67e64a08a1c4db55c5dbaae4466caeb694aa8dd63093fd25834
-EBUILD calibre-8.15.0.ebuild 8366 BLAKE2B 9edb871823bbcabb40e18384b529e9af6f04c5e2bfbdd290c4ce04baa11ec810fe787e5143dca80845a9e88b90c8ca6d25ef5c2f33f3c437a34c1efc526f527f SHA512 e78e357014e8e3177831c424576a024956a7059b9c7351b59994e55e2c3cbc9681e6c70022a01822e703eeb66fadf7e325bfc009e7cbe5df96b75a0f420da439
-MISC metadata.xml 662 BLAKE2B 102f4f537d2127c42311951cd5ca73e41a0ab948d85a037ed24c876382ffe628070d96b7310a337ac8efac61b32fd225b840b20fbe3f51e4cbf48ce073e95e7c SHA512 9929c8d731dfa112cf4b2ca67ddb269360a4f2cd84d9c0c0df6adfa2efe04669e1a45d9d7011f1dffe9e7ebf185e348478c2a1afa2bf2351e69b4f7e7c14da32

app-text/calibre/calibre-8.15.0.ebuild

@@ -1,256 +0,0 @@
-# Copyright 1999-2025 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=8
-
-PYTHON_COMPAT=( python3_{11..13} )
-PYTHON_REQ_USE="sqlite,ssl"
-
-inherit edo toolchain-funcs python-single-r1 qmake-utils verify-sig xdg
-
-DESCRIPTION="Ebook management application"
-HOMEPAGE="https://calibre-ebook.com/"
-SRC_URI="
-	https://download.calibre-ebook.com/${PV}/${P}.tar.xz
-	verify-sig? ( https://calibre-ebook.com/signatures/${P}.tar.xz.sig )
-"
-VERIFY_SIG_OPENPGP_KEY_PATH=/usr/share/openpgp-keys/kovidgoyal.gpg
-
-LICENSE="
-	GPL-3+
-	GPL-3
-	GPL-2+
-	GPL-2
-	GPL-1+
-	LGPL-3+
-	LGPL-2.1+
-	LGPL-2.1
-	BSD
-	MIT
-	Old-MIT
-	Apache-2.0
-	public-domain
-	|| ( Artistic GPL-1+ )
-	CC-BY-3.0
-	OFL-1.1
-	PSF-2
-"
-SLOT="0"
-KEYWORDS="amd64 ~arm64"
-IUSE="+font-subsetting ios speech +system-mathjax test +udisks unrar"
-
-RESTRICT="!test? ( test )"
-
-REQUIRED_USE="${PYTHON_REQUIRED_USE}"
-
-# Qt slotted dependencies are used because the libheadless.so plugin links to
-# QT_*_PRIVATE_ABI. It only uses core/gui/dbus.
-COMMON_DEPEND="${PYTHON_DEPS}
-	app-i18n/uchardet
-	>=app-text/hunspell-1.7:=
-	>=app-text/podofo-0.10.0:=
-	app-text/poppler[utils]
-	dev-libs/hyphen:=
-	>=dev-libs/icu-57.1:=
-	dev-libs/openssl:=
-	dev-libs/snowball-stemmer:=
-	$(python_gen_cond_dep '
-		>=dev-python/apsw-3.25.2_p1[${PYTHON_USEDEP}]
-		dev-python/beautifulsoup4[${PYTHON_USEDEP}]
-		>=dev-python/css-parser-1.0.4[${PYTHON_USEDEP}]
-		dev-python/dnspython[${PYTHON_USEDEP}]
-		>=dev-python/feedparser-5.2.1[${PYTHON_USEDEP}]
-		>=dev-python/html2text-2019.8.11[${PYTHON_USEDEP}]
-		>=dev-python/html5-parser-0.4.9[${PYTHON_USEDEP}]
-		dev-python/jeepney[${PYTHON_USEDEP}]
-		>=dev-python/lxml-3.8.0[${PYTHON_USEDEP}]
-		dev-python/lxml-html-clean[${PYTHON_USEDEP}]
-		>=dev-python/markdown-3.0.1[${PYTHON_USEDEP}]
-		>=dev-python/mechanize-0.3.5[${PYTHON_USEDEP}]
-		>=dev-python/msgpack-0.6.2[${PYTHON_USEDEP}]
-		>=dev-python/netifaces-0.10.5[${PYTHON_USEDEP}]
-		>=dev-python/pillow-3.2.0[jpeg,truetype,webp,zlib,${PYTHON_USEDEP}]
-		>=dev-python/psutil-4.3.0[${PYTHON_USEDEP}]
-		>=dev-python/pychm-0.8.6[${PYTHON_USEDEP}]
-		dev-python/pykakasi[${PYTHON_USEDEP}]
-		>=dev-python/pygments-2.3.1[${PYTHON_USEDEP}]
-		>=dev-python/python-dateutil-2.5.3[${PYTHON_USEDEP}]
-		dev-python/pyqt6[gui,network,opengl,printsupport,quick,svg,widgets,${PYTHON_USEDEP}]
-		dev-python/pyqt6-webengine[widgets,${PYTHON_USEDEP}]
-		dev-python/regex[${PYTHON_USEDEP}]
-		dev-python/xxhash[${PYTHON_USEDEP}]
-		>=dev-python/zeroconf-0.75.0[${PYTHON_USEDEP}]
-	')
-	dev-qt/qtbase:6=[gui,widgets]
-	dev-qt/qtimageformats:6
-	dev-util/desktop-file-utils
-	dev-util/gtk-update-icon-cache
-	media-fonts/liberation-fonts
-	media-libs/fontconfig:=
-	>=media-libs/freetype-2:=
-	>=media-libs/libmtp-1.1.11:=
-	>=media-gfx/optipng-0.7.6
-	>=media-video/ffmpeg-6:=
-	virtual/libusb:1=
-	x11-misc/shared-mime-info
-	>=x11-misc/xdg-utils-1.0.2-r2
-	font-subsetting? ( $(python_gen_cond_dep 'dev-python/fonttools[${PYTHON_USEDEP}]') )
-	ios? (
-		>=app-pda/usbmuxd-1.0.8
-		>=app-pda/libimobiledevice-1.2.0
-	)
-	speech? (
-		$(python_gen_cond_dep 'app-accessibility/speech-dispatcher[python,${PYTHON_USEDEP}]')
-		dev-python/pyqt6[multimedia,speech]
-	)
-	system-mathjax? ( >=dev-libs/mathjax-3:= )
-	udisks? ( virtual/libudev )
-	unrar? ( dev-python/unrardll )
-"
-RDEPEND="${COMMON_DEPEND}
-	udisks? ( sys-fs/udisks:2 )"
-DEPEND="${COMMON_DEPEND}
-	test? ( $(python_gen_cond_dep '>=dev-python/chardet-3.0.3[${PYTHON_USEDEP}]') )
-"
-BDEPEND="$(python_gen_cond_dep '
-		>=dev-python/pyqt-builder-1.10.3[${PYTHON_USEDEP}]
-		>=dev-python/sip-5[${PYTHON_USEDEP}]
-	')
-	virtual/pkgconfig
-	system-mathjax? ( dev-lang/rapydscript-ng )
-	verify-sig? ( sec-keys/openpgp-keys-kovidgoyal )
-"
-
-PATCHES=(
-	# Skip calling a binary (JxrDecApp) from libjxr which is used for tests
-	# We don't (yet?) package libjxr and it seems to be dead upstream
-	# (last commit in 2017)
-	"${FILESDIR}/${PN}-7.0.0-jxr-test.patch"
-	"${FILESDIR}/${PN}-8.9.0-piper.patch"
-)
-
-src_prepare() {
-	default
-
-	# Warning:
-	#
-	# While it might be rather tempting to add yet another sed here,
-	# please don't. There have been several bugs in Gentoo's packaging
-	# of calibre from seds-which-become-stale. Please consider
-	# creating a patch instead, but in any case, run the test suite
-	# and ensure it passes.
-	#
-	# If in doubt about a problem, checking Fedora's packaging is recommended.
-
-	# Disable privilege dropping for bug #287067 and generally because desktop
-	# login user != portage.
-	sed -e "s:SUDO_:__DISABLED_SUDO_:" \
-		-i setup/__init__.py || die
-
-	# This is only ever used at build time. It contains a small embedded copy
-	# of the rapydscript-ng compiler usable inside of qtwebengine, if you don't
-	# have rapydscript-ng (a nodejs package) itself installed. Its only purpose
-	# is to build some resources that come bundled in dist tarballs already...
-	# and which we may also need to regenerate e.g. to use system-mathjax.
-	#
-	# However, running qtwebengine violates the portage sandbox (among other
-	# things, it tries to create directories in /usr! amazing) so this is a
-	# wash anyway. The only real solution here is to package rapydscript-ng.
-	#
-	# We do not need it at build time, and *no one* needs it at install time.
-	# Delete the cruft.
-	rm -r resources/rapydscript/ || die
-}
-
-src_compile() {
-	# TODO: get qmake called by setup.py to respect CC and CXX too
-	tc-export CC CXX
-
-	# bug 821871
-	local MY_LIBDIR="${ESYSROOT}/usr/$(get_libdir)"
-	export FT_LIB_DIR="${MY_LIBDIR}" HUNSPELL_LIB_DIR="${MY_LIBDIR}" PODOFO_LIB_DIR="${MY_LIBDIR}"
-	export QMAKE="$(qt6_get_bindir)/qmake"
-
-	edo ${EPYTHON} setup.py build
-	edo ${EPYTHON} setup.py gui
-
-	# A few different resources are bundled in the distfile by default, because
-	# not all systems necessarily have them. We un-vendor them, using the
-	# upstream integrated approach if possible. See setup/revendor.py and
-	# consider migrating other resources to this if they do not use it, in
-	# *preference* over manual rm'ing.
-	edo ${EPYTHON} setup.py liberation_fonts \
-		--path-to-liberation_fonts "${EPREFIX}"/usr/share/fonts/liberation-fonts \
-		--system-liberation_fonts
-	if use system-mathjax; then
-		edo ${EPYTHON} setup.py mathjax --path-to-mathjax "${EPREFIX}"/usr/share/mathjax --system-mathjax
-		edo ${EPYTHON} setup.py rapydscript
-	fi
-}
-
-src_test() {
-	# Skipped tests:
-	local _test_excludes=(
-		# unpackaged Python dependency: py7zr
-		7z
-		# unpackaged Python dependency: pyzstd
-		test_zstd
-		# unpackaged TTS backend (optional at runtime): https://github.com/rhasspy/piper
-		piper
-		# tests if a completely unused module is bundled
-		pycryptodome
-
-		$(usev !speech speech_dispatcher)
-		$(usev !unrar test_unrar)
-
-		# undocumented reasons
-		test_mem_leaks
-		test_searching
-	)
-
-	# Some of these tests weren't practical to split out into distinct tests, so
-	# have a different control mechanism
-	use speech || export SKIP_SPEECH_TESTS=1
-
-	edo ${PYTHON} setup.py test "${_test_excludes[@]/#/--exclude-test-name=}"
-}
-
-src_install() {
-	# Bug #352625 - Some LANGUAGE values can trigger the following ValueError:
-	#   File "/usr/lib/python2.6/locale.py", line 486, in getdefaultlocale
-	#    return _parse_localename(localename)
-	#  File "/usr/lib/python2.6/locale.py", line 418, in _parse_localename
-	#    raise ValueError, 'unknown locale: %s' % localename
-	#ValueError: unknown locale: 46
-	export -n LANG LANGUAGE ${!LC_*}
-	export LC_ALL=C.UTF-8 # bug #709682
-
-	# Bug #295672 - Avoid sandbox violation in ~/.config by forcing
-	# variables to point to our fake temporary $HOME.
-	export HOME="${T}/fake_homedir"
-	export CALIBRE_CONFIG_DIRECTORY="${HOME}/.config/calibre"
-	mkdir -p "${CALIBRE_CONFIG_DIRECTORY}" || die
-
-	addpredict /dev/dri #665310
-
-	# If this directory doesn't exist, zsh completion won't install
-	dodir /usr/share/zsh/site-functions
-
-	edo "${PYTHON}" setup.py install \
-		--staging-root="${ED}/usr" \
-		--prefix="${EPREFIX}/usr" \
-		--libdir="${EPREFIX}/usr/$(get_libdir)" \
-		--staging-libdir="${ED}/usr/$(get_libdir)" \
-		--system-plugins-location="${EPREFIX}/usr/share/calibre/system-plugins"
-
-	cp -r man-pages/ "${ED}"/usr/share/man || die
-
-	find "${ED}"/usr/share -type d -empty -delete || die
-
-	python_fix_shebang "${ED}/usr/bin"
-
-	python_optimize "${ED}"/usr/$(get_libdir)/calibre "${D}/$(python_get_sitedir)"
-
-	newinitd "${FILESDIR}"/calibre-server-3.init calibre-server
-	newconfd "${FILESDIR}"/calibre-server-3.conf calibre-server
-}

app-text/calibre/files/calibre-7.0.0-jxr-test.patch

@@ -1,27 +0,0 @@
-diff --git a/src/calibre/utils/img.py b/src/calibre/utils/img.py
-index b61627b63e..ff51c76e75 100644
---- a/src/calibre/utils/img.py
-+++ b/src/calibre/utils/img.py
-@@ -129,8 +129,6 @@ def image_from_data(data):
-     i = QImage()
-     if not i.loadFromData(data):
-         q = what(None, data)
--        if q == 'jxr':
--            return load_jxr_data(data)
-         raise NotImage(f'Not a valid image (detected type: {q})')
-     return i
- 
-@@ -693,13 +691,6 @@ def test():  # {{{
-     despeckle_image(img)
-     remove_borders_from_image(img)
-     image_to_data(img, fmt='GIF')
--    p = subprocess.Popen([get_exe_path('JxrDecApp'), '-h'],
--                           creationflags=subprocess.DETACHED_PROCESS if iswindows else 0,
--                           stdout=subprocess.PIPE)
--    raw, _ = p.communicate()
--    p.wait()
--    if b'JPEG XR Decoder Utility' not in raw:
--        raise SystemExit('Failed to run JxrDecApp')
- # }}}
- 
- 

app-text/calibre/files/calibre-8.9.0-piper.patch

@@ -1,47 +0,0 @@
-piper deps aren't packaged yet, and should be USE conditional anyway
-
-https://bugs.gentoo.org/961974
-
-diff --git a/setup/extensions.json b/setup/extensions.json
-index b39ce6d..c105031 100644
---- a/setup/extensions.json
-+++ b/setup/extensions.json
-@@ -134,14 +134,6 @@
-         "error": "!podofo_error",
- 		"needs_c++": "17"
-     },
--    {
--        "name": "piper",
--        "sources": "calibre/utils/tts/piper.cpp",
--		"needs_c++": "17",
--        "libraries": "!piper_libs",
--        "lib_dirs": "!piper_lib_dirs",
--        "inc_dirs": "!piper_inc_dirs"
--    },
-     {
-         "name": "html_as_json",
-         "sources": "calibre/srv/html_as_json.cpp",
-diff --git a/src/calibre/constants.py b/src/calibre/constants.py
-index fa4b211459..7b27768953 100644
---- a/src/calibre/constants.py
-+++ b/src/calibre/constants.py
-@@ -258,7 +258,6 @@ def __init__(self):
-             'rcc_backend',
-             'icu',
-             'speedup',
--            'piper',
-             'html_as_json',
-             'fast_css_transform',
-             'fast_html_entities',
-diff --git a/src/calibre/utils/run_tests.py b/src/calibre/utils/run_tests.py
-index ffd0f95c04..c80a35f83d 100644
---- a/src/calibre/utils/run_tests.py
-+++ b/src/calibre/utils/run_tests.py
-@@ -192,6 +192,7 @@ def test_import_of_all_python_modules(self):
-             }
-         if 'SKIP_SPEECH_TESTS' in os.environ:
-             exclude_packages.add('calibre.gui2.tts')
-+            exclude_modules.add('calibre.utils.tts.piper')
-         if not isbsd:
-             exclude_modules.add('calibre.devices.usbms.hal')
-         d = os.path.dirname

app-text/calibre/files/calibre-server-3.conf

@@ -1,13 +0,0 @@
-# /etc/conf.d/calibre-server
-# Change this to the user you want to run calibre-server as.
-# You may specify a group too, after a colon
-# NOTE:  This must be set and not to root!
-CALIBRE_USER=
-
-# Set the path of the library to serve.
-# Defaults to the default location for CALIBRE_USER.
-#CALIBRE_LIBRARY='<user home directory>/Calibre Library'
-
-# Extra options to pass to calibre-server.
-# See the calibre-server man page for more options.
-#CALIBRE_SERVER_OPTS="--userdb /srv/calibre/users.sqlite --enable-auth --worker-count 10 --port 8080"

app-text/calibre/files/calibre-server-3.init

@@ -1,58 +0,0 @@
-#!/sbin/openrc-run
-# Copyright 1999-2012 Gentoo Foundation
-# Distributed under the terms of the GNU General Public License, v2 or later
-
-depend() {
-	need net
-	need localmount
-	after bootmisc
-}
-
-checkconfig() {
-	if [ "${CALIBRE_USER}" = "" -o "${CALIBRE_USER}" = "root" ] ; then
-		eerror "Please edit /etc/conf.d/calibre-server"
-		eerror "You have to specify a user to run calibre-server as, as we will not run it as root!"
-		eerror "Modify CALIBRE_USER to your needs (you can also add a group, after a colon)"
-		return 1
-	fi
-	if ! getent passwd "${CALIBRE_USER%:*}" >/dev/null ; then
-		eerror "Please edit /etc/conf.d/calibre-server"
-		eerror "Your user has to exist!"
-		return 1
-	fi
-	if [ "${CALIBRE_USER%:*}" != "${CALIBRE_USER}" ] ; then
-		if ! getent group "${CALIBRE_USER#*:}" >/dev/null ; then
-			eerror "Please edit /etc/conf.d/calibre-server"
-			eerror "Your group has to exist too!"
-			return 1
-		fi
-	fi
-	if [ "${CALIBRE_LIBRARY}" = "" ] ; then
-		CALIBRE_USER_HOME=$(getent passwd "${CALIBRE_USER%:*}" | cut -d ':' -f 6)
-		CALIBRE_LIBRARY="${CALIBRE_USER_HOME}/Calibre Library"
-	fi
-	if [ ! -d "${CALIBRE_LIBRARY}" ] ; then
-		eerror "Please edit /etc/conf.d/calibre-server"
-		eerror "The Calibre library, '${CALIBRE_LIBRARY},' does not exist."
-		eerror "Please modify CALIBRE_LIBRARY to point to a valid library."
-		return 1
-	fi
-	return 0
-}
-
-start() {
-	checkconfig || return $?
-	local pidfile=/var/run/calibre-server.pid
-	ebegin "Starting calibre-server"
-	start-stop-daemon --user "${CALIBRE_USER}" \
-		--pidfile "${pidfile}" --make-pidfile --background --exec /usr/bin/calibre-server \
-		-- ${CALIBRE_OPTS} "${CALIBRE_LIBRARY}"
-	eend $?
-}
-
-stop() {
-	ebegin "Stopping calibre-server"
-	start-stop-daemon --stop --user "${CALIBRE_USER}" \
-		--pidfile /var/run/calibre-server.pid
-	eend $?
-}

app-text/calibre/metadata.xml

@@ -1,17 +0,0 @@
-<?xml version="1.0" encoding="UTF-8"?>
-<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd">
-<pkgmetadata>
-  <maintainer type="person">
-    <email>eschwartz@gentoo.org</email>
-    <name>Eli Schwartz</name>
-  </maintainer>
-  <upstream>
-    <remote-id type="github">kovidgoyal/calibre</remote-id>
-    <changelog>https://calibre-ebook.com/whats-new</changelog>
-  </upstream>
-  <use>
-    <flag name="font-subsetting">Enable font subsetting support</flag>
-    <flag name="system-mathjax">Use a system copy of mathjax</flag>
-    <flag name="unrar">Enable support for comic books compressed with the non-free Rar format</flag>
-  </use>
-</pkgmetadata>

dev-libs/cudnn/Manifest

@@ -1,3 +1,3 @@
-DIST cudnn-linux-x86_64-9.16.0.29_cuda13-archive.tar.xz 646595264 BLAKE2B 34681031afa7c9ed325fbfe41f2c3998e8e389324783144ec5072457a71b1bba7543b4bc75daf1910c71dd199094eadb3eb64f1745b5d0e9b874dbdce990eca8 SHA512 95250e521d12bb328f592d8438e4bdbf4149020900c1ca3dc4a7b47ff947030eacd506bb7cb0124d8f02b6e1d9b5c30adcf143096e1bea1345f35d1a2ecda3ed
-EBUILD cudnn-9.16.0.29.ebuild 744 BLAKE2B cf73ffd8391a3ad4d67d8520b838e0db69d513605d7ff3edbf299b30a40484c7f1e652621a1a60f67373a6f322f6dee84f55a04c58d4e81f541eeb418e300dee SHA512 ceef6babefe593dfc295117593341257a33471efad09a77c96e3e5879d0896d29aa7214b0989a13103c3ff69d93c4ee98e3976afb8b5ebde1f642ccfc69f9fce
+DIST cudnn-linux-x86_64-9.17.0.29_cuda13-archive.tar.xz 660965680 BLAKE2B 64c438dcc9652285cd15b71492d36256dc8b83511f416162034b1d07d774850d3aba5360724f2d87644fba389731f9213ec3b3d1c48dc25d99da9fe33dad91a5 SHA512 1b8185379924dddcad360d387e5560b5f2554406eda75bb2364c1f6e79687d1cd4ffb88f263ff824d0df46ecbf9bdbd29322ca7b411d4ae83e72161731c018b9
+EBUILD cudnn-9.17.0.29.ebuild 744 BLAKE2B cf73ffd8391a3ad4d67d8520b838e0db69d513605d7ff3edbf299b30a40484c7f1e652621a1a60f67373a6f322f6dee84f55a04c58d4e81f541eeb418e300dee SHA512 ceef6babefe593dfc295117593341257a33471efad09a77c96e3e5879d0896d29aa7214b0989a13103c3ff69d93c4ee98e3976afb8b5ebde1f642ccfc69f9fce
 MISC metadata.xml 254 BLAKE2B b855316ec6a32691e84730979c9a077765d46802f09c19f3a06f2cddf677674c9a2ea24c9b57a0fc6344d7f70276ca507a68f5fa690555360665ac494fca54c2 SHA512 5f6faacd216c7ece09e847c09115add5261e7a899e0b0c9304f2ee72e2d0ad208338939e4e37946008bdc81fbbacf415fb220c5c1f9832b17f18c6778d0c0368

dev-util/nvidia-cuda-toolkit/Manifest

@@ -1,7 +1,7 @@
 AUX cuda-config.in 407 BLAKE2B 5f7a0d50d774db58c180b767f00bead7c7dbf5f6b3b4a2f960dfc3b8450f7abf5c2b67c6620c5318f1331646dd2003d61c70a4c31359efd16ff418ecc9d0b446 SHA512 363903b999c43a47a48c52e8898c6044fadcc66d259338ee22863e859c2bc9873a2f1392aa83c9182486d3aa4eaeb5f164cf8ccf29cc74fd8ad56245f76a039a
 AUX nvidia-cuda-toolkit-glibc-2.42.patch 1133 BLAKE2B 861f343e2f0921d5bfa17276de8cea2ab99e95e5e129e34f053a0feb29437adc2004bd8d25010ccf6c25e475b1549101c1970c0b5174559ab3676995b123282e SHA512 9a39a47d862f55f1e891227ce4d5b0e639f22f57cf3ab5ffee48e02de46a98f7e9c625556bf62eaba82c11d12ccf6b30d1eb91c085c2a0168681f712d4d50e87
 AUX parse_manifest.py 8488 BLAKE2B 8ac93a39276eaf89b41a5b0baa168b5974423077b0fd4b22841451514513c914fb4188863d73591f89975cc833dcb88bde289b0676f218715d8735a2d5c0f159 SHA512 4b2d9de215858d25319254666a22a184e26510a3488fc97a939704fab1e81a9baa363fc1168129618ce076de84d7acbeb71d98b8be272017f47b54c237d9b9a4
-DIST cuda_13.0.2_580.95.05_linux.run 4328066903 BLAKE2B d65ee4fb4b1c65edcd9533a19b9cc4ed58d535121fcdf57655caa8e27ea6ea0487225ade48718be7318337750fdcc56805c0b78e3889ac2df278dc739ca4ba10 SHA512 74a39fcb304c619b2f72399620656bf128c3fdc25d120ec3a5bda0d6e141e992b6ac919c287a584563135ffdf057084db38a740add9cb302bcf17f8b47ac4cc2
-DIST cuda_13.0.2_580.95.05_linux_sbsa.run 4071205419 BLAKE2B 1cc0ef584bbd9b947f57cd6b82ef50fb5d445de38746d12c4c1a70d34538cfc8ab8e441cdc0187e126c91f9609def6c01760b794a7c41287ccce7bae504d3b31 SHA512 209ebf67d10739eef157a911d8c1da1472097bf2fa557e27d4dd41205fe4ac92f61d5bb092a70f47bcecc69c5629d7ae50efdd0b92e7828be5ae8a7cdfb94f39
-EBUILD nvidia-cuda-toolkit-13.0.2.ebuild 10904 BLAKE2B b69f0e97568fa982262ea4214d73925d4ac9d86f536062153e433c6bca68bbe31fde47ede8ae3dc8e3f0b69f79f5fa50178c65ca4c39380d6120bfa9f72b8812 SHA512 13c2c59e7f654fbd27d7979e39a6111250c4d89de6a1c87bffff87b6ccf1f9cba2c4862c05b73996c7f2a22381f5f651c4ed40f354b9f5cbe693373c432b76fb
+DIST cuda_13.1.0_590.44.01_linux.run 4345889047 BLAKE2B 8f9555fcd77569cba67a89dd7d30774b67eb0540cd3b8daebe33a0919bf4894902502ab540965f005852a0688a798a8e1815e74a2361e2d708daec0c325dcc52 SHA512 a98092cb254d85fdcf422c57bae1bf2d5f7eba891d3613f8ab054ffc180b8b3d91535dd79661060c801582de4262651bf4675074b70b1dc2a24aace5ee6d9548
+DIST cuda_13.1.0_590.44.01_linux_sbsa.run 4145516591 BLAKE2B 45dbbda1537d04e2de9200d2a75b73071ff2fa28b65da09ab8572f8aa3177491c3e0271c05ecda39d65268f24c68f81cec88c05517afb0879d3541b6ba8409d0 SHA512 5dc696d534c4317a2a3e15b4a63872e9b5ca08e7dc6c1beceb733991d42ce32701df1fe2d9cb038db122a91ee975f3a344b5e772be82f5c983d358b5741c32ea
+EBUILD nvidia-cuda-toolkit-13.1.0.ebuild 10904 BLAKE2B fbc2b4ff8fe929fc098b56ea68c21d7468c5e27e7c8065e9d8b66074b6d25642f12027a5b24e2e5342e04d286b480596e32a6fc6ca1b0c9b273213d2188cf2bf SHA512 9dd99aa1d8b84d2e984c1d4a1060005d2141ddb6c9989387a31ba14430fd7b0b6987490a46be56613047adbb1abf79e7b489ff01a8e69fc2417b005fbcd01c15
 MISC metadata.xml 761 BLAKE2B fd8214c34513df33fe06aadc0ec16d20163261b084577cbcfab6c76b9306e5d4662a2aab523e972c2c804f684ae7d6095d7d540430e18240145dd9504469283c SHA512 38b8c953c0cc67ffd12760f52466fdabcaf539c097dd1149651e41ce29cbb9fcbdbf1f07abcdd8b2758190ec3c317794a687134f4bd94d19bb9a4cd777ea45ac

dev-util/nvidia-cuda-toolkit/nvidia-cuda-toolkit-13.1.0.ebuild

@@ -9,7 +9,7 @@ PYTHON_COMPAT=( python3_{11..14} )
 inherit check-reqs edo toolchain-funcs
 inherit python-r1
 
-DRIVER_PV="580.95.05"
+DRIVER_PV="590.44.01"
 GCC_MAX_VER="15"
 CLANG_MAX_VER="20"
 

metadata/md5-cache/dev-libs/cudnn-9.17.0.29

@@ -8,6 +8,6 @@ LICENSE=NVIDIA-cuDNN
 RDEPEND==dev-util/nvidia-cuda-toolkit-13*
 RESTRICT=mirror
 SLOT=0/9
-SRC_URI=https://developer.download.nvidia.com/compute/cudnn/redist/cudnn/linux-x86_64/cudnn-linux-x86_64-9.16.0.29_cuda13-archive.tar.xz
+SRC_URI=https://developer.download.nvidia.com/compute/cudnn/redist/cudnn/linux-x86_64/cudnn-linux-x86_64-9.17.0.29_cuda13-archive.tar.xz
 _eclasses_=multiprocessing	1e32df7deee68372153dca65f4a7c21f	toolchain-funcs	98d9f464d912ae6b7316fb8a3721f5db	unpacker	3b4ee72d1e2e0374fd8cd3eddfa00627
 _md5_=5c32a7e3384cafa15edabf4ac72b8a42

metadata/md5-cache/dev-util/nvidia-cuda-toolkit-13.1.0

@@ -10,7 +10,7 @@ LICENSE=NVIDIA-CUDA
 RDEPEND=!clang? ( <sys-devel/gcc-16_pre[cxx] ) clang? ( <llvm-core/clang-21_pre ) sys-process/numactl debugger? ( python_targets_python3_11? ( dev-lang/python:3.11 ) python_targets_python3_12? ( dev-lang/python:3.12 ) python_targets_python3_13? ( dev-lang/python:3.13 ) python_targets_python3_14? ( dev-lang/python:3.14 ) ) examples? ( media-libs/freeglut media-libs/glu ) nsight? ( dev-util/nsight-compute dev-util/nsight-systems ) rdma? ( sys-cluster/rdma-core )
 REQUIRED_USE=|| ( python_targets_python3_11 python_targets_python3_12 python_targets_python3_13 python_targets_python3_14 )
 RESTRICT=bindist mirror strip test
-SLOT=0/13.0.2
-SRC_URI=amd64? ( https://developer.download.nvidia.com/compute/cuda/13.0.2/local_installers/cuda_13.0.2_580.95.05_linux.run ) arm64? ( https://developer.download.nvidia.com/compute/cuda/13.0.2/local_installers/cuda_13.0.2_580.95.05_linux_sbsa.run )
+SLOT=0/13.1.0
+SRC_URI=amd64? ( https://developer.download.nvidia.com/compute/cuda/13.1.0/local_installers/cuda_13.1.0_590.44.01_linux.run ) arm64? ( https://developer.download.nvidia.com/compute/cuda/13.1.0/local_installers/cuda_13.1.0_590.44.01_linux_sbsa.run )
 _eclasses_=check-reqs	2a9731073c152554078a9a8df8fc0f1b	edo	a5e294016aa84979fcb2459749eb80b2	toolchain-funcs	98d9f464d912ae6b7316fb8a3721f5db	out-of-source-utils	dbf9e34ee8964084651e25907fa8f52c	multibuild	4650a65187015567b4e041bb9bfdb364	multiprocessing	1e32df7deee68372153dca65f4a7c21f	python-utils-r1	dbb8c4d794033ad7e7221eaf567a6c90	python-r1	0e15b2ab9cfc87d7474678201d6bca38
-_md5_=7971bd59bfec92dad415e0f6f004e4d8
+_md5_=0077e72ec449afcb803918819bdc83f1

metadata/md5-cache/sci-mathematics/lean-4.25.2

@@ -1,15 +0,0 @@
-BDEPEND=|| ( dev-lang/python:3.14 dev-lang/python:3.13 dev-lang/python:3.12 ) dev-build/make >=dev-build/cmake-3.28.5
-DEFINED_PHASES=compile configure install prepare pretend setup test
-DEPEND=dev-libs/gmp:= dev-libs/libuv:= sci-mathematics/cadical
-DESCRIPTION=The Lean Theorem Prover
-EAPI=8
-HOMEPAGE=https://leanprover-community.github.io/ https://github.com/leanprover/lean4/
-INHERIT=check-reqs cmake flag-o-matic python-any-r1
-IUSE=debug source
-KEYWORDS=~amd64
-LICENSE=Apache-2.0
-RDEPEND=dev-libs/gmp:= dev-libs/libuv:= sci-mathematics/cadical
-SLOT=0/4
-SRC_URI=https://github.com/leanprover/lean4/archive/refs/tags/v4.25.2.tar.gz -> lean-4.25.2.tar.gz
-_eclasses_=check-reqs	2a9731073c152554078a9a8df8fc0f1b	toolchain-funcs	98d9f464d912ae6b7316fb8a3721f5db	flag-o-matic	a7afe42e95fb46ce9691605acfb24672	multiprocessing	1e32df7deee68372153dca65f4a7c21f	ninja-utils	3a59a39e97af0f7c03f49cf3c22f262b	xdg-utils	42869b3c8d86a70ef3cf75165a395e09	cmake	a36a2a340635cb293524229ee6d2ef7a	python-utils-r1	dbb8c4d794033ad7e7221eaf567a6c90	python-any-r1	891415dfe39ad9b41b461f2b86354af0
-_md5_=48760dee67524d93db9a50cffcacb957

sci-mathematics/lean/Manifest

@@ -1,3 +0,0 @@
-DIST lean-4.25.2.tar.gz 50069767 BLAKE2B ebf5b578cf5956a196049e3cde2c52f3dcc6b18078e556e096b3f47c399f4fef629eaa245716b795ad88f981fcc7dc3573e5a973a1c558e13d7c56fda206275b SHA512 cb9d43814a2e7ae8a33aed6fcaf8e64d834905c43846d310a74b1ed3215b20aa0585631a5e9e39df4c499b5de355b644f706e740e8a02572faf1626f1510c08b
-EBUILD lean-4.25.2.ebuild 1843 BLAKE2B 5e4da67180c9b7d801cbe490001316001d145a682852352f30c17a52f8e7ae3519c1958a99c1b2a19ab5f841827d73ee1753d75dc02cadde3cd2516941209007 SHA512 f37a1c87668396b8bfdd0c724e84dd26778f7a7ae26408265f3d3ebe8382e55876ff4248a9c912b68af05816704094f492f895d61a8e87ed4c094f87fc049a59
-MISC metadata.xml 954 BLAKE2B 338f64bbe848dca10f77fb7d5b7503684d36742139a4fd45f7a4c48250a11af6a78e40f5304d44166ce56f7fe4d22c6f980b55cab411bb7be93cc279694e9b66 SHA512 ec7c25a75237d2d54704e2d7b1811489a95780885c748a832643760d012eaceaeb5bfec9fc80509d5699940e749e770e841880cca1361848244b5031636e48b2

sci-mathematics/lean/lean-4.25.2.ebuild

@@ -1,103 +0,0 @@
-# Copyright 1999-2025 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=8
-
-MAJOR="$(ver_cut 1)"
-
-CMAKE_MAKEFILE_GENERATOR="emake"
-PYTHON_COMPAT=( python3_{12..14} )
-
-inherit check-reqs cmake flag-o-matic python-any-r1
-
-DESCRIPTION="The Lean Theorem Prover"
-HOMEPAGE="https://leanprover-community.github.io/
-	https://github.com/leanprover/lean4/"
-
-if [[ "${PV}" == *9999* ]] ; then
-	inherit git-r3
-
-	EGIT_REPO_URI="https://github.com/leanprover/${PN}${MAJOR}"
-else
-	SRC_URI="https://github.com/leanprover/${PN}${MAJOR}/archive/refs/tags/v${PV/_/-}.tar.gz
-		-> ${P}.tar.gz"
-	S="${WORKDIR}/${PN}${MAJOR}-${PV/_/-}"
-
-	KEYWORDS="~amd64"
-fi
-
-LICENSE="Apache-2.0"
-SLOT="0/${MAJOR}"
-IUSE="debug source"
-
-RDEPEND="
-	dev-libs/gmp:=
-	dev-libs/libuv:=
-	sci-mathematics/cadical
-"
-DEPEND="
-	${RDEPEND}
-"
-BDEPEND="
-	${PYTHON_DEPS}
-"
-
-CHECKREQS_DISK_BUILD="4G"
-CHECKREQS_DISK_USR="2G"
-
-# Built by lean's build tool.
-QA_FLAGS_IGNORED="
-usr/lib/lean/libInit_shared.so
-usr/lib/lean/libleanshared_1.so
-"
-
-pkg_setup() {
-	python-any-r1_pkg_setup
-}
-
-src_prepare() {
-	filter-lto
-
-	sed -e "s|-O[23]|${CFLAGS}|g" -i ./src/CMakeLists.txt || die
-
-	cmake_src_prepare
-}
-
-src_configure() {
-	local CMAKE_BUILD_TYPE=""
-
-	if use debug ; then
-		CMAKE_BUILD_TYPE="Debug"
-	else
-		CMAKE_BUILD_TYPE="Release"
-	fi
-
-	local -a mycmakeargs=(
-		-DCCACHE="OFF"
-		-DGIT_HASH="OFF"
-
-		-DUSE_MIMALLOC="OFF"
-		-DINSTALL_LICENSE="OFF"
-		-DINSTALL_CADICAL="OFF"
-
-		-DLEAN_EXTRA_CXX_FLAGS="${CXXFLAGS}"
-		-DLEAN_EXTRA_LINKER_FLAGS="${LDFLAGS}"
-		-DLEAN_EXTRA_MAKE_OPTS="-s 262144"
-		-DLEANC_EXTRA_FLAGS="${CFLAGS}"
-	)
-	cmake_src_configure
-}
-
-src_compile() {
-	ulimit -s 30000000 || eerror "Failed to set required ulimit. Build may fail!"
-
-	cmake_src_compile
-}
-
-src_install() {
-	cmake_src_install
-
-	if ! use source ; then
-		rm -r "${ED}/usr/src" || die
-	fi
-}

sci-mathematics/lean/metadata.xml

@@ -1,22 +0,0 @@
-<?xml version="1.0" encoding="UTF-8"?>
-<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd">
-
-<pkgmetadata>
-  <maintainer type="project">
-    <email>sci-mathematics@gentoo.org</email>
-    <name>Gentoo Mathematics Project</name>
-  </maintainer>
-  <longdescription>
-    The Lean theorem prover is a proof assistant developed principally
-    by Leonardo de Moura at Microsoft Research.  Lean is a functional
-    programming language that makes it easy to write correct and
-    maintainable code. You can also use Lean as an interactive theorem
-    prover. Lean programming primarily involves defining types and
-    functions. This allows your focus to remain on the problem domain and
-    manipulating its data, rather than the details of programming.
-  </longdescription>
-  <upstream>
-    <bugs-to>https://github.com/leanprover/lean4/issues</bugs-to>
-    <remote-id type="github">leanprover/lean4</remote-id>
-  </upstream>
-</pkgmetadata>