dev-ml/ppx_tools_versioned: treeclean

Closes: https://bugs.gentoo.org/767196 Closes: https://bugs.gentoo.org/771756 Signed-off-by: Jakov Smolić <[email protected]>
hanetzer · Nov 14, 2021 · 9ee9e73 · 9ee9e73
1 parent 02678fd
commit 9ee9e73
Show file tree

Hide file tree

Showing 4 changed files with 0 additions and 35 deletions.
diff --git a/dev-ml/ppx_tools_versioned/Manifest b/dev-ml/ppx_tools_versioned/Manifest
diff --git a/dev-ml/ppx_tools_versioned/metadata.xml b/dev-ml/ppx_tools_versioned/metadata.xml
diff --git a/dev-ml/ppx_tools_versioned/ppx_tools_versioned-5.4.0.ebuild b/dev-ml/ppx_tools_versioned/ppx_tools_versioned-5.4.0.ebuild
diff --git a/profiles/package.mask b/profiles/package.mask
@@ -574,7 +574,6 @@ app-text/htmlc
 # Drop broken packages with no reverse dependencies
 # Removal on 2021-11-15. bug #817965, bug #771756, bug #767196
 dev-ml/async_ssl
-dev-ml/ppx_tools_versioned
 
 # Sam James <[email protected]> (2021-10-10)
 # Needs upstream build system fixes (currently in progress).