diff options
Diffstat (limited to 'profiles')
| -rw-r--r-- | profiles/Manifest.gz | bin | 182768 -> 182769 bytes | |||
| -rw-r--r-- | profiles/package.mask | 6 |
2 files changed, 6 insertions, 0 deletions
diff --git a/profiles/Manifest.gz b/profiles/Manifest.gz Binary files differindex cb6bd5d584e6..e809d1638ce8 100644 --- a/profiles/Manifest.gz +++ b/profiles/Manifest.gz diff --git a/profiles/package.mask b/profiles/package.mask index 7b4beb578e95..af66d414f439 100644 --- a/profiles/package.mask +++ b/profiles/package.mask @@ -33,6 +33,12 @@ #--- END OF EXAMPLES --- +# Michał Górny <mgorny@gentoo.org> (2023-02-25) +# Unmaintained. The Gentoo version is from 2018 and needs bumping. +# It has a build failure reported. +# Removal on 2023-03-27. Bug #649234. +media-gfx/frogr + # Michał Górny <mgorny@gentoo.org> (2023-02-24) # Unmaintained with multiple reported bugs. Last release is a RC # from 2017, upstream recommends using trunk. |