Removed sci-mathematics/lean-4.25.2

Updated dev-util/nvidia-cuda-toolkit to 13.1.0
Updated dev-libs/cudnn to 9.17.0.29
2025-12-13 19:18:11 +01:00 · 2025-12-13 18:44:19 +01:00 · 2025-12-13 18:43:46 +01:00 · 2025-12-13 18:41:39 +01:00 · 2025-11-30 16:48:13 +01:00 · 2025-11-30 16:47:55 +01:00
30 changed files with 14 additions and 438 deletions
--- a/app-misc/minder/Manifest
+++ b/app-misc/minder/Manifest
@@ -1,3 +0,0 @@
-DIST minder-1.17.0.tar.gz 1929489 BLAKE2B 984c3128572c7bdc7b863e981f353f2e6989f7e51687c96623b6ff109d9c1eef7ab31908cec64cc53fddc313278433c5993fce1846442c0e5899c64b52165522 SHA512 1f01cedfb0adc6c0d52fee70cb704544678dbd19c84f0d04366ec956ccc56dd771bb5feccccab99692b648239d481e99ae4b010abeb0407757c5c92bc5f7f5fb
-EBUILD minder-1.17.0.ebuild 997 BLAKE2B 4a5c1e8f65d3a9670f813d2645ba80260a7bf18975b8ae721e3ef7da4ca9eaebfcd39a6d3bfeda68c16a04cbcdeeacb8d0e443b81805e94c2084bc76ba45203f SHA512 5f9c6f0b1c66e50da39956eae7e34ab09d1c5d325e004527885216aa5ee66fa56aa766c0489f5367d184280592909f2c13d8a736031078515e479c129aceab08
-MISC metadata.xml 249 BLAKE2B c9f5db74da9f21b3dcb28f863b7153bc51c62d9c1fb976c65bc14550ccd20ecb5ec3847453c15bb2fd85ee7283fd5c7ac8a731248ffdf5992cad4221509a60f1 SHA512 3d699ea40c532a60b8c354b37f6c2603693b1a69d6a020f6aa3936b16b8467d4c48a399c4eab9fb8dc03c85104f55c424a63dc37bd47ade4f8b408e329464762
--- a/app-misc/minder/metadata.xml
+++ b/app-misc/minder/metadata.xml
@@ -1,8 +0,0 @@
-<?xml version="1.0" encoding="UTF-8"?>
-<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd">
-<pkgmetadata>
-	<!-- maintainer-needed -->
-	<upstream>
-		<remote-id type="github">phase1geo/Minder</remote-id>
-	</upstream>
-</pkgmetadata>
--- a/app-misc/minder/minder-1.17.0.ebuild
+++ b/app-misc/minder/minder-1.17.0.ebuild
@@ -1,52 +0,0 @@
-# Copyright 2025 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=8
-
-inherit gnome2-utils meson vala xdg
-
-DESCRIPTION="Mind-mapping application for Elementary OS."
-HOMEPAGE="https://github.com/phase1geo/Minder"
-SRC_URI="https://github.com/phase1geo/Minder/archive/${PV}.tar.gz -> ${P}.tar.gz"
-
-S="${WORKDIR}/Minder-${PV}"
-
-LICENSE="GPL-3"
-SLOT="0"
-KEYWORDS="~amd64"
-
-RDEPEND="
-	app-text/discount
-	dev-lang/vala
-	<dev-libs/granite-7.0.0
-	dev-libs/json-glib
-	gui-libs/libhandy[vala]
-	x11-libs/gtksourceview:4[vala]
-"
-
-DEPEND="
-	${RDEPEND}
-	app-text/discount
-"
-
-src_prepare() {
-	default
-	vala_setup
-
-	# Workaround for #871687
-	sed -i "s/meson.add_install_script('meson\/post_install.py')//g" meson.build || die
-}
-
-pkg_postinst() {
-	xdg_desktop_database_update
-	xdg_icon_cache_update
-	xdg_mimeinfo_database_update
-	gnome2_schemas_update
-}
-
-pkg_postrm() {
-	xdg_desktop_database_update
-	xdg_icon_cache_update
-	xdg_mimeinfo_database_update
-	gnome2_schemas_update
-}
--- a/app-office/notesnook-bin/Manifest
+++ b/app-office/notesnook-bin/Manifest
@@ -1,5 +0,0 @@
-AUX notesnook.png 8808 BLAKE2B 35a26a036eaadc579cf3c6679fa54999174f35cdbbc2ecfc78765b3ed48af4c8265b463d474d56d369a6880cd7f69b2114c7a69a9c1ef0f3ee03dea22828f054 SHA512 53ac1638926e8d6192f43f12528c9e9518e9c28f215c8ef4de59e957fbfd409a094badfee3a88819c67a488e5cb02778a66800d18ba19edea26c3d462b4428b8
-DIST notesnook-bin-3.3.5.amd64.AppImage 120918656 BLAKE2B d26654f23555f2256d003d37b1094db94b17e44bedb8dd592784f88aff804041a4688b220a8300104ea150974c8cd2f955ec02a27bb1530b3a69a0f6be541df8 SHA512 6659922243b2cd7bc1a32b17a45a29e5b6e4550c421bbcf16777e14633561f457084676b819051fbec9fb8adc75b3907f24ccce7eedb0c497994f02b1e8059c7
-DIST notesnook-bin-3.3.5.arm64.AppImage 121050997 BLAKE2B 8033a0386c03435cd3def59d3c0425b3d909d5e9689020e0a73ed61bec5e15e481b2c23381fbd5d7a09833c35a548bffa2f66e6b82bed2c34f7d21c57d12ee82 SHA512 b7f30ade4bc0c0d4471ca144a4754f8e7681f79219923cca3cbcf1961c901a8fc282cdb8ffe5314ab150a411236dcbcfe7de2dc17b3f35f9aeb89f012cab5615
-EBUILD notesnook-bin-3.3.5.ebuild 934 BLAKE2B 834250293860f83bea2ffafbea70a4ad96d0d76b2b52f9f140daeeeaefd05b596b1694cacad4ea86d00cc6588dde11b843f60b9a94afc6db2dd9ea4a713f61b3 SHA512 b3f78180a3132157a83fced6d2b7492a91c80bb3bdacb89ca1b062ed6bfbbc5112af0b1e3599f42c48cd0b9a895f3b6a19a8435520d00b11a7939d72041ee95d
-MISC metadata.xml 975 BLAKE2B 215a8104669acf3be4083fc696442bbdd857db0e6a4cbc05164bbd2dfe260f79698362f7e505729aafbf8db228e8ac7c8298d730a778f8696265d3d67d294931 SHA512 60e73c4d77eb724856cafc6bbd481350c3e19ab616019abc19b73dbee9afbad5c270a4b45314c763ca9662e3ce72ab08075e2a0438e68ef9e7071334274b7d18
--- a/app-office/notesnook-bin/files/notesnook.png
+++ b/app-office/notesnook-bin/files/notesnook.png
--- a/app-office/notesnook-bin/metadata.xml
+++ b/app-office/notesnook-bin/metadata.xml
@@ -1,19 +0,0 @@
-<?xml version="1.0" encoding="UTF-8"?>
-<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd">
-<pkgmetadata>
-	<maintainer type="person">
-		<name>Vitaly Zdanevich</name>
-		<email>zdanevich.vitaly@ya.ru</email>
-	</maintainer>
-	<longdescription lang="en">
-		Notesnook is a free (as in speech) and open-source note-taking app focused on user privacy and ease of use.
-		To ensure zero knowledge principles, Notesnook encrypts everything on your device using XChaCha20-Poly1305 and Argon2.
-		Notesnook is our proof that privacy does not (always) have to come at the cost of convenience.
-		We aim to provide users peace of mind and 100% confidence that their notes are safe and secure.
-		The decision to go fully open source is one of the most crucial steps towards that.
-	</longdescription>
-	<upstream>
-		<remote-id type="github">streetwriters/notesnook</remote-id>
-		<bugs-to>https://github.com/streetwriters/notesnook/issues</bugs-to>
-	</upstream>
-</pkgmetadata>
--- a/app-office/notesnook-bin/notesnook-bin-3.3.5.ebuild
+++ b/app-office/notesnook-bin/notesnook-bin-3.3.5.ebuild
@@ -1,31 +0,0 @@
-# Copyright 1999-2025 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=8
-
-DESCRIPTION='End-to-end encrypted note taking alternative to Evernote'
-HOMEPAGE='https://notesnook.com/ https://github.com/streetwriters/notesnook'
-RELEASE_URI=https://github.com/streetwriters/notesnook/releases
-SRC_URI="
-	amd64? ( ${RELEASE_URI}/download/v${PV}/notesnook_linux_x86_64.AppImage -> ${P}.amd64.AppImage )
-	arm64? ( ${RELEASE_URI}/download/v${PV}/notesnook_linux_arm64.AppImage -> ${P}.arm64.AppImage )
-"
-S="${WORKDIR}"
-LICENSE='GPL-3'
-SLOT='0'
-KEYWORDS='~amd64 ~arm64'
-RESTRICT='strip'
-RDEPEND='sys-fs/fuse:0'
-QA_PREBUILT='*'
-
-inherit desktop
-
-src_install() {
-	if use amd64; then
-		newbin "${DISTDIR}/${P}.amd64.AppImage" notesnook
-	elif use arm64; then
-		newbin "${DISTDIR}/${P}.arm64.AppImage" notesnook
-	fi
-	doicon "${FILESDIR}"/notesnook.png
-	make_desktop_entry "${PN}" Notesnook notesnook 'Office;'
-}
--- a/dev-libs/cudnn/Manifest
+++ b/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
--- a/dev-libs/cudnn/cudnn-9.17.0.29.ebuild
+++ b/dev-libs/cudnn/cudnn-9.17.0.29.ebuild
--- a/dev-util/nvidia-cuda-toolkit/Manifest
+++ b/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
--- a/dev-util/nvidia-cuda-toolkit/nvidia-cuda-toolkit-13.1.0.ebuild
+++ b/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"

