diff options
| -rw-r--r-- | profiles/package.mask | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/profiles/package.mask b/profiles/package.mask index 644499f9f77b..48a082db4702 100644 --- a/profiles/package.mask +++ b/profiles/package.mask @@ -33,6 +33,11 @@ #--- END OF EXAMPLES --- +# Alfredo Tupone <tupone@gentoo.org> (2023-02-22) +# Masked for removal in 30 days. +# Not maintained (2021), no rev dep +dev-python/quex + # Volkmar W. Pogatzki <gentoo@pogatzki.net> (2023-02-20) # Unused Java libraries. Removal on 2023-03-22. dev-java/jboss-modules |