gentoo auto-resync : 02:02:2025 - 22:43:16

7 files changed, 0 insertions, 246 deletions

diff --git a/sci-mathematics/Manifest.gz b/sci-mathematics/Manifest.gz
index 2d332e161c9e..8122d580f7fa 100644
--- a/sci-mathematics/Manifest.gz
+++ b/sci-mathematics/Manifest.gz
diff --git a/sci-mathematics/lean/Manifest b/sci-mathematics/lean/Manifest
index 0846c795bffc..b8168fc8a953 100644
--- a/sci-mathematics/lean/Manifest
+++ b/sci-mathematics/lean/Manifest
@@ -1,10 +1,8 @@
 AUX lean-3.50.3-gcc-13.patch 263 BLAKE2B cf589616f4612319bbe1d21e798787a72da3d0f319cef3ef0042b8baa89d87066867311fd804862d43599a262c64e2b747a6c21415bb69137a3e8e59dd332155 SHA512 013fe4ec983c8ca612621319fad5fe66e081516979e4dace71f24ec72cac8d7fe2a021e701b2bcae1e87209783330c02b799cdb6c1274f7f8d3dc51efaf130b6
 AUX lean-4.14.0-src-cmakelists.patch 1084 BLAKE2B d236998224c99aec69248b59f314e3347ac21acf3bcbe99e006004a67d985ee899db0ff3a7f920a477066085707813fd908fba8cbc4d6b0f7a43f1c1525263c7 SHA512 8dff3962980cf06526d83d10f5175eac8505cc365d50f816a3690c68029e3f2ce69356b8f963adcdad2b06cc936fbd99a9fccb6d7ec24ebbdcad4519e9274ea9
 AUX lean-CMakeLists-fix_flags.patch 1285 BLAKE2B 0507e553c1acf2a53c5267932127117d5ae5ba9015a08c88748b3d82c041f8d904d15cd033dd7934ac55c474fa75a5d4a46f680cc887fee37c05c3f5f3832839 SHA512 11a5918847e45aac7bf79e48d8f881ef5cd3e6b09dbb0979f3f0b88fd36458be21ebeb530158da801399a0cdc8fe382444ff338cd793cd9f1bfced90c5d5a71b
-DIST lean-3.51.1.tar.gz 1918894 BLAKE2B 9a240fe73193794a57001582c0623052cfc1c08ef3b155cac2d9dfc029202cb79b85e844fdf068e454498a35522ec3e18330da8c644bba3c6f708cbde04816f7 SHA512 dccdf6c3fbcd98115e62b9944645af6a2ce21412d63baa9565871807862e8d83cc6f29d1fb687f19b802240a5f9c019443caa00412ecfabe621744dff900e3ee
 DIST lean-4.11.0.tar.gz 25790812 BLAKE2B d9a4eb15199f81c6757acf35fb17c795bb9d69158c7e7deb11d98a45bebf569dcda5f7733b2effd2be0eea879a6c7c24b270d97159e5898215e82e853320918c SHA512 2314659910b4d872c4ae0dda648a9cab9e1cc44cd4c55486a494b65b20fdae236ab9db99a42d7fb1a80030e300e95606065ee7dd27578b12a4c47fc8c102e2bb
 DIST lean-4.14.0.tar.gz 28508743 BLAKE2B 692972402726a77ca9255edbecfc2bd30033d5c7137b00e85821d5bb74f7ed77398b19e7e3098eeecf6812ad9ca568a4076b11a91456b84f4ad78be8f6441286 SHA512 871169b3d7951934990a86a2b5d1741b00f4559c53c69ecdf0ca1c091426f1d7a6baa5ce69029dbecfc4a9dc9da9ee36b327cbef0ab28e80a9f64d34a2666c78
-EBUILD lean-3.51.1.ebuild 1815 BLAKE2B 767ff4cc188049e3b54d903ff3a314012997369beadf7335a33e01193b0da69707e4b845946afde25a617e9e344df479adb70c8937e84dc1854fe2db9b0d979b SHA512 630f5690c1a4321e56d640186b894623fa5551de17af21793b4a66c32ccfb66697b4144ada36742262e5bd037d094b0448511433e73affdac36ad7e06874635d
 EBUILD lean-4.11.0.ebuild 1395 BLAKE2B 9dea5026d1cef60c08d7de76061cdd7401f3c49e551df397a02b61cc5ce4fa34dddd636a339013ac424b090635196d0b94142fa2af895f43d8a0dcfc2a5c009b SHA512 e336e331fafbaa6b658007e5e6b1fd726044bde52fbdda56935c9c65ff47b1942bc721365be74118a62c9439e2bb395bdca160e906237374e3c235cb62c17825
 EBUILD lean-4.14.0-r1.ebuild 1797 BLAKE2B 592a520a4ee85bdea58e0da5294eb68b0d13ca7d5d32d70a4003294a2e944f50fa7b3648da47a36f81fe32f5cc399ca9ed7dc77c0704de543512c65cc1084c14 SHA512 86c446e89816ddf89c4ebfbb8b8dc49004dcb954f726aac35f606f10f76769fbab56e09b41bbc463ccfd14ba6494ebaaecd9d8d0f8b0073a3c6363147d598259
 MISC metadata.xml 954 BLAKE2B 338f64bbe848dca10f77fb7d5b7503684d36742139a4fd45f7a4c48250a11af6a78e40f5304d44166ce56f7fe4d22c6f980b55cab411bb7be93cc279694e9b66 SHA512 ec7c25a75237d2d54704e2d7b1811489a95780885c748a832643760d012eaceaeb5bfec9fc80509d5699940e749e770e841880cca1361848244b5031636e48b2
