diff options
Diffstat (limited to 'profiles')
| -rw-r--r-- | profiles/Manifest.gz | bin | 182448 -> 182452 bytes | |||
| -rw-r--r-- | profiles/package.mask | 5 |
2 files changed, 5 insertions, 0 deletions
diff --git a/profiles/Manifest.gz b/profiles/Manifest.gz Binary files differindex dc20a87a1d9b..a7029d539f9d 100644 --- a/profiles/Manifest.gz +++ b/profiles/Manifest.gz diff --git a/profiles/package.mask b/profiles/package.mask index a04da7fa5b5d..18de86e607e1 100644 --- a/profiles/package.mask +++ b/profiles/package.mask @@ -33,6 +33,11 @@ #--- END OF EXAMPLES --- +# Alfredo Tupone <tupone@gentoo.org> (2023-02-14) +# Masked for removal in 30 days. +# Not maintained (2020), no rev dep +dev-ml/ppxfind + # Michał Górny <mgorny@gentoo.org> (2023-02-14) # Unmaintained and archived. Invalid version number causes total mayhem # when installed alongside new dev-python/packaging. |