--- a/dev-util/premake/Manifest
+++ b/dev-util/premake/Manifest
@@ -1,3 +0,0 @@
-DIST premake-5.0.0_beta7.tar.gz 8499540 BLAKE2B 51c6da107fb0a24c62b1a8f0ab6b1f118d4103d2e4033c2d98f104918cd1d0914cbecf93a54d481c30aebf07497ac8989d0e7048617f626725dc1be48943ebfb SHA512 b6ed480c85db82d749b22b1b97537da525d8eb062514766393c1ff4fc8077289c0037200b7bc260754f320fd5d9c109cb56adbaeec59d485cd95728564927499
-EBUILD premake-5.0.0_beta7.ebuild 625 BLAKE2B 5533a4a7f975d6c3016e69a3620cdec38cf204c12a206261803bdcb3855c0727a86007ac2761fba0330f365f4daea8a137b2c9263a3e38a425da851bd3a384ff SHA512 ccb0860722b2f22a540ec96d27e1fc66571a88d73cee45629ec5500eedbfe158228868d58a5ac9892d6215cc00d7de11702f66906f6867727f85638fef4e8d54
-MISC metadata.xml 771 BLAKE2B 6a8c2ca614ad4e799efcbc4b30be952160df8ec9b6ce0a2a179a98b5cd1520515a4abef4f0815221a81e03eac86b16728a8474d3e3d0df1aaa038fe7d8a6a977 SHA512 ceb9e5f086a4ac803c1aa901b45fbc9a37a6dd75b5c573ad49772413631c897b54cd53b2873b42c91b000a087e48dc13300a9b945292b848a0f462a738f689b0
--- a/dev-util/premake/metadata.xml
+++ b/dev-util/premake/metadata.xml
@@ -1,19 +0,0 @@
-<?xml version="1.0" encoding="UTF-8"?>
-<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd">
-<pkgmetadata>
-	<maintainer type="person">
-		<email>titanofold@gentoo.org</email>
-		<name>Aaron W. Swenson</name>
-	</maintainer>
-	<longdescription lang="en">
-		Describe your software project just once, using Premake's simple and
-		easy to read syntax, and build it everywhere. Generate project files
-		for Visual Studio, GNU Make, Xcode, Code::Blocks, and more across
-		Windows, Mac OS X, and Linux. Use the full featured Lua scripting
-		engine to make build configuration tasks a breeze.
-	</longdescription>
-	<upstream>
-		<remote-id type="github">premake/premake-core</remote-id>
-		<remote-id type="sourceforge">premake</remote-id>
-	</upstream>
-</pkgmetadata>
--- a/dev-util/premake/premake-5.0.0_beta7.ebuild
+++ b/dev-util/premake/premake-5.0.0_beta7.ebuild
@@ -1,34 +0,0 @@
-# Copyright 1999-2025 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=8
-
-inherit toolchain-funcs
-
-MY_PV=${PV/_/-}
-
-DESCRIPTION="A makefile generation tool"
-HOMEPAGE="https://premake.github.io"
-SRC_URI="https://github.com/premake/premake-core/archive/v${MY_PV}.tar.gz -> ${P}.tar.gz"
-S="${WORKDIR}/${PN}-core-${MY_PV}"
-
-LICENSE="BSD"
-SLOT="5"
-KEYWORDS="amd64 arm64 ppc ppc64 x86"
-
-src_compile() {
-	# bug #773505
-	tc-export AR CC
-
-	emake -f Bootstrap.mak linux
-}
-
-src_test() {
-	bin/release/premake${SLOT} test || die
-}
-
-src_install() {
-	dobin bin/release/premake${SLOT}
-
-	einstalldocs
-}
--- a/media-libs/imgui-docking/Manifest
+++ b/media-libs/imgui-docking/Manifest
@@ -1,5 +1,5 @@
 AUX imgui-docking-meson.build 5761 BLAKE2B 77a93b9f385cec328137f2731b638a04eae7eaafaef0d19c98879d5664a6142e3422764c4e87720d8cc72f2f19e4eb98816e01ab9292a4266a8678e48747f6d3 SHA512 54cb36439e851dbe054690d3e8b93b7c84ad8363fd9bffa4ea43b02c4d19a3344751c6a997d2dc339fcf9359bd6428bebd664546e5e2ed263f4b8a8df4a3419a
 AUX imgui-docking-meson_options.txt 887 BLAKE2B c3cee068700d00b14e98522a464d5dd373c20e7f6fd81295fb694f402e663a9e5c040701c9cf1297b9aab4159945b00b0e6460557835c6b764f5897776e92236 SHA512 e33e892aaae8a12a656b91ff4275b3f286d3806b7eea1a325e701dfb0e3f6bdd27de0c5e5765413503cd7c780f1a48e16027cddef71a4864cbd20d7e54b40a4c
