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>[email protected]</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>

Reply via email to