From 4003c614d3c4b320c45ab1f4b817459d4709443b Mon Sep 17 00:00:00 2001 From: V3n3RiX Date: Fri, 24 Feb 2023 09:47:15 +0000 Subject: gentoo auto-resync : 24:02:2023 - 09:47:15 --- metadata/md5-cache/sci-mathematics/Manifest.gz | Bin 28090 -> 28083 bytes metadata/md5-cache/sci-mathematics/libpoly-0.1.11 | 10 +++++----- .../sci-mathematics/mathlib-tools-1.3.2_p1 | 10 +++++----- 3 files changed, 10 insertions(+), 10 deletions(-) (limited to 'metadata/md5-cache/sci-mathematics') diff --git a/metadata/md5-cache/sci-mathematics/Manifest.gz b/metadata/md5-cache/sci-mathematics/Manifest.gz index 799e8e0d3c7c..f83efdb0ba65 100644 Binary files a/metadata/md5-cache/sci-mathematics/Manifest.gz and b/metadata/md5-cache/sci-mathematics/Manifest.gz differ diff --git a/metadata/md5-cache/sci-mathematics/libpoly-0.1.11 b/metadata/md5-cache/sci-mathematics/libpoly-0.1.11 index 84bb2c83beb3..e8d5647c5af1 100644 --- a/metadata/md5-cache/sci-mathematics/libpoly-0.1.11 +++ b/metadata/md5-cache/sci-mathematics/libpoly-0.1.11 @@ -1,16 +1,16 @@ BDEPEND=dev-util/patchelf >=dev-util/ninja-1.8.2 >=dev-util/cmake-3.20.5 DEFINED_PHASES=compile configure install prepare setup test -DEPEND=dev-libs/gmp:= python? ( python_single_target_python3_9? ( >=dev-lang/python-3.9.16-r1:3.9 ) python_single_target_python3_10? ( >=dev-lang/python-3.10.9-r1:3.10 ) python_single_target_python3_9? ( dev-python/sympy[python_targets_python3_9(-)] ) python_single_target_python3_10? ( dev-python/sympy[python_targets_python3_10(-)] ) ) +DEPEND=dev-libs/gmp:= python? ( python_single_target_python3_9? ( >=dev-lang/python-3.9.16-r1:3.9 ) python_single_target_python3_10? ( >=dev-lang/python-3.10.9-r1:3.10 ) python_single_target_python3_11? ( >=dev-lang/python-3.11.1-r1:3.11 ) python_single_target_python3_9? ( dev-python/sympy[python_targets_python3_9(-)] ) python_single_target_python3_10? ( dev-python/sympy[python_targets_python3_10(-)] ) python_single_target_python3_11? ( dev-python/sympy[python_targets_python3_11(-)] ) ) DESCRIPTION=C library for manipulating polynomials EAPI=8 HOMEPAGE=https://github.com/SRI-CSL/libpoly/ INHERIT=python-single-r1 cmake -IUSE=+python python_single_target_python3_9 python_single_target_python3_10 +IUSE=+python python_single_target_python3_9 python_single_target_python3_10 python_single_target_python3_11 KEYWORDS=~amd64 ~x86 LICENSE=LGPL-3+ -RDEPEND=dev-libs/gmp:= python? ( python_single_target_python3_9? ( >=dev-lang/python-3.9.16-r1:3.9 ) python_single_target_python3_10? ( >=dev-lang/python-3.10.9-r1:3.10 ) python_single_target_python3_9? ( dev-python/sympy[python_targets_python3_9(-)] ) python_single_target_python3_10? ( dev-python/sympy[python_targets_python3_10(-)] ) ) -REQUIRED_USE=python? ( ^^ ( python_single_target_python3_9 python_single_target_python3_10 ) ) +RDEPEND=dev-libs/gmp:= python? ( python_single_target_python3_9? ( >=dev-lang/python-3.9.16-r1:3.9 ) python_single_target_python3_10? ( >=dev-lang/python-3.10.9-r1:3.10 ) python_single_target_python3_11? ( >=dev-lang/python-3.11.1-r1:3.11 ) python_single_target_python3_9? ( dev-python/sympy[python_targets_python3_9(-)] ) python_single_target_python3_10? ( dev-python/sympy[python_targets_python3_10(-)] ) python_single_target_python3_11? ( dev-python/sympy[python_targets_python3_11(-)] ) ) +REQUIRED_USE=python? ( ^^ ( python_single_target_python3_9 python_single_target_python3_10 python_single_target_python3_11 ) ) SLOT=0/0.1.11 SRC_URI=https://github.com/SRI-CSL/libpoly/archive/v0.1.11.tar.gz -> libpoly-0.1.11.tar.gz _eclasses_=cmake 449b4785acace35308fe747fc939bde1 flag-o-matic 69394e25812406faa1f90edaf4969395 multilib 5ca4e49abed8e3a2f7b56920eadee157 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 ninja-utils 38c85b725d0467e51954ea921b6c104b python-single-r1 75118e916668a74c660a13b0ecb22562 python-utils-r1 429bfd4e8d8e39db5385ba5744f30788 toolchain-funcs 6001248ef162a5fa2a21ce132a212f6b xdg-utils ac0e315a3688929e34ac75b139e7349a -_md5_=65af25e04872520948796e28be6d6ab9 +_md5_=bad7171fb79eba78457844ea3710d6cc diff --git a/metadata/md5-cache/sci-mathematics/mathlib-tools-1.3.2_p1 b/metadata/md5-cache/sci-mathematics/mathlib-tools-1.3.2_p1 index a4e1ace0a751..05c26f52e245 100644 --- a/metadata/md5-cache/sci-mathematics/mathlib-tools-1.3.2_p1 +++ b/metadata/md5-cache/sci-mathematics/mathlib-tools-1.3.2_p1 @@ -1,16 +1,16 @@ -BDEPEND=>=dev-python/GitPython-2.1.11[python_targets_python3_10(-)?] dev-python/PyGithub[python_targets_python3_10(-)?] dev-python/atomicwrites[python_targets_python3_10(-)?] dev-python/certifi[python_targets_python3_10(-)?] dev-python/click[python_targets_python3_10(-)?] dev-python/networkx[python_targets_python3_10(-)?] dev-python/pydot[python_targets_python3_10(-)?] dev-python/pyyaml[python_targets_python3_10(-)?] dev-python/requests[python_targets_python3_10(-)?] dev-python/tomli-w[python_targets_python3_10(-)?] dev-python/tomli[python_targets_python3_10(-)?] dev-python/tqdm[python_targets_python3_10(-)?] test? ( >=dev-python/GitPython-2.1.11[python_targets_python3_10(-)?] dev-python/PyGithub[python_targets_python3_10(-)?] dev-python/atomicwrites[python_targets_python3_10(-)?] dev-python/certifi[python_targets_python3_10(-)?] dev-python/click[python_targets_python3_10(-)?] dev-python/networkx[python_targets_python3_10(-)?] dev-python/pydot[python_targets_python3_10(-)?] dev-python/pyyaml[python_targets_python3_10(-)?] dev-python/requests[python_targets_python3_10(-)?] dev-python/tomli-w[python_targets_python3_10(-)?] dev-python/tomli[python_targets_python3_10(-)?] dev-python/tqdm[python_targets_python3_10(-)?] sci-mathematics/lean:0/3 >=dev-python/pytest-7.2.1[python_targets_python3_10(-)?] ) python_targets_python3_10? ( >=dev-lang/python-3.10.9-r1:3.10 ) >=dev-python/gpep517-13[python_targets_python3_10(-)?] || ( >=dev-python/setuptools-67.2.0[python_targets_python3_10(-)?] =dev-python/wheel-0.38.4[python_targets_python3_10(-)?] +BDEPEND=>=dev-python/GitPython-2.1.11[python_targets_python3_10(-)?,python_targets_python3_11(-)?] dev-python/PyGithub[python_targets_python3_10(-)?,python_targets_python3_11(-)?] dev-python/atomicwrites[python_targets_python3_10(-)?,python_targets_python3_11(-)?] dev-python/certifi[python_targets_python3_10(-)?,python_targets_python3_11(-)?] dev-python/click[python_targets_python3_10(-)?,python_targets_python3_11(-)?] dev-python/networkx[python_targets_python3_10(-)?,python_targets_python3_11(-)?] dev-python/pydot[python_targets_python3_10(-)?,python_targets_python3_11(-)?] dev-python/pyyaml[python_targets_python3_10(-)?,python_targets_python3_11(-)?] dev-python/requests[python_targets_python3_10(-)?,python_targets_python3_11(-)?] dev-python/tomli-w[python_targets_python3_10(-)?,python_targets_python3_11(-)?] dev-python/tomli[python_targets_python3_10(-)?,python_targets_python3_11(-)?] dev-python/tqdm[python_targets_python3_10(-)?,python_targets_python3_11(-)?] test? ( >=dev-python/GitPython-2.1.11[python_targets_python3_10(-)?,python_targets_python3_11(-)?] dev-python/PyGithub[python_targets_python3_10(-)?,python_targets_python3_11(-)?] dev-python/atomicwrites[python_targets_python3_10(-)?,python_targets_python3_11(-)?] dev-python/certifi[python_targets_python3_10(-)?,python_targets_python3_11(-)?] dev-python/click[python_targets_python3_10(-)?,python_targets_python3_11(-)?] dev-python/networkx[python_targets_python3_10(-)?,python_targets_python3_11(-)?] dev-python/pydot[python_targets_python3_10(-)?,python_targets_python3_11(-)?] dev-python/pyyaml[python_targets_python3_10(-)?,python_targets_python3_11(-)?] dev-python/requests[python_targets_python3_10(-)?,python_targets_python3_11(-)?] dev-python/tomli-w[python_targets_python3_10(-)?,python_targets_python3_11(-)?] dev-python/tomli[python_targets_python3_10(-)?,python_targets_python3_11(-)?] dev-python/tqdm[python_targets_python3_10(-)?,python_targets_python3_11(-)?] sci-mathematics/lean:0/3 >=dev-python/pytest-7.2.1[python_targets_python3_10(-)?,python_targets_python3_11(-)?] ) python_targets_python3_10? ( >=dev-lang/python-3.10.9-r1:3.10 ) python_targets_python3_11? ( >=dev-lang/python-3.11.1-r1:3.11 ) >=dev-python/gpep517-13[python_targets_python3_10(-)?,python_targets_python3_11(-)?] || ( >=dev-python/setuptools-67.2.0[python_targets_python3_10(-)?,python_targets_python3_11(-)?] =dev-python/wheel-0.38.4[python_targets_python3_10(-)?,python_targets_python3_11(-)?] DEFINED_PHASES=compile configure install prepare test DESCRIPTION=Development tools for Lean's mathlib EAPI=8 HOMEPAGE=https://github.com/leanprover-community/mathlib-tools INHERIT=distutils-r1 -IUSE=test python_targets_python3_10 +IUSE=test python_targets_python3_10 python_targets_python3_11 KEYWORDS=~amd64 ~x86 LICENSE=Apache-2.0 -RDEPEND=>=dev-python/GitPython-2.1.11[python_targets_python3_10(-)?] dev-python/PyGithub[python_targets_python3_10(-)?] dev-python/atomicwrites[python_targets_python3_10(-)?] dev-python/certifi[python_targets_python3_10(-)?] dev-python/click[python_targets_python3_10(-)?] dev-python/networkx[python_targets_python3_10(-)?] dev-python/pydot[python_targets_python3_10(-)?] dev-python/pyyaml[python_targets_python3_10(-)?] dev-python/requests[python_targets_python3_10(-)?] dev-python/tomli-w[python_targets_python3_10(-)?] dev-python/tomli[python_targets_python3_10(-)?] dev-python/tqdm[python_targets_python3_10(-)?] sci-mathematics/lean:0/3 python_targets_python3_10? ( >=dev-lang/python-3.10.9-r1:3.10 ) -REQUIRED_USE=|| ( python_targets_python3_10 ) +RDEPEND=>=dev-python/GitPython-2.1.11[python_targets_python3_10(-)?,python_targets_python3_11(-)?] dev-python/PyGithub[python_targets_python3_10(-)?,python_targets_python3_11(-)?] dev-python/atomicwrites[python_targets_python3_10(-)?,python_targets_python3_11(-)?] dev-python/certifi[python_targets_python3_10(-)?,python_targets_python3_11(-)?] dev-python/click[python_targets_python3_10(-)?,python_targets_python3_11(-)?] dev-python/networkx[python_targets_python3_10(-)?,python_targets_python3_11(-)?] dev-python/pydot[python_targets_python3_10(-)?,python_targets_python3_11(-)?] dev-python/pyyaml[python_targets_python3_10(-)?,python_targets_python3_11(-)?] dev-python/requests[python_targets_python3_10(-)?,python_targets_python3_11(-)?] dev-python/tomli-w[python_targets_python3_10(-)?,python_targets_python3_11(-)?] dev-python/tomli[python_targets_python3_10(-)?,python_targets_python3_11(-)?] dev-python/tqdm[python_targets_python3_10(-)?,python_targets_python3_11(-)?] sci-mathematics/lean:0/3 python_targets_python3_10? ( >=dev-lang/python-3.10.9-r1:3.10 ) python_targets_python3_11? ( >=dev-lang/python-3.11.1-r1:3.11 ) +REQUIRED_USE=|| ( python_targets_python3_10 python_targets_python3_11 ) RESTRICT=!test? ( test ) SLOT=0 SRC_URI=https://github.com/leanprover-community/mathlib-tools/archive/v1.3.2.tar.gz -> mathlib-tools-1.3.2_p1.gh.tar.gz _eclasses_=distutils-r1 a9f2e2ae24bd496873c092a94cae1539 multibuild bddcb51b74f4a76724ff7cf8e7388869 multilib 5ca4e49abed8e3a2f7b56920eadee157 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 ninja-utils 38c85b725d0467e51954ea921b6c104b out-of-source-utils 1a9007554652a6e627edbccb3c25a439 python-r1 666be58f658d6b32affe30f80e39a49e python-utils-r1 429bfd4e8d8e39db5385ba5744f30788 toolchain-funcs 6001248ef162a5fa2a21ce132a212f6b -_md5_=2335105de97183ce7b2e34942c4a5df6 +_md5_=19470eaa26c120c522e8e3b4b0be30ae -- cgit v1.2.3