-DIST imgui-1.92.4-docking.tar.gz 2128467 BLAKE2B 7667814c98d57c246b6903abc90b11c9a1d003d4445ef1ad9ba84cdc067df0b1f40bf57a9070283bd531ffccb043f33f8d1f3c95d26ae2290a10476514bd7eb6 SHA512 ed9ce3dfc75f5da3afcb0dce5bcbd72b31c8ef2316e3ae07ad6e7fe9a87a910862890ebab62b451035315b95bdbb70bbe82bf3ec9f584470f75f7d73fa10f044
-EBUILD imgui-docking-1.92.4.ebuild 2070 BLAKE2B 0f1da9b7551eea90196de080fa513ba5d45f08e4cf0657eeb74f8dcaf8a991115a862c42f729c82332737ccde5e5c9a537dd176e242275f36e35677038da7449 SHA512 d76574d42528449c12f58b2280ef71426d8443ad1a5647d5074bacc52f53ae02662dcd24edf22176b74ea7332ea7e1d747b8b42cac35d9fd137286e7e61dbdbd
+DIST imgui-1.92.5-docking.tar.gz 2179348 BLAKE2B 89f5f32e40fb37bc6a93af847a0d85847f882c0afb73dc13ae6af1287ac7167177b10c7ebed8e796a60456a0a9bea4dc3b5e2b2c9eeb7f5c9ca27adc856ba779 SHA512 4618b8bd6e65ac27cd7cecb3469d135622279d83f8a580c028231578f7023c4465911c5878ee7e40c2f6dda606aef86f27c3cecfb7bc9a6022bd1d89eed17c29
+EBUILD imgui-docking-1.92.5.ebuild 2070 BLAKE2B 0f1da9b7551eea90196de080fa513ba5d45f08e4cf0657eeb74f8dcaf8a991115a862c42f729c82332737ccde5e5c9a537dd176e242275f36e35677038da7449 SHA512 d76574d42528449c12f58b2280ef71426d8443ad1a5647d5074bacc52f53ae02662dcd24edf22176b74ea7332ea7e1d747b8b42cac35d9fd137286e7e61dbdbd
 MISC metadata.xml 1018 BLAKE2B 24ef0cdaf35fb432e284cf2ea6605de6d67e70a2c9f4da72ed89b35279e330afeffc80e541b3b6fd611097a3434e82cada6f9128461cb775fb2c9561bd63f5b6 SHA512 2c6d4d3117dc1a1b3b9bf0ec91a96bcb971a3373eca0fb869a6e6cb5f6ec34e542cfd496ea4329d1e6a03e0b09bd3c419752f9809de41b3a1bf03a83fde7206a
