diff options
Diffstat (limited to 'profiles')
| -rw-r--r-- | profiles/Manifest.gz | bin | 182103 -> 182105 bytes | |||
| -rw-r--r-- | profiles/package.mask | 7 | ||||
| -rw-r--r-- | profiles/use.local.desc | 1 |
3 files changed, 2 insertions, 6 deletions
diff --git a/profiles/Manifest.gz b/profiles/Manifest.gz Binary files differindex 5d739aec37d5..02a0ef20c9e1 100644 --- a/profiles/Manifest.gz +++ b/profiles/Manifest.gz diff --git a/profiles/package.mask b/profiles/package.mask index 0f9af71b40d5..88dbb6f6d99c 100644 --- a/profiles/package.mask +++ b/profiles/package.mask @@ -79,7 +79,7 @@ sys-auth/pam_fprint # Sam James <sam@gentoo.org> (2022-12-27) # Obsolete and incompatible with app-alternatives/* (see news item). -# Removal on 2023-01-27. bug #886019 and bug #886021 respectivly. +# Removal on 2023-01-27. bug #886019 and bug #886021 respectively. app-eselect/eselect-awk app-eselect/eselect-sh @@ -1062,11 +1062,6 @@ net-misc/gnome-online-miners =net-misc/asterisk-opus-20* =net-misc/asterisk-g729-20* -# Sam James <sam@gentoo.org> (2022-10-28) -# Please upgrade to >=media-libs/fontconfig-2.14.1-r1 for fixed -# cache dir to avoid sandbox violation errors, bug #878471. -=media-libs/fontconfig-2.14.1 - # John Helmert III <ajak@gentoo.org> (2022-10-16) # <OpenSSL-1.1.1 are EOL and contain known vulnerabilities. Users should # migrate to a newer branch. 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 |