From 78f20b3ec2b822f4add309f60998356f403cf879 Mon Sep 17 00:00:00 2001 From: V3n3RiX Date: Sat, 12 Aug 2023 12:07:46 +0100 Subject: gentoo auto-resync : 12:08:2023 - 12:07:45 --- profiles/Manifest.gz | Bin 181030 -> 181034 bytes profiles/use.local.desc | 2 ++ 2 files changed, 2 insertions(+) (limited to 'profiles') diff --git a/profiles/Manifest.gz b/profiles/Manifest.gz index 1e4a20ee3b1e..316cf77b5fec 100644 Binary files a/profiles/Manifest.gz and b/profiles/Manifest.gz differ 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. -- cgit v1.2.3