diff options
| author | V3n3RiX <venerix@koprulu.sector> | 2023-01-04 12:06:28 +0000 |
|---|---|---|
| committer | V3n3RiX <venerix@koprulu.sector> | 2023-01-04 12:06:28 +0000 |
| commit | 4551b41523452c0d743a71cca34e4dca2ca7538c (patch) | |
| tree | 2b9ae4a442d7c2810f92833363fd36db073888f0 /profiles/use.local.desc | |
| parent | 27e5574c9ed56a2633e25f7fa8f591554266a1b4 (diff) | |
gentoo auto-resync : 04:01:2023 - 12:06:28
Diffstat (limited to 'profiles/use.local.desc')
| -rw-r--r-- | profiles/use.local.desc | 1 |
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 |