diff options
author | V3n3RiX <venerix@koprulu.sector> | 2022-10-13 13:42:21 +0100 |
---|---|---|
committer | V3n3RiX <venerix@koprulu.sector> | 2022-10-13 13:42:21 +0100 |
commit | 22b51dcc430fb550fd692463a56cdcd5b18efd61 (patch) | |
tree | 1155e9ace7a82aac7ede90d7d5c2e79b0ec83918 /profiles | |
parent | 4b91667ebe695e6fdfbef3962d099f17484b8806 (diff) |
gentoo auto-resync : 13:10:2022 - 13:42:21
Diffstat (limited to 'profiles')
-rw-r--r-- | profiles/Manifest.gz | bin | 147351 -> 147354 bytes | |||
-rw-r--r-- | profiles/package.mask | 14 |
2 files changed, 8 insertions, 6 deletions
diff --git a/profiles/Manifest.gz b/profiles/Manifest.gz Binary files differindex d7db4efdb35d..665f4789219f 100644 --- a/profiles/Manifest.gz +++ b/profiles/Manifest.gz diff --git a/profiles/package.mask b/profiles/package.mask index 47b540593a9f..ced1995e0dfd 100644 --- a/profiles/package.mask +++ b/profiles/package.mask @@ -33,6 +33,14 @@ #--- END OF EXAMPLES --- +# Joshua Kinard <kumba@gentoo.org> (2022-10-13) +# Difficult-to-resolve build issues on modern toolchains, +# not publicly maintained, developer contact is difficult, +# and project website has SSL certificate issues. +# Bug #838109. +# Removal on 2022-11-13 +net-misc/spread + # Matt Turner <mattst88@gentoo.org> (2022-10-12) # Unmaintained and archived upstream. Last release in 2017. # Bug #597960. @@ -246,12 +254,6 @@ media-sound/pulseaudio-modules-bt # in 30 days. #870355 x11-themes/e-flat-theme -# Joonas Niilola <juippis@gentoo.org> (2022-09-15) -# Upstream split this font into separate packages: media-fonts/ -# source-code-pro, source-sans, source-serif. The current non-split -# version is broken. Removal in 30 days. #865103 -media-fonts/source-pro - # Mike Gilbert <floppym@gentoo.org> (2022-09-12) # repoman is no longer maintained and has been removed from the portage # git repository. Please use dev-util/pkgcheck and dev-util/pkgdev instead. |