diff options
| author | V3n3RiX <venerix@koprulu.sector> | 2022-12-19 01:47:04 +0000 |
|---|---|---|
| committer | V3n3RiX <venerix@koprulu.sector> | 2022-12-19 01:47:04 +0000 |
| commit | 8bb75334c4b9f91e9f95784e986ed31b4bc11f92 (patch) | |
| tree | 8abc434e6b84ebe89eee2e7ae9687354cdf8d2c8 /profiles | |
| parent | f74222a7b6daa24caf124c66a7ce05c7ea773b08 (diff) | |
gentoo auto-resync : 19:12:2022 - 01:47:04
Diffstat (limited to 'profiles')
| -rw-r--r-- | profiles/Manifest.gz | bin | 165933 -> 165930 bytes | |||
| -rw-r--r-- | profiles/arch/hppa/package.use.stable.mask | 4 | ||||
| -rw-r--r-- | profiles/use.local.desc | 1 |
3 files changed, 5 insertions, 0 deletions
diff --git a/profiles/Manifest.gz b/profiles/Manifest.gz Binary files differindex 081d1bf30213..65fcfa0c8e77 100644 --- a/profiles/Manifest.gz +++ b/profiles/Manifest.gz 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 <arthurzam@gentoo.org> (2022-12-18) +# Unstable test dependencies +dev-util/pkgdev test + # Michał Górny <mgorny@gentoo.org> (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. |