commit: 9860e57c04fabbab75fb4d0a0cf1c313fed29b2c Author: Anna (cybertailor) Vyalkova <cyber+gentoo <AT> sysrq <DOT> in> AuthorDate: Fri May 23 11:43:07 2025 +0000 Commit: Julien Roy <julien <AT> jroy <DOT> ca> CommitDate: Fri May 23 11:44:35 2025 +0000 URL: https://gitweb.gentoo.org/repo/proj/guru.git/commit/?id=9860e57c
dev-ml/gmap: treeclean Signed-off-by: Anna (cybertailor) Vyalkova <cyber+gentoo <AT> sysrq.in> dev-ml/gmap/Manifest | 1 - dev-ml/gmap/gmap-0.3.0-r2.ebuild | 27 --------------------------- dev-ml/gmap/metadata.xml | 20 -------------------- profiles/package.mask | 1 - 4 files changed, 49 deletions(-) diff --git a/dev-ml/gmap/Manifest b/dev-ml/gmap/Manifest deleted file mode 100644 index 3b3471bcbb..0000000000 --- a/dev-ml/gmap/Manifest +++ /dev/null @@ -1 +0,0 @@ -DIST gmap-0.3.0.tbz 7553 BLAKE2B a6efc09fbfc6b448ea07466e1ee0f9beecbac3d30b5f996294b06e24bede082c96cba17885dd3a45942c6de49f0d500b8a3c6a4ca4a180abc1970589705a409f SHA512 71616981f5a15d6b2a47e18702083e52e81f6547076085b1489f676f50b0cc47c7c2c4fa19cb581e2878dc3d4f7133d0c50d8b51a8390be0e6e30318907d81d3 diff --git a/dev-ml/gmap/gmap-0.3.0-r2.ebuild b/dev-ml/gmap/gmap-0.3.0-r2.ebuild deleted file mode 100644 index fcab7f3fbd..0000000000 --- a/dev-ml/gmap/gmap-0.3.0-r2.ebuild +++ /dev/null @@ -1,27 +0,0 @@ -# Copyright 2019-2022 Gentoo Authors -# Distributed under the terms of the GNU General Public License v2 - -EAPI=8 - -inherit dune - -DESCRIPTION="Heterogenous Map over a GADT" -HOMEPAGE=" - https://github.com/hannesm/gmap - https://opam.ocaml.org/packages/gmap/ -" -SRC_URI="https://github.com/hannesm/gmap/releases/download/${PV}/${P}.tbz"; - -LICENSE="ISC" -SLOT="0/${PV}" -KEYWORDS="~amd64" -IUSE="ocamlopt test" - -DEPEND=" - test? ( - dev-ml/alcotest - dev-ml/fmt - ) -" - -RESTRICT="!test? ( test )" diff --git a/dev-ml/gmap/metadata.xml b/dev-ml/gmap/metadata.xml deleted file mode 100644 index 39e4e55204..0000000000 --- a/dev-ml/gmap/metadata.xml +++ /dev/null @@ -1,20 +0,0 @@ -<?xml version="1.0" encoding="UTF-8"?> -<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd";> -<pkgmetadata> - <!-- maintainer-needed --> - <longdescription lang="en">Gmap exposes the functor `Make` which takes a key type (a -[GADT](https://en.wikipedia.org/wiki/Generalized_algebraic_data_type) 'a key) -and outputs a type-safe Map where each 'a key is associated with a 'a value. -This removes the need for additional packing. It uses OCaml's stdlib -[Map](http://caml.inria.fr/pub/docs/manual-ocaml/libref/Map.html) data -structure.</longdescription> - <upstream> - <doc>https://hannesm.github.io/gmap/doc</doc> - <bugs-to>https://github.com/hannesm/gmap/issues</bugs-to> - <remote-id type="github">hannesm/gmap</remote-id> - <maintainer> - <name>Hannes Mehnert</name> - <email>[email protected]</email> - </maintainer> - </upstream> -</pkgmetadata> diff --git a/profiles/package.mask b/profiles/package.mask index 43373fa377..34f41968dc 100644 --- a/profiles/package.mask +++ b/profiles/package.mask @@ -85,7 +85,6 @@ dev-util/reflex dev-ml/bheap dev-ml/cdrom dev-ml/domain-name -dev-ml/gmap dev-ml/pecu # Vivian Heisz (demize) <[email protected]> (2025-04-20)
