diff options
author | 2024-12-31 11:09:27 +0100 | |
---|---|---|
committer | 2024-12-31 11:26:47 +0100 | |
commit | 2345bfbb1d7635b9f048fe66aec2dd8cd241f4da (patch) | |
tree | 60f13dd3202e0ca6b1afd2806b397ae478117651 /profiles | |
parent | dev-util/usb-robot: treeclean (diff) | |
download | gentoo-2345bfbb1d7635b9f048fe66aec2dd8cd241f4da.tar.gz gentoo-2345bfbb1d7635b9f048fe66aec2dd8cd241f4da.tar.bz2 gentoo-2345bfbb1d7635b9f048fe66aec2dd8cd241f4da.zip |
dev-ml/odoc-parser: treeclean
Signed-off-by: Florian Schmaus <flow@gentoo.org>
Diffstat (limited to 'profiles')
-rw-r--r-- | profiles/package.mask | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/profiles/package.mask b/profiles/package.mask index 500eca3c330c..981db6504f0f 100644 --- a/profiles/package.mask +++ b/profiles/package.mask @@ -188,11 +188,6 @@ app-misc/g15stats dev-libs/libg15 dev-libs/libg15render -# Alfredo Tupone <tupone@gentoo.org> (2024-11-17) -# Included in dev-ml/odoc, the only rdep -# Removal on 2024-12-17. -dev-ml/odoc-parser - # Michael Orlitzky <mjo@gentoo.org> (2024-11-13) # PHP 8.1.x no longer receives bug fixes unless they address security # issues. That means no build fixes, no updates for modern compilers, |