diff options
| author | V3n3RiX <venerix@koprulu.sector> | 2023-02-15 01:59:31 +0000 |
|---|---|---|
| committer | V3n3RiX <venerix@koprulu.sector> | 2023-02-15 01:59:31 +0000 |
| commit | 7b744169f910185aacfd39dbd71d58b58a2e1d2f (patch) | |
| tree | 1a81b82134de57caaca49c598db383ff87721640 /profiles | |
| parent | 330454de22a51b01089472bf131acd28ea0c64ec (diff) | |
gentoo auto-resync : 15:02:2023 - 01:59:31
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. |