[gentoo-commits] repo/proj/guru:dev commit in: dev-ml/bheap/, profiles/

[gentoo-commits] repo/proj/guru:dev commit in: dev-ml/bheap/, profiles/

[Anna Vyalkova]

commit:     9e02bae3ea45e1bb49390662dec2be63cb587630
Author:     Anna (cybertailor) Vyalkova <cyber+gentoo <AT> sysrq <DOT> in>
AuthorDate: Fri May 23 11:43:40 2025 +0000
Commit:     Anna Vyalkova <cyber+gentoo <AT> sysrq <DOT> in>
CommitDate: Fri May 23 11:44:56 2025 +0000
URL:        https://gitweb.gentoo.org/repo/proj/guru.git/commit/?id=9e02bae3

dev-ml/bheap: treeclean

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

 dev-ml/bheap/Manifest           |  1 -
 dev-ml/bheap/bheap-2.0.0.ebuild | 21 ---------------------
 dev-ml/bheap/metadata.xml       | 14 --------------
 profiles/package.mask           |  5 -----
 4 files changed, 41 deletions(-)

diff --git a/dev-ml/bheap/Manifest b/dev-ml/bheap/Manifest
deleted file mode 100644
index b37e41bd14..0000000000
--- a/dev-ml/bheap/Manifest
+++ /dev/null
@@ -1 +0,0 @@
-DIST bheap-2.0.0.tbz 11665 BLAKE2B adada0855ab24c76c7cd3b652c8e44dbaa6bd33b8063996947cd067dd8b26ffb4b115ea6059303a5dd3e45e70f25457154e9b0d5f34449dc281207b56b65d3bf SHA512 90dcf2b3856b25f8ec7204d3596b64dfc264e9158ea84e8c2f15e3980c45ef888b7a969e613f31a626aebc4c5963a09b4fd3c3b95beba7d3159ff42080193841

diff --git a/dev-ml/bheap/bheap-2.0.0.ebuild b/dev-ml/bheap/bheap-2.0.0.ebuild
deleted file mode 100644
index c5481c7241..0000000000
--- a/dev-ml/bheap/bheap-2.0.0.ebuild
+++ /dev/null
@@ -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 )"

diff --git a/dev-ml/bheap/metadata.xml b/dev-ml/bheap/metadata.xml
deleted file mode 100644
index 9c6fcea770..0000000000
--- a/dev-ml/bheap/metadata.xml
+++ /dev/null
@@ -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>

diff --git a/profiles/package.mask b/profiles/package.mask
index 6b5c898e17..e87d223924 100644
--- a/profiles/package.mask
+++ b/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.