From 8bb75334c4b9f91e9f95784e986ed31b4bc11f92 Mon Sep 17 00:00:00 2001 From: V3n3RiX Date: Mon, 19 Dec 2022 01:47:04 +0000 Subject: gentoo auto-resync : 19:12:2022 - 01:47:04 --- profiles/Manifest.gz | Bin 165933 -> 165930 bytes profiles/arch/hppa/package.use.stable.mask | 4 ++++ profiles/use.local.desc | 1 + 3 files changed, 5 insertions(+) (limited to 'profiles') diff --git a/profiles/Manifest.gz b/profiles/Manifest.gz index 081d1bf30213..65fcfa0c8e77 100644 Binary files a/profiles/Manifest.gz and b/profiles/Manifest.gz differ diff --git a/profiles/arch/hppa/package.use.stable.mask b/profiles/arch/hppa/package.use.stable.mask index 90b54e393b45..44ceabea8dea 100644 --- a/profiles/arch/hppa/package.use.stable.mask +++ b/profiles/arch/hppa/package.use.stable.mask @@ -17,6 +17,10 @@ #--- END OF EXAMPLES --- +# Arthur Zamarin (2022-12-18) +# Unstable test dependencies +dev-util/pkgdev test + # Michał Górny (2022-11-06) # Unmask the target on python-exec while it's masked elsewhere. dev-lang/python-exec -python_targets_python3_11 diff --git a/profiles/use.local.desc b/profiles/use.local.desc index 4eb73dbf05ff..c161326caaf2 100644 --- a/profiles/use.local.desc +++ b/profiles/use.local.desc @@ -7670,6 +7670,7 @@ sci-mathematics/why3-for-spark:sexp - Add support for outputting S-expressions w sci-mathematics/why3-for-spark:zarith - Use Zarith (dev-ml/zarith) instead of Nums (dev-ml/num) for computations sci-mathematics/why3-for-spark:zip - Enable compression of session files sci-mathematics/yacas:jupyter - Add support for jupyter notebook +sci-mathematics/yices2:mcsat - Enable support for MCSAT sci-mathematics/z3:isabelle - Add integration support for the Isabelle/HOL theorem prover. sci-misc/boinc:cuda - Use nvidia cuda toolkit for speeding up computations. NOTE: works only for subset of nvidia graphic cards so make sure your card is supported before opening a bug about it. sci-misc/boinc:opencl - Use OpenCL to enable computations using your GPU. -- cgit v1.2.3