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_optional/
Date: Tue, 15 Apr 2025 18:37:33 +0000 (UTC)	[thread overview]
Message-ID: <1744742006.020cd32029f08397bd9da902e9f66e99a681829f.tupone@gentoo> (raw)

commit:     020cd32029f08397bd9da902e9f66e99a681829f
Author:     Alfredo Tupone <tupone <AT> gentoo <DOT> org>
AuthorDate: Tue Apr 15 09:10:44 2025 +0000
Commit:     Alfredo Tupone <tupone <AT> gentoo <DOT> org>
CommitDate: Tue Apr 15 18:33:26 2025 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=020cd320

dev-ml/ppx_optional: drop 0.14.0

Signed-off-by: Alfredo Tupone <tupone <AT> gentoo.org>

 dev-ml/ppx_optional/Manifest                   |  1 -
 dev-ml/ppx_optional/ppx_optional-0.14.0.ebuild | 24 ------------------------
 2 files changed, 25 deletions(-)

diff --git a/dev-ml/ppx_optional/Manifest b/dev-ml/ppx_optional/Manifest
index 6cd0cff094ff..9f2af6e0ce02 100644
--- a/dev-ml/ppx_optional/Manifest
+++ b/dev-ml/ppx_optional/Manifest
@@ -1,4 +1,3 @@
-DIST ppx_optional-0.14.0.tar.gz 6090 BLAKE2B 99c5ed7ab6b6c555477eaf468786cc175ff8c8ac4d0c6abb8110637da57396ed599d5c10bd35f3d5ff27a41b00314ca355596e4158c4d792fcb37d547455b90d SHA512 70ed28a974ea1bbcb3fe2e54911e355da54fafd6dff3e74c471126a824c28e9a180777e96e17c4a7a52be4be507fbbc0fa3e92310346dbaf5ab8711845e92e40
 DIST ppx_optional-0.15.0.tar.gz 6090 BLAKE2B 89752ec6175f0334b922689b2f1b47ee078be0eb5f0432b9de18ac966a6e75e4bb36e4f5f4ab4e7be669de5805f2db8e35cf723cbc22e724451d748bf5437553 SHA512 a2cd8390877c9ec256523c796995a5ade2f97f396afe86493ac46ca1bd1fe15264423986f5a27d5b88908b92673305405e508e744335205ff17f6c2b7d7d0809
 DIST ppx_optional-0.16.0.tar.gz 8333 BLAKE2B 1e977c8c06a9db1247d17a4795d7cd849ca6280b2a2367de3ffe7071f18a88d2e0afc1dbbed3e8b1a01b454623e730d2b7b8e4d378ed0e55df016ecc36c8a4cc SHA512 07e812d46aef13e835dfc31e4eab17c656ad98e85843337d8f9361038c78bbcfceedaa64774784ffd84cb11e58c142e6c9bfab6d6c31eddf86b0e860f9a315a5
 DIST ppx_optional-0.17.0.tar.gz 10620 BLAKE2B a03d469bf38c0d6fc8ef1a395ae83f16c07b95135f12a6d19c9a88628833f3d38df44746c364f006f75b212c35f70a8b449bc6a16547e26d2627e0e59435fe23 SHA512 62ae21deabfb4f9bc967c1405057277e909a53de8ddcc2a12b0f170ad9abd2bda9c0fd208cf9d0d1ede6186ff8972519ef8b9bab26f10fac26bcc8ba1034d947

diff --git a/dev-ml/ppx_optional/ppx_optional-0.14.0.ebuild b/dev-ml/ppx_optional/ppx_optional-0.14.0.ebuild
deleted file mode 100644
index fde2b028fbcc..000000000000
--- a/dev-ml/ppx_optional/ppx_optional-0.14.0.ebuild
+++ /dev/null
@@ -1,24 +0,0 @@
-# Copyright 1999-2022 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=7
-
-inherit dune
-
-DESCRIPTION="Pattern matching on flat options"
-HOMEPAGE="https://github.com/janestreet/ppx_optional"
-SRC_URI="https://github.com/janestreet/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.gz"
-
-LICENSE="Apache-2.0"
-SLOT="0/${PV}"
-KEYWORDS="amd64 arm arm64 ~ppc ppc64 ~riscv x86"
-IUSE="+ocamlopt"
-
-DEPEND="
-	dev-ml/base:=
-	dev-ml/ppxlib:=
-	dev-ml/ocaml-migrate-parsetree:=
-	dev-ml/result:=
-	dev-ml/sexplib0:=
-"
-RDEPEND="${DEPEND}"


             reply	other threads:[~2025-04-15 18:38 UTC|newest]

Thread overview: 22+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2025-04-15 18:37 Alfredo Tupone [this message]
  -- strict thread matches above, loose matches on Subject: below --
2025-06-03 19:49 [gentoo-commits] repo/gentoo:master commit in: dev-ml/ppx_optional/ Alfredo Tupone
2024-06-12  5:40 Arthur Zamarin
2024-06-02 19:46 Arthur Zamarin
2024-06-02 19:41 Arthur Zamarin
2024-06-02 19:36 Arthur Zamarin
2023-06-30 20:07 Alfredo Tupone
2023-03-25  6:35 Arthur Zamarin
2023-03-24 20:57 Arthur Zamarin
2023-03-24 20:56 Arthur Zamarin
2023-03-24 20:51 Arthur Zamarin
2023-03-16 13:42 Alfredo Tupone
2022-10-19 20:42 Alfredo Tupone
2022-04-25 17:11 Alfredo Tupone
2021-03-07 18:23 Alfredo Tupone
2021-02-11  6:26 Sam James
2021-02-10 18:53 Sam James
2020-10-24  0:38 Sam James
2020-10-17  1:16 Sam James
2020-10-15 12:42 Sam James
2020-10-15  1:19 Sam James
2017-08-15  7:26 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=1744742006.020cd32029f08397bd9da902e9f66e99a681829f.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