public inbox for gentoo-commits@lists.gentoo.org
 help / color / mirror / Atom feed
From: "Alfredo Tupone" <tupone@gentoo.org>
To: gentoo-commits@lists.gentoo.org
Subject: [gentoo-commits] repo/gentoo:master commit in: dev-ml/ppx_compare/
Date: Sun,  7 Mar 2021 19:55:45 +0000 (UTC)	[thread overview]
Message-ID: <1615146927.c3583fd18e9859669f066a023c3376c27357f1c0.tupone@gentoo> (raw)

commit:     c3583fd18e9859669f066a023c3376c27357f1c0
Author:     Alfredo Tupone <tupone <AT> gentoo <DOT> org>
AuthorDate: Sun Mar  7 19:50:47 2021 +0000
Commit:     Alfredo Tupone <tupone <AT> gentoo <DOT> org>
CommitDate: Sun Mar  7 19:55:27 2021 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=c3583fd1

dev-ml/ppx_compare: rm old version

Package-Manager: Portage-3.0.13, Repoman-3.0.2
Signed-off-by: Alfredo Tupone <tupone <AT> gentoo.org>

 dev-ml/ppx_compare/Manifest                    |  1 -
 dev-ml/ppx_compare/ppx_compare-0.9.0-r1.ebuild | 27 --------------------------
 2 files changed, 28 deletions(-)

diff --git a/dev-ml/ppx_compare/Manifest b/dev-ml/ppx_compare/Manifest
index 22f6d98ca85..1d88ba4dd73 100644
--- a/dev-ml/ppx_compare/Manifest
+++ b/dev-ml/ppx_compare/Manifest
@@ -1,2 +1 @@
 DIST ppx_compare-0.14.0.tar.gz 13614 BLAKE2B 081e91192f987095a773964b56838b05fb18ea23599eeeb28d297ac81ff7439067ffa0941cf4d64921abad68f9dca90560463b9f059f35ed3147333ba697a88c SHA512 be02c8114e0915439c04b3d796029ad124e9a2e637032d6a86a41c03b81985cb0f68f65bc43c1d12221b521f6fa10006a105b3ffe95e991ed9695692fd0763cb
-DIST ppx_compare-0.9.0.tar.gz 11760 BLAKE2B 8db18a56185371e56addddeac4ec94e1260f06edc7dbc835efcf2f6788f42c36746858fd96e7fc94aaaf52b118a95581388276b90d8d489a9f4707af2c157811 SHA512 4f154bb67c2241712986247f8b3ed04b4ba874424171989f0421193a15cea45dedbf1c546408421bf33839ea45b85a45ec1cb43c034373fd80198ddb5d9045fe

diff --git a/dev-ml/ppx_compare/ppx_compare-0.9.0-r1.ebuild b/dev-ml/ppx_compare/ppx_compare-0.9.0-r1.ebuild
deleted file mode 100644
index 078afb1a010..00000000000
--- a/dev-ml/ppx_compare/ppx_compare-0.9.0-r1.ebuild
+++ /dev/null
@@ -1,27 +0,0 @@
-# Copyright 1999-2018 Gentoo Foundation
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=6
-
-inherit opam
-
-DESCRIPTION="Generation of comparison functions from types"
-HOMEPAGE="https://github.com/janestreet/ppx_compare"
-SRC_URI="https://github.com/janestreet/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.gz"
-
-LICENSE="Apache-2.0"
-SLOT="0/${PV}"
-KEYWORDS="~amd64 ~ppc ~x86"
-IUSE=""
-
-DEPEND="
-	dev-ml/ppx_driver:=
-	dev-ml/ppx_type_conv:=
-	dev-ml/ppx_core:=
-	dev-ml/base:=
-	dev-ml/ocaml-migrate-parsetree:=
-	dev-ml/ppx_metaquot:=
-"
-
-RDEPEND="${DEPEND}"
-DEPEND="${DEPEND} dev-ml/jbuilder"


             reply	other threads:[~2021-03-07 19:55 UTC|newest]

Thread overview: 15+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2021-03-07 19:55 Alfredo Tupone [this message]
  -- strict thread matches above, loose matches on Subject: below --
2023-06-30 13:14 [gentoo-commits] repo/gentoo:master commit in: dev-ml/ppx_compare/ Alfredo Tupone
2023-03-25 13:09 Arthur Zamarin
2023-03-25  1:49 Sam James
2023-03-25  1:47 Sam James
2023-03-25  1:43 Sam James
2023-03-16 13:42 Alfredo Tupone
2022-04-24  8:17 Alfredo Tupone
2021-01-24 11:17 Alfredo Tupone
2020-10-16 15:17 Mark Wright
2018-02-14 14:30 Thomas Deutschmann
2017-09-22  8:32 Alexis Ballier
2017-09-10 14:45 Sergei Trofimovich
2017-01-24 11:40 Alexis Ballier
2016-03-22 10:07 Alexis Ballier

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=1615146927.c3583fd18e9859669f066a023c3376c27357f1c0.tupone@gentoo \
    --to=tupone@gentoo.org \
    --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