From 7b744169f910185aacfd39dbd71d58b58a2e1d2f Mon Sep 17 00:00:00 2001 From: V3n3RiX Date: Wed, 15 Feb 2023 01:59:31 +0000 Subject: gentoo auto-resync : 15:02:2023 - 01:59:31 --- profiles/Manifest.gz | Bin 182448 -> 182452 bytes profiles/package.mask | 5 +++++ 2 files changed, 5 insertions(+) (limited to 'profiles') diff --git a/profiles/Manifest.gz b/profiles/Manifest.gz index dc20a87a1d9b..a7029d539f9d 100644 Binary files a/profiles/Manifest.gz and b/profiles/Manifest.gz differ 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 (2023-02-14) +# Masked for removal in 30 days. +# Not maintained (2020), no rev dep +dev-ml/ppxfind + # Michał Górny (2023-02-14) # Unmaintained and archived. Invalid version number causes total mayhem # when installed alongside new dev-python/packaging. -- cgit v1.2.3