diff options
author | V3n3RiX <venerix@koprulu.sector> | 2023-08-12 12:07:46 +0100 |
---|---|---|
committer | V3n3RiX <venerix@koprulu.sector> | 2023-08-12 12:07:46 +0100 |
commit | 78f20b3ec2b822f4add309f60998356f403cf879 (patch) | |
tree | d64d76eeca683d899db2d5cee075f319502c6ade /profiles/use.local.desc | |
parent | 6766ae9a4205bc53227127a1dd518ea601246afe (diff) |
gentoo auto-resync : 12:08:2023 - 12:07:45
Diffstat (limited to 'profiles/use.local.desc')
-rw-r--r-- | profiles/use.local.desc | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/profiles/use.local.desc b/profiles/use.local.desc index e1feb2e696e0..0fb531d65405 100644 --- a/profiles/use.local.desc +++ b/profiles/use.local.desc @@ -2650,6 +2650,7 @@ dev-ruby/faraday_middleware:rashify - Include FaradayMiddleware::Rashify dev-ruby/io-event:io-uring - Enable io_uring support, and use io_uring instead of epoll dev-ruby/maruku:highlight - Enable source code highlighting via dev-ruby/syntax dev-ruby/mysql2:mariadb - Use mariadb bindings +dev-ruby/net-ssh:chacha20 - Use dev-ruby/rbnacl for chacha20-poly1305@openssh.com support dev-ruby/net-ssh:ed25519 - Use dev-ruby/ed25519 for Ed25519 support dev-ruby/rrdtool-bindings:graph - Enable support for graphing functions dev-ruby/rspec-core:highlight - Enable source code highlighting via dev-ruby/coderay @@ -7556,6 +7557,7 @@ sci-mathematics/why3-for-spark:hypothesis-selection - Enable hypothesis selectio sci-mathematics/why3-for-spark:sexp - Add support for outputting S-expressions with dev-ml/ppx_sexp_conv 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/wxmaxima:webkit - Use net-libs/webkit-gtk to show help (for maxima and wxmaxima) inside wxmaxima 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. |