[gentoo-commits] repo/proj/guru:dev commit in: dev-ml/core_unix/

[Alessandro Barbieri]

commit:     9fef65fa6de36eea4e79d431679fb5c9c82084dd
Author:     Alessandro Barbieri <lssndrbarbieri <AT> gmail <DOT> com>
AuthorDate: Wed Apr 27 21:04:00 2022 +0000
Commit:     Alessandro Barbieri <lssndrbarbieri <AT> gmail <DOT> com>
CommitDate: Wed Apr 27 21:04:54 2022 +0000
URL:        https://gitweb.gentoo.org/repo/proj/guru.git/commit/?id=9fef65fa

dev-ml/core_unix: treeclean

Signed-off-by: Alessandro Barbieri <lssndrbarbieri <AT> gmail.com>

 dev-ml/core_unix/Manifest                |  1 -
 dev-ml/core_unix/core_unix-0.14.0.ebuild | 27 ---------------------------
 dev-ml/core_unix/metadata.xml            | 13 -------------
 3 files changed, 41 deletions(-)

diff --git a/dev-ml/core_unix/Manifest b/dev-ml/core_unix/Manifest
deleted file mode 100644
index a9bdefb0f..000000000
--- a/dev-ml/core_unix/Manifest
+++ /dev/null
@@ -1 +0,0 @@
-DIST core_unix-0.14.0.tar.gz 6694 BLAKE2B 6ee13ca55de516962590066b81d5f8bfc058a05d18b26a014decaec92ace7ba699c12a203c0ca4b1381d69f218f3c428eed08df00e25e5b1615e748b30c4d841 SHA512 d020db759cde35c0e9d9919dee2c0ea5bb5b7a5ee75515be922d816f28eb9f74dba37e6e424a636e362eab5120b2c1e672f4e5ba798f2dac7974c0e135f80faf

diff --git a/dev-ml/core_unix/core_unix-0.14.0.ebuild b/dev-ml/core_unix/core_unix-0.14.0.ebuild
deleted file mode 100644
index 15c85fdd5..000000000
--- a/dev-ml/core_unix/core_unix-0.14.0.ebuild
+++ /dev/null
@@ -1,27 +0,0 @@
-# Copyright 1999-2022 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=8
-
-inherit dune
-
-DESCRIPTION="Unix-specific extensions to some of the modules defined in [core] and [core_kernel]"
-HOMEPAGE="
-	https://github.com/janestreet/core_unix
-	https://opam.ocaml.org/packages/core_unix/
-"
-SRC_URI="https://github.com/janestreet/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.gz"
-
-LICENSE="MIT"
-SLOT="0/${PV}"
-KEYWORDS="~amd64"
-IUSE="ocamlopt"
-
-RDEPEND="
-	=dev-ml/core-0.14*:=
-	>=dev-lang/ocaml-4.08.0:=[ocamlopt?]
-"
-DEPEND="
-	${RDEPEND}
-	sys-kernel/linux-headers
-"

diff --git a/dev-ml/core_unix/metadata.xml b/dev-ml/core_unix/metadata.xml
deleted file mode 100644
index 5cee9e0ba..000000000
--- a/dev-ml/core_unix/metadata.xml
+++ /dev/null
@@ -1,13 +0,0 @@
-<?xml version="1.0" encoding="UTF-8"?>
-<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd">
-<pkgmetadata>
-	<maintainer type="person">
-		<email>lssndrbarbieri@×××××.com</email>
-		<name>Alessandro Barbieri</name>
-	</maintainer>
-	<upstream>
-		<doc>https://ocaml.janestreet.com/ocaml-core/latest/doc/core_unix/index.html</doc>
-		<bugs-to>https://github.com/janestreet/core_unix/issues</bugs-to>
-		<remote-id type="github">janestreet/core_unix</remote-id>
-	</upstream>
-</pkgmetadata>