public inbox for gentoo-commits@lists.gentoo.org
 help / color / mirror / Atom feed
From: "Alessandro Barbieri" <lssndrbarbieri@gmail.com>
To: gentoo-commits@lists.gentoo.org
Subject: [gentoo-commits] repo/proj/guru:dev commit in: dev-ml/core_unix/
Date: Wed, 27 Apr 2022 21:04:56 +0000 (UTC)	[thread overview]
Message-ID: <1651093494.9fef65fa6de36eea4e79d431679fb5c9c82084dd.Alessandro-Barbieri@gentoo> (raw)

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@gmail.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>


             reply	other threads:[~2022-04-27 21:05 UTC|newest]

Thread overview: 2+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2022-04-27 21:04 Alessandro Barbieri [this message]
  -- strict thread matches above, loose matches on Subject: below --
2022-04-21  0:15 [gentoo-commits] repo/proj/guru:dev commit in: dev-ml/core_unix/ Alessandro Barbieri

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=1651093494.9fef65fa6de36eea4e79d431679fb5c9c82084dd.Alessandro-Barbieri@gentoo \
    --to=lssndrbarbieri@gmail.com \
    --cc=gentoo-commits@lists.gentoo.org \
    --cc=gentoo-dev@lists.gentoo.org \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox