summaryrefslogtreecommitdiff
path: root/dev-ml
diff options
context:
space:
mode:
authorDavid Seifert <soap@gentoo.org>2022-07-24 13:28:13 +0200
committerDavid Seifert <soap@gentoo.org>2022-07-24 13:28:13 +0200
commit39b7791b4bb7537664dad3e399879bf540ddf60c (patch)
treef397f4a453c0940ef00db9b5c710d2fbddbea26c /dev-ml
parentdev-ml/rresult: stabilize 0.6.0 for x86 (diff)
downloadgentoo-39b7791b4bb7537664dad3e399879bf540ddf60c.tar.gz
gentoo-39b7791b4bb7537664dad3e399879bf540ddf60c.tar.bz2
gentoo-39b7791b4bb7537664dad3e399879bf540ddf60c.zip
dev-ml/rresult: drop 0.5.0
Signed-off-by: David Seifert <soap@gentoo.org>
Diffstat (limited to 'dev-ml')
-rw-r--r--dev-ml/rresult/Manifest1
-rw-r--r--dev-ml/rresult/rresult-0.5.0.ebuild24
2 files changed, 0 insertions, 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
-}