summaryrefslogtreecommitdiff
path: root/profiles/use.local.desc
diff options
context:
space:
mode:
authorV3n3RiX <venerix@koprulu.sector>2023-01-04 12:06:28 +0000
committerV3n3RiX <venerix@koprulu.sector>2023-01-04 12:06:28 +0000
commit4551b41523452c0d743a71cca34e4dca2ca7538c (patch)
tree2b9ae4a442d7c2810f92833363fd36db073888f0 /profiles/use.local.desc
parent27e5574c9ed56a2633e25f7fa8f591554266a1b4 (diff)
gentoo auto-resync : 04:01:2023 - 12:06:28
Diffstat (limited to 'profiles/use.local.desc')
-rw-r--r--profiles/use.local.desc1
1 files changed, 1 insertions, 0 deletions
diff --git a/profiles/use.local.desc b/profiles/use.local.desc
index 63a1e815d4a9..bd54253a612d 100644
--- a/profiles/use.local.desc
+++ b/profiles/use.local.desc
@@ -7450,6 +7450,7 @@ sci-mathematics/cvc4:statistics - Include statistics
sci-mathematics/eclib:boost - Add parallel capabilities using dev-libs/boost.
sci-mathematics/eclib:flint - Enable the use of sci-mathematics/flint for certain operations.
sci-mathematics/eclib:minimal - Build only the "mwrank" program.
+sci-mathematics/eprover:ho - enable support for higher-order logic
sci-mathematics/flint:ntl - Build NTL interface
sci-mathematics/form:devref - Build and install developers reference
sci-mathematics/form:doxygen - Build and install API documentation