public inbox for gentoo-commits@lists.gentoo.org
 help / color / mirror / Atom feed
From: "David Seifert" <soap@gentoo.org>
To: gentoo-commits@lists.gentoo.org
Subject: [gentoo-commits] repo/gentoo:master commit in: dev-ml/rresult/
Date: Sun, 24 Jul 2022 11:28:39 +0000 (UTC)	[thread overview]
Message-ID: <1658662093.39b7791b4bb7537664dad3e399879bf540ddf60c.soap@gentoo> (raw)

commit:     39b7791b4bb7537664dad3e399879bf540ddf60c
Author:     David Seifert <soap <AT> gentoo <DOT> org>
AuthorDate: Sun Jul 24 11:28:13 2022 +0000
Commit:     David Seifert <soap <AT> gentoo <DOT> org>
CommitDate: Sun Jul 24 11:28:13 2022 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=39b7791b

dev-ml/rresult: drop 0.5.0

Signed-off-by: David Seifert <soap <AT> gentoo.org>

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

diff --git a/dev-ml/rresult/Manifest b/dev-ml/rresult/Manifest
index b0020a6c01ad..356483263687 100644
--- a/dev-ml/rresult/Manifest
+++ b/dev-ml/rresult/Manifest
@@ -1,3 +1,2 @@
-DIST rresult-0.5.0.tbz 9185 BLAKE2B efe8d248aa3d68b13b011dccb98cb04127dfec9d659dfe8619f658b254cfcdca833e125310553dee54ef4be239c308e762d2290386f4fd08a5f2c1835faa9ef1 SHA512 45787b61adb7daedf72e4ff632cf3d4917bccb3e83613dabf93437982887d9a0ed3b6cbefb2b17cb341a825346cb0609286df581c6ff379583dc83672ee25efc
 DIST rresult-0.6.0.tbz 7731 BLAKE2B d93b4a3fe54541101d52e768555aa306f87d1c34b57c7eb7a92092051a047586c43dded3be9ef0c84675d935c4a91162a8ff612d540f951f2842cfdf9f709f24 SHA512 66cb7acb525c17dde4e7572fa5a0d925466f8e759b90a12d952ca076d25de49404c962e061557f2255112fbf1d731f8da696acd536cbb9433a4b1d9662095c3a
 DIST rresult-0.7.0.tbz 8506 BLAKE2B 0ddb2c2d126e11094d8f92555c6d29fd103cff0393558a9522ad0b58f58159a7eed050976bfeb47969a6c7528c29b8352fa80114ed1684bd5415b2d6b0a30fb1 SHA512 f1bb631c986996388e9686d49d5ae4d8aaf14034f6865c62a88fb58c48ce19ad2eb785327d69ca27c032f835984e0bd2efd969b415438628a31f3e84ec4551d3

diff --git a/dev-ml/rresult/rresult-0.5.0.ebuild b/dev-ml/rresult/rresult-0.5.0.ebuild
deleted file mode 100644
index ab19c850466b..000000000000
--- a/dev-ml/rresult/rresult-0.5.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=6
-
-inherit opam
-
-DESCRIPTION="Result value combinators for OCaml"
-HOMEPAGE="https://erratique.ch/software/rresult https://github.com/dbuenzli/rresult"
-SRC_URI="https://erratique.ch/software/rresult/releases/${P}.tbz"
-
-LICENSE="ISC"
-SLOT="0/${PV}"
-KEYWORDS="amd64 arm arm64 ~ppc ppc64 x86"
-IUSE=""
-
-RDEPEND="dev-ml/result:="
-DEPEND="${RDEPEND}
-	dev-ml/topkg
-	dev-ml/ocamlbuild"
-
-src_compile() {
-	ocaml pkg/pkg.ml build || die
-}


             reply	other threads:[~2022-07-24 11:28 UTC|newest]

Thread overview: 23+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2022-07-24 11:28 David Seifert [this message]
  -- strict thread matches above, loose matches on Subject: below --
2023-03-17 14:11 [gentoo-commits] repo/gentoo:master commit in: dev-ml/rresult/ Sam James
2023-03-16 23:16 Sam James
2023-03-16 23:16 Sam James
2022-07-24 11:28 David Seifert
2022-04-18 21:07 Jakov Smolić
2021-11-03 21:25 Alfredo Tupone
2021-10-14  9:44 Sam James
2021-10-14  3:25 Sam James
2021-10-13 20:37 Sam James
2021-10-11  8:09 Agostino Sarubbo
2021-10-11  6:00 Sam James
2021-10-11  5:45 Sam James
2021-09-07  0:09 Sam James
2021-07-28  2:05 Sam James
2021-07-28  2:05 Sam James
2021-07-28  1:48 Sam James
2021-05-15 19:32 Sam James
2021-05-15  1:55 Sam James
2021-05-10 12:45 Sam James
2021-05-10 12:44 Sam James
2017-08-06 12:30 Alexis Ballier
2017-06-20 21:33 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=1658662093.39b7791b4bb7537664dad3e399879bf540ddf60c.soap@gentoo \
    --to=soap@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