commit: 9e02bae3ea45e1bb49390662dec2be63cb587630 Author: Anna (cybertailor) Vyalkova <cyber+gentoo <AT> sysrq <DOT> in> AuthorDate: Fri May 23 11:43:40 2025 +0000 Commit: Julien Roy <julien <AT> jroy <DOT> ca> 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>[email protected]</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 <[email protected]> (2025-04-21) -# Unmaintained in GURU, no revdeps left. -# Removal on 2025-05-21. -dev-ml/bheap - # Vivian Heisz (demize) <[email protected]> (2025-04-20) # Depends on ~dev-ruby/prawn-2.34.0, which was removed in # ::gentoo, making this unable to build.