--- a/media-libs/imgui-docking/imgui-docking-1.92.5.ebuild
+++ b/media-libs/imgui-docking/imgui-docking-1.92.5.ebuild
--- a/metadata/md5-cache/app-misc/minder-1.17.0
+++ b/metadata/md5-cache/app-misc/minder-1.17.0
@@ -1,15 +0,0 @@
-BDEPEND=>=dev-build/meson-1.2.3 app-alternatives/ninja dev-build/meson-format-array
-DEFINED_PHASES=compile configure install postinst postrm preinst prepare test
-DEPEND=app-text/discount dev-lang/vala <dev-libs/granite-7.0.0 dev-libs/json-glib gui-libs/libhandy[vala] x11-libs/gtksourceview:4[vala] app-text/discount
-DESCRIPTION=Mind-mapping application for Elementary OS.
-EAPI=8
-HOMEPAGE=https://github.com/phase1geo/Minder
-IDEPEND=dev-util/desktop-file-utils x11-misc/shared-mime-info
-INHERIT=gnome2-utils meson vala xdg
-KEYWORDS=~amd64
-LICENSE=GPL-3
-RDEPEND=app-text/discount dev-lang/vala <dev-libs/granite-7.0.0 dev-libs/json-glib gui-libs/libhandy[vala] x11-libs/gtksourceview:4[vala]
-SLOT=0
-SRC_URI=https://github.com/phase1geo/Minder/archive/1.17.0.tar.gz -> minder-1.17.0.tar.gz
-_eclasses_=toolchain-funcs	98d9f464d912ae6b7316fb8a3721f5db	xdg-utils	42869b3c8d86a70ef3cf75165a395e09	gnome2-utils	a8cf148ec7f5ae0b1f1d33ae5f7f9e88	flag-o-matic	a7afe42e95fb46ce9691605acfb24672	multiprocessing	1e32df7deee68372153dca65f4a7c21f	ninja-utils	3a59a39e97af0f7c03f49cf3c22f262b	python-utils-r1	dbb8c4d794033ad7e7221eaf567a6c90	meson	1a27c82364f611e149966d2c47cbb083	vala	e477903dbe0105930c51f170a592dc16	xdg	3ef49a87c52c8b77c476351195dfe575
-_md5_=59bbd2455d33445625b7fe6c4b5445a4
--- a/metadata/md5-cache/app-office/notesnook-bin-3.3.5
+++ b/metadata/md5-cache/app-office/notesnook-bin-3.3.5
@@ -1,13 +0,0 @@
-DEFINED_PHASES=install
-DESCRIPTION=End-to-end encrypted note taking alternative to Evernote
-EAPI=8
-HOMEPAGE=https://notesnook.com/ https://github.com/streetwriters/notesnook
-INHERIT=desktop
-KEYWORDS=~amd64 ~arm64
-LICENSE=GPL-3
-RDEPEND=sys-fs/fuse:0
-RESTRICT=strip
-SLOT=0
-SRC_URI=amd64? ( https://github.com/streetwriters/notesnook/releases/download/v3.3.5/notesnook_linux_x86_64.AppImage -> notesnook-bin-3.3.5.amd64.AppImage ) arm64? ( https://github.com/streetwriters/notesnook/releases/download/v3.3.5/notesnook_linux_arm64.AppImage -> notesnook-bin-3.3.5.arm64.AppImage )
-_eclasses_=desktop	3a72ffe0d8e1dd73af3a1c8c15a59fed
-_md5_=d6d19d36b02ef3cd40cc2fdd5bdfbde0
--- a/metadata/md5-cache/dev-libs/cudnn-9.17.0.29
+++ b/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
--- a/metadata/md5-cache/dev-util/nvidia-cuda-toolkit-13.1.0
+++ b/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
--- a/metadata/md5-cache/dev-util/premake-5.0.0_beta7
+++ b/metadata/md5-cache/dev-util/premake-5.0.0_beta7
@@ -1,11 +0,0 @@
-DEFINED_PHASES=compile install test
-DESCRIPTION=A makefile generation tool
-EAPI=8
-HOMEPAGE=https://premake.github.io
-INHERIT=toolchain-funcs
-KEYWORDS=amd64 arm64 ppc ppc64 x86
-LICENSE=BSD
-SLOT=5
-SRC_URI=https://github.com/premake/premake-core/archive/v5.0.0-beta7.tar.gz -> premake-5.0.0_beta7.tar.gz
-_eclasses_=toolchain-funcs	98d9f464d912ae6b7316fb8a3721f5db
-_md5_=5a7b3ed6bc1b553b62d29b7d623f52fb
--- a/metadata/md5-cache/media-libs/imgui-docking-1.92.5
+++ b/metadata/md5-cache/media-libs/imgui-docking-1.92.5
@@ -9,7 +9,7 @@ IUSE=allegro5 glfw sdl2 sdl3 sdl2-renderer sdl3-renderer opengl vulkan webgpu ab
 KEYWORDS=~amd64
 LICENSE=MIT
 RDEPEND=dev-libs/stb:= media-libs/libglvnd[abi_x86_32(-)?,abi_x86_64(-)?,abi_x86_x32(-)?,abi_mips_n32(-)?,abi_mips_n64(-)?,abi_mips_o32(-)?,abi_s390_32(-)?,abi_s390_64(-)?] media-libs/glew[abi_x86_32(-)?,abi_x86_64(-)?,abi_x86_x32(-)?,abi_mips_n32(-)?,abi_mips_n64(-)?,abi_mips_o32(-)?,abi_s390_32(-)?,abi_s390_64(-)?] allegro5? ( media-libs/allegro:5[abi_x86_32(-)?,abi_x86_64(-)?,abi_x86_x32(-)?,abi_mips_n32(-)?,abi_mips_n64(-)?,abi_mips_o32(-)?,abi_s390_32(-)?,abi_s390_64(-)?] ) glfw? ( media-libs/glfw:0[abi_x86_32(-)?,abi_x86_64(-)?,abi_x86_x32(-)?,abi_mips_n32(-)?,abi_mips_n64(-)?,abi_mips_o32(-)?,abi_s390_32(-)?,abi_s390_64(-)?] x11-libs/libX11:0[abi_x86_32(-)?,abi_x86_64(-)?,abi_x86_x32(-)?,abi_mips_n32(-)?,abi_mips_n64(-)?,abi_mips_o32(-)?,abi_s390_32(-)?,abi_s390_64(-)?] ) sdl2? ( media-libs/libsdl2[abi_x86_32(-)?,abi_x86_64(-)?,abi_x86_x32(-)?,abi_mips_n32(-)?,abi_mips_n64(-)?,abi_mips_o32(-)?,abi_s390_32(-)?,abi_s390_64(-)?] ) sdl2-renderer? ( media-libs/libsdl2[abi_x86_32(-)?,abi_x86_64(-)?,abi_x86_x32(-)?,abi_mips_n32(-)?,abi_mips_n64(-)?,abi_mips_o32(-)?,abi_s390_32(-)?,abi_s390_64(-)?] ) sdl3? ( media-libs/libsdl3[abi_x86_32(-)?,abi_x86_64(-)?,abi_x86_x32(-)?,abi_mips_n32(-)?,abi_mips_n64(-)?,abi_mips_o32(-)?,abi_s390_32(-)?,abi_s390_64(-)?] ) sdl3-renderer? ( media-libs/libsdl3[abi_x86_32(-)?,abi_x86_64(-)?,abi_x86_x32(-)?,abi_mips_n32(-)?,abi_mips_n64(-)?,abi_mips_o32(-)?,abi_s390_32(-)?,abi_s390_64(-)?] ) opengl? ( media-libs/mesa[opengl,abi_x86_32(-)?,abi_x86_64(-)?,abi_x86_x32(-)?,abi_mips_n32(-)?,abi_mips_n64(-)?,abi_mips_o32(-)?,abi_s390_32(-)?,abi_s390_64(-)?] ) vulkan? ( media-libs/vulkan-loader[abi_x86_32(-)?,abi_x86_64(-)?,abi_x86_x32(-)?,abi_mips_n32(-)?,abi_mips_n64(-)?,abi_mips_o32(-)?,abi_s390_32(-)?,abi_s390_64(-)?] ) webgpu? ( dev-util/webgpu-headers )
-SLOT=0/1.92.4
-SRC_URI=https://github.com/ocornut/imgui/archive/v1.92.4-docking.tar.gz -> imgui-1.92.4-docking.tar.gz
+SLOT=0/1.92.5
+SRC_URI=https://github.com/ocornut/imgui/archive/v1.92.5-docking.tar.gz -> imgui-1.92.5-docking.tar.gz
 _eclasses_=toolchain-funcs	98d9f464d912ae6b7316fb8a3721f5db	flag-o-matic	a7afe42e95fb46ce9691605acfb24672	multiprocessing	1e32df7deee68372153dca65f4a7c21f	ninja-utils	3a59a39e97af0f7c03f49cf3c22f262b	python-utils-r1	dbb8c4d794033ad7e7221eaf567a6c90	meson	1a27c82364f611e149966d2c47cbb083	out-of-source-utils	dbf9e34ee8964084651e25907fa8f52c	multibuild	4650a65187015567b4e041bb9bfdb364	multilib	a199af442898963433d6f038a88cce9c	multilib-build	9ac26ea006828266d235e2f0135429b5	multilib-minimal	e9f54d75b074edc47d36994bbc1e2123	meson-multilib	8989922d980e5e870cc3de949d1b2586
 _md5_=ae3367261969f03a8cef67cb2bdd9366
--- a/metadata/md5-cache/net-libs/lazynpm-0.1.4
+++ b/metadata/md5-cache/net-libs/lazynpm-0.1.4
@@ -1,13 +0,0 @@
-BDEPEND=>=dev-lang/go-1.20:= app-arch/unzip
-DEFINED_PHASES=compile install unpack
-DESCRIPTION=terminal UI for npm
-EAPI=8
-HOMEPAGE=https://github.com/jesseduffield/lazynpm
-INHERIT=go-module
-KEYWORDS=~amd64 ~arm64
-LICENSE=Apache-2.0 BSD ISC MIT Unlicense
-RDEPEND=net-libs/nodejs
-SLOT=0
-SRC_URI=https://github.com/jesseduffield/lazynpm/archive/v0.1.4.tar.gz -> lazynpm-0.1.4.tar.gz
-_eclasses_=multiprocessing	1e32df7deee68372153dca65f4a7c21f	toolchain-funcs	98d9f464d912ae6b7316fb8a3721f5db	flag-o-matic	a7afe42e95fb46ce9691605acfb24672	go-env	0e2babf96e7d0b045fc07ad199eb2399	go-module	d96f2a2fd6d8fbad6d94516bf238f885
-_md5_=dbe96bd546df76965014540f59b80af7
--- a/metadata/md5-cache/sci-mathematics/lean-4.25.0
+++ b/metadata/md5-cache/sci-mathematics/lean-4.25.0
@@ -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.0.tar.gz -> lean-4.25.0.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
--- a/net-libs/lazynpm/Manifest
+++ b/net-libs/lazynpm/Manifest
@@ -1,3 +0,0 @@
-DIST lazynpm-0.1.4.tar.gz 3488094 BLAKE2B 6f255f4ef3c32f761463db454ed5003f6e07ed963361bbedb28a6422e98b8859644911ed4ab46113e4ef54dbef55ef0ef1aa1d94b63f932d5ae17694779d82d9 SHA512 0ff0960ae29487f5c10caf286f9aa0284897f29ac97a730ecc0fb7105f5097f36980da5b3df7742c84b57e764b0eb085bc7ab11824990fbc30b11d3713f211f5
-EBUILD lazynpm-0.1.4.ebuild 616 BLAKE2B c55b5c3668ace12594aa93ee1ae3ed9e42649a8b2f919e5b74bd2a30c6cfb74626dfcdc64f90dcfd06d7ef2ef88d4a5e8e747766a1916887ffa70a21709da690 SHA512 2d555e431ce2aa231cf816f3518dd2639644d5fc9ed1a5300b9441404247432e0792908c5dcde9f3d63b106285c76be2198075cbec8ee83d715755c7b8df9f6a
-MISC metadata.xml 1467 BLAKE2B 21d68a881f9b1243c86bfada02ede4da936e8310aa94375aec319d4b3271bd8e84ef841a4ff68ac1f2f0d10b741f2af426ef914f5d6de56627504183657d6dd8 SHA512 c113cfcd2fdc906be1ecb4012a1f70a4442a5fdc99d6b903bd6ac3c528757b964c8679cd4493698b96125c37ae688727e6764078575b9e14bc3398ad7b585718
--- a/net-libs/lazynpm/lazynpm-0.1.4.ebuild
+++ b/net-libs/lazynpm/lazynpm-0.1.4.ebuild
@@ -1,29 +0,0 @@
-# Copyright 1999-2024 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=8
-
-inherit go-module
-
-DESCRIPTION='terminal UI for npm'
-HOMEPAGE='https://github.com/jesseduffield/lazynpm'
-SRC_URI="https://github.com/jesseduffield/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.gz"
-
-S="${WORKDIR}/${P}"
-
-LICENSE='Apache-2.0 BSD ISC MIT Unlicense'
-SLOT='0'
-KEYWORDS='~amd64 ~arm64'
-
-RDEPEND='net-libs/nodejs'
-
-DOCS=( {CODE-OF-CONDUCT,CONTRIBUTING,README}.md docs )
-
-src_compile() {
-	ego build -o bin/"${PN}" -ldflags "-X main.version=${PV}"
-}
-
-src_install() {
-	dobin bin/"${PN}"
-	einstalldocs
-}
--- a/net-libs/lazynpm/metadata.xml
+++ b/net-libs/lazynpm/metadata.xml
@@ -1,23 +0,0 @@
-<?xml version="1.0" encoding="UTF-8"?>
-<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd">
-<pkgmetadata>
-  <maintainer type="person">
-    <email>torokhov-s-a@yandex.ru</email>
-    <name>Sergey Torokhov</name>
-  </maintainer>
-  <longdescription lang="en">
-    A simple terminal UI for npm commands, written in Go with the gocui library.
-
-    npm is pretty cool, but some of its workflows are a little too much for somebody with my atrocious short term memory.
-    If I need to link a couple of dependencies to a package I need to do an npm install on the package so we're up to date,
-    then cd to each dependency package and npm install, then npm run build,
-    then npm link if it's not already globally linked (and how would I know that it is?) and then cd back to the original package and do npm link "dependency" for each dependency.
-    Pretty much every time I'll get halfway through, suspect that I've forgotten a step, then start again from scratch.
-    But who needs a functionining brain when have a tool where every step in the process take one keypress and at a glance you can see how everything is linked up?
-
-    lazynpm is the younger brother of lazygit and lazydocker, and has learnt from both its siblings how best to make life lazier in the terminal so that you can focus on what matters: programming.
-  </longdescription>
-  <upstream>
-    <remote-id type="github">jesseduffield/lazynpm</remote-id>
-  </upstream>
-</pkgmetadata>
--- a/sci-mathematics/lean/Manifest
+++ b/sci-mathematics/lean/Manifest
@@ -1,3 +0,0 @@
-DIST lean-4.25.0.tar.gz 50069202 BLAKE2B a6f18abe1c29c79537c7ee7f530ea03c045d77d99d17d8662711fd828ab4cc42b9a9f1016a69054bcf11c22b3954a335053d5f0e1fa90c8507e3dcc401c8fe69 SHA512 98d0249fa99f5376cdee1bbc8f251c54983c93e38bc8859cb1d471d4726cbaea5f159f8202449ac01d4920cc16a2571e4cb39d7a6a901014bbe18473b91088c3
-EBUILD lean-4.25.0.ebuild 1843 BLAKE2B 5e4da67180c9b7d801cbe490001316001d145a682852352f30c17a52f8e7ae3519c1958a99c1b2a19ab5f841827d73ee1753d75dc02cadde3cd2516941209007 SHA512 f37a1c87668396b8bfdd0c724e84dd26778f7a7ae26408265f3d3ebe8382e55876ff4248a9c912b68af05816704094f492f895d61a8e87ed4c094f87fc049a59
-MISC metadata.xml 954 BLAKE2B 338f64bbe848dca10f77fb7d5b7503684d36742139a4fd45f7a4c48250a11af6a78e40f5304d44166ce56f7fe4d22c6f980b55cab411bb7be93cc279694e9b66 SHA512 ec7c25a75237d2d54704e2d7b1811489a95780885c748a832643760d012eaceaeb5bfec9fc80509d5699940e749e770e841880cca1361848244b5031636e48b2
--- a/sci-mathematics/lean/lean-4.25.0.ebuild
+++ b/sci-mathematics/lean/lean-4.25.0.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
-}
--- a/sci-mathematics/lean/metadata.xml
+++ b/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>
Author	SHA1	Message	Date
saundersp	c718c5a542	Removed sci-mathematics/lean-4.25.2	2025-12-13 19:18:11 +01:00
saundersp	f9410c9ad3	Updated dev-util/nvidia-cuda-toolkit to 13.1.0	2025-12-13 18:44:19 +01:00
saundersp	25520fba2e	Updated dev-libs/cudnn to 9.17.0.29	2025-12-13 18:43:46 +01:00
saundersp	7bd9cc8e5b	Removed app-text/calibre-8.15.0	2025-12-13 18:41:39 +01:00
saundersp	e8352cabd1	Removed dev-util/premake-5.0.0_beta7	2025-11-30 16:48:13 +01:00
saundersp	ed96bb3ce3	Removed app-office/notesnook-bin-3.3.5	2025-11-30 16:47:55 +01:00
saundersp	a17b8a4fa1	Removed app-misc/minder-1.17.0	2025-11-30 16:47:42 +01:00
saundersp	6f5b19fbc4	Removed net-libs/lazynpm-0.1.4	2025-11-30 16:47:29 +01:00
saundersp	8004a2f6ab	Added app-text/calibre-8.15.0	2025-11-25 17:36:04 +01:00
saundersp	d892dfa5d7	Updated sci-mathematics/lean to 4.25.2	2025-11-25 17:08:31 +01:00
saundersp	a9753f25b2	Updated media-libs/imgui-docking to 1.92.5	2025-11-24 15:51:53 +01:00
saundersp	37c59d3dfa	Updated sci-mathematics/lean to 4.25.1	2025-11-18 12:45:56 +01:00