diff --git a/sci-mathematics/lean/lean-3.51.1.ebuild b/sci-mathematics/lean/lean-3.51.1.ebuild
deleted file mode 100644
index 6c8c7551d8ef..000000000000
--- a/sci-mathematics/lean/lean-3.51.1.ebuild
+++ /dev/null
@@ -1,80 +0,0 @@
-# Copyright 1999-2023 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=8
-
-MAJOR=$(ver_cut 1)
-CMAKE_IN_SOURCE_BUILD="ON"
-
-inherit flag-o-matic cmake readme.gentoo-r1
-
-DESCRIPTION="The Lean Theorem Prover"
-HOMEPAGE="https://leanprover-community.github.io/"
-
-if [[ ${PV} == *9999* ]] ; then
-	inherit git-r3
-	EGIT_REPO_URI="https://github.com/leanprover-community/lean.git"
-else
-	SRC_URI="https://github.com/leanprover-community/lean/archive/refs/tags/v${PV}.tar.gz -> ${P}.tar.gz"
-	KEYWORDS="amd64 ~x86"
-fi
-S="${S}/src"
-
-LICENSE="Apache-2.0"
-SLOT="0/${MAJOR}"
-IUSE="debug +threads"
-
-RDEPEND="dev-libs/gmp:="
-DEPEND="${RDEPEND}"
-
-PATCHES=(
-	"${FILESDIR}"/${PN}-3.50.3-gcc-13.patch
-	"${FILESDIR}"/${PN}-CMakeLists-fix_flags.patch
-)
-
-src_configure() {
-	local CMAKE_BUILD_TYPE
-	if use debug; then
-		CMAKE_BUILD_TYPE="Debug"
-	else
-		CMAKE_BUILD_TYPE="Release"
-	fi
-
-	filter-lto
-
-	local -a mycmakeargs=(
-		-DALPHA=ON
-		-DAUTO_THREAD_FINALIZATION=ON
-		-DJSON=ON  # bug 833900
-		-DLEAN_EXTRA_CXX_FLAGS="${CXXFLAGS}"
-		-DMULTI_THREAD=$(usex threads)
-		-DUSE_GITHASH=OFF
-	)
-	cmake_src_configure
-}
-
-src_test() {
-	local -a myctestargs=(
-		# Disable problematic "style_check" cpplint test,
-		# this also removes the python test dependency
-		--exclude-regex style_check
-	)
-	cmake_src_test
-}
-
-src_install() {
-	cmake_src_install
-
-	local DISABLE_AUTOFORMATTING="yes"
-	local DOC_CONTENTS="You probably want to use lean with mathlib, you can either:
-	- Do not install mathlib globally and use local versions
-	- Use leanproject from sci-mathematics/mathlib-tools
-		$ leanproject global-install
-	- Use leanpkg and compile mathlib (which will take some time)
-		$ leanpkg install https://github.com/leanprover-community/mathlib"
-	readme.gentoo_create_doc
-}
-
-pkg_postinst() {
-	readme.gentoo_print_elog
-}
diff --git a/sci-mathematics/mathlib-tools/Manifest b/sci-mathematics/mathlib-tools/Manifest
deleted file mode 100644
index ef176670a3b6..000000000000
--- a/sci-mathematics/mathlib-tools/Manifest
+++ /dev/null
@@ -1,4 +0,0 @@
-AUX mathlib-tools-1.3.2-pull-131.patch 3637 BLAKE2B bf7128554dc0727c80a754081aca5fe75e5df33e1429b9b94243884209049cab57f32139c8149732a4e6bf6eb4c58b60d7adcbd100fa4d65de7c265a9d54eaee SHA512 d222078b011f3169f0fbdbc6a05a7d9593209ded23a407b9998b5f572b308d9064fec1767a26013997ca882d4f51bae9938661efd548270efdbbe8099d770151
-DIST mathlib-tools-1.3.2_p1.gh.tar.gz 36686 BLAKE2B 0120e64821c183e368a4ca7d7122146637b933c9f56279c15716c825ac6e0e20d19f8ece731ee5c4114b7c221e84b53d3b89fcc0268529cbd1f2ad3328ac7847 SHA512 7b3c5a8aea19a4c7df366c71baa19e3d8ab6a0a6b387973ed37aecf3003361f298b85a4deecc8a4fcb6a2003f666c503fd66cde986e412003d439d48345afbc7
-EBUILD mathlib-tools-1.3.2_p1.ebuild 1404 BLAKE2B ce160d6858d81dee777971981be2462e44015b21ad35b43db499ae4ce3a8490e6b37936f91ed5d13ba400c04f1a8d786ff2778f22b57f2b40d806b39abc8037a SHA512 a66d9d5e3438832179fb1aff18508f8192ee9f761eb9ace87d1d46c75eca5d4bed2ec188d6d77746ce9de684bc530e8b955a75a1501e748ccfe052f58c68c447
-MISC metadata.xml 845 BLAKE2B 8d01442128f49f1c8c0c29cf4469d775936149cdde77d7e96a6825bc631119a4e83932bc67f9e60781128f0c179ef7e622edcc9836d7fb3f4240b356e92caf8b SHA512 8add0a2a70e219d5581ef7fdcd0125ab1375c65d631093df02559e462974b07cef0bf1fe75919707be026b91e77131b24d3b197a5c332961c6a573ddf899c939
diff --git a/sci-mathematics/mathlib-tools/files/mathlib-tools-1.3.2-pull-131.patch b/sci-mathematics/mathlib-tools/files/mathlib-tools-1.3.2-pull-131.patch
deleted file mode 100644
index 2debd3d6b396..000000000000
--- a/sci-mathematics/mathlib-tools/files/mathlib-tools-1.3.2-pull-131.patch
+++ /dev/null
@@ -1,84 +0,0 @@
---- a/mathlibtools/lib.py
-+++ b/mathlibtools/lib.py
-@@ -21,7 +21,8 @@
- 
- import requests
- from tqdm import tqdm # type: ignore
--import toml
-+import tomli
-+import tomli_w
- import yaml
- from git import (Repo, Commit, InvalidGitRepositoryError,  # type: ignore
-                  GitCommandError, BadName, RemoteReference) # type: ignore
-@@ -84,7 +85,7 @@ def mathlib_lean_version() -> VersionTuple:
-     """Return the latest Lean release supported by mathlib"""
-     resp = requests.get("https://raw.githubusercontent.com/leanprover-community/mathlib/master/leanpkg.toml")
-     assert resp.status_code == 200
--    conf = toml.loads(resp.text)
-+    conf = tomli.loads(resp.text)
-     return parse_version(conf['package']['lean_version'])
- 
- def set_download_url(url: str = AZURE_URL) -> None:
-@@ -441,7 +442,8 @@ def from_path(cls, path: Path, cache_url: str = '',
-             except ValueError:
-                 rev = ''
-         directory = find_root(path)
--        config = toml.load(directory/'leanpkg.toml')
-+        with (directory/'leanpkg.toml').open('rb') as pkgtoml:
-+            config = tomli.load(pkgtoml)
- 
-         return cls(repo, is_dirty, rev, directory,
-                    config['package'], config['dependencies'],
-@@ -456,7 +458,8 @@ def user_wide(cls, cache_url: str = '',
-         version of Lean supported by mathlib."""
-         directory = Path.home()/'.lean'
-         try:
--            config = toml.load(directory/'leanpkg.toml')
-+            with (directory/'leanpkg.toml').open('rb') as pkgtoml:
-+                config = tomli.load(pkgtoml)
-         except FileNotFoundError:
-             directory.mkdir(exist_ok=True)
-             version = mathlib_lean_version()
-@@ -469,8 +472,8 @@ def user_wide(cls, cache_url: str = '',
-             pkg = { 'name': '_user_local_packages',
-                     'version': '1',
-                     'lean_version': version_str }
--            with (directory/'leanpkg.toml').open('w') as pkgtoml:
--                toml.dump({'package': pkg}, pkgtoml)
-+            with (directory/'leanpkg.toml').open('wb') as pkgtoml:
-+                tomli_w.dump({'package': pkg}, pkgtoml)
-             config = { 'package': pkg, 'dependencies': dict() }
- 
-         return cls(None, False, '', directory,
-@@ -534,7 +537,8 @@ def mathlib_repo(self) -> Repo:
- 
-     def read_config(self) -> None:
-         try:
--            config = toml.load(self.directory/'leanpkg.toml')
-+            with (self.directory/'leanpkg.toml').open('rb') as pkgtoml:
-+                config = tomli.load(pkgtoml)
-         except FileNotFoundError:
-             raise InvalidLeanProject('Missing leanpkg.toml')
- 
-@@ -551,7 +555,7 @@ def write_config(self) -> None:
-         # for dependencies.
-         with (self.directory/'leanpkg.toml').open('w') as cfg:
-             cfg.write('[package]\n')
--            cfg.write(toml.dumps(self.pkg_config))
-+            cfg.write(tomli_w.dumps(self.pkg_config))
-             cfg.write('\n[dependencies]\n')
-             for dep, val in self.deps.items():
-                 nval = str(val).replace("'git':", 'git =').replace(
-
---- a/setup.py
-+++ b/setup.py
-@@ -28,7 +28,7 @@
-         "License :: OSI Approved :: Apache Software License",
-         "Operating System :: OS Independent" ],
-     python_requires='>=3.6',
--    install_requires=['toml>=0.10.0', 'PyGithub', 'certifi', 'gitpython>=2.1.11', 'requests',
-+    install_requires=['tomli', 'tomli-w', 'PyGithub', 'certifi', 'gitpython>=2.1.11', 'requests',
-                       'Click', 'tqdm', 'networkx', 'pydot',
-                       'PyYAML>=3.13', 'atomicwrites', "dataclasses; python_version=='3.6'"]
- )
-
diff --git a/sci-mathematics/mathlib-tools/mathlib-tools-1.3.2_p1.ebuild b/sci-mathematics/mathlib-tools/mathlib-tools-1.3.2_p1.ebuild
deleted file mode 100644
index 80869ab68400..000000000000
--- a/sci-mathematics/mathlib-tools/mathlib-tools-1.3.2_p1.ebuild
+++ /dev/null
@@ -1,56 +0,0 @@
-# Copyright 1999-2024 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=8
-
-DISTUTILS_USE_PEP517=setuptools
-PYTHON_COMPAT=( python3_{10..12} )
-
-inherit distutils-r1
-
-DESCRIPTION="Development tools for Lean's mathlib"
-HOMEPAGE="https://github.com/leanprover-community/mathlib-tools"
-
-if [[ ${PV} == *9999* ]] ; then
-	inherit git-r3
-	EGIT_REPO_URI="https://github.com/leanprover-community/${PN}.git"
-else
-	_PV=${PV/_p1/}
-	SRC_URI="https://github.com/leanprover-community/${PN}/archive/v${_PV}.tar.gz
-		-> ${P}.gh.tar.gz"
-	S="${WORKDIR}"/${PN}-${_PV}
-	KEYWORDS="~amd64 ~x86"
-fi
-
-LICENSE="Apache-2.0"
-SLOT="0"
-
-BDEPEND="
-	>=dev-python/gitpython-2.1.11[${PYTHON_USEDEP}]
-	dev-python/pygithub[${PYTHON_USEDEP}]
-	dev-python/atomicwrites[${PYTHON_USEDEP}]
-	dev-python/certifi[${PYTHON_USEDEP}]
-	dev-python/click[${PYTHON_USEDEP}]
-	dev-python/networkx[${PYTHON_USEDEP}]
-	dev-python/pydot[${PYTHON_USEDEP}]
-	dev-python/pyyaml[${PYTHON_USEDEP}]
-	dev-python/requests[${PYTHON_USEDEP}]
-	dev-python/tomli-w[${PYTHON_USEDEP}]
-	dev-python/tomli[${PYTHON_USEDEP}]
-	dev-python/tqdm[${PYTHON_USEDEP}]
-"
-RDEPEND="
-	${BDEPEND}
-	sci-mathematics/lean:0/3
-"
-
-PATCHES=( "${FILESDIR}"/${PN}-1.3.2-pull-131.patch )
-
-distutils_enable_tests pytest
-
-src_prepare() {
-	# Remove problematic tests (mainly issues with network)
-	rm ./tests/test_functional.py || die
-
-	distutils-r1_python_prepare_all
-}
diff --git a/sci-mathematics/mathlib-tools/metadata.xml b/sci-mathematics/mathlib-tools/metadata.xml
deleted file mode 100644
index c2598dacd8a7..000000000000
--- a/sci-mathematics/mathlib-tools/metadata.xml
+++ /dev/null
@@ -1,20 +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>
-    This package contains leanproject, a supporting tool for Lean mathlib.
-    More info:
-    - https://leanprover-community.github.io/toolchain.html#handling-dependencies
-    - https://leanprover-community.github.io/leanproject.html
-  </longdescription>
-  <upstream>
-    <changelog>https://github.com/leanprover-community/mathlib-tools/blob/master/CHANGELOG.md</changelog>
-    <bugs-to>https://github.com/leanprover-community/mathlib-tools/issues</bugs-to>
-    <remote-id type="github">leanprover-community/mathlib-tools</remote-id>
-  </upstream>
-</pkgmetadata>