dev-ml/bheap: treeclean

Signed-off-by: Anna (cybertailor) Vyalkova <cyber+gentoo@sysrq.in>

dev-ml/bheap/Manifest

@@ -1 +0,0 @@
-DIST bheap-2.0.0.tbz 11665 BLAKE2B adada0855ab24c76c7cd3b652c8e44dbaa6bd33b8063996947cd067dd8b26ffb4b115ea6059303a5dd3e45e70f25457154e9b0d5f34449dc281207b56b65d3bf SHA512 90dcf2b3856b25f8ec7204d3596b64dfc264e9158ea84e8c2f15e3980c45ef888b7a969e613f31a626aebc4c5963a09b4fd3c3b95beba7d3159ff42080193841

dev-ml/bheap/bheap-2.0.0.ebuild

@@ -1,21 +0,0 @@
-# Copyright 1999-2022 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=8
-
-inherit dune
-
-DESCRIPTION="OCaml binary heap implementation by Jean-Christophe Filliatre"
-HOMEPAGE="https://github.com/backtracking/bheap"
-SRC_URI="https://github.com/backtracking/${PN}/releases/download/${PV}/${P}.tbz"
-
-LICENSE="LGPL-2.1-with-linking-exception"
-SLOT="0/${PV}"
-KEYWORDS="~amd64"
-IUSE="ocamlopt test"
-
-DEPEND="
-	test? ( dev-ml/stdlib-shims )
-"
-
-RESTRICT="!test? ( test )"

dev-ml/bheap/metadata.xml

@@ -1,14 +0,0 @@
-<?xml version="1.0" encoding="UTF-8"?>
-<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd">
-<pkgmetadata>
-	<!-- maintainer-needed -->
-	<upstream>
-		<doc>https://backtracking.github.io/bheap</doc>
-		<bugs-to>https://github.com/backtracking/bheap/issues</bugs-to>
-		<remote-id type="github">backtracking/bheap</remote-id>
-		<maintainer>
-			<name>Jean-Christophe Filliâtre</name>
-			<email>Jean-Christophe.Filliatre@lri.fr</email>
-		</maintainer>
-	</upstream>
-</pkgmetadata>

profiles/package.mask

@@ -79,11 +79,6 @@ dev-python/PyQt5-stubs
 # Removal on 2025-05-22.
 dev-util/reflex
 
-# Anna (cybertailor) Vyalkova <cyber+gentoo@sysrq.in> (2025-04-21)
-# Unmaintained in GURU, no revdeps left.
-# Removal on 2025-05-21.
-dev-ml/bheap
-
 # Vivian Heisz (demize) <demize@unstable.systems> (2025-04-20)
 # Depends on ~dev-ruby/prawn-2.34.0, which was removed in
 # ::gentoo, making this unable to build.