summaryrefslogtreecommitdiff
path: root/dev-ml
diff options
context:
space:
mode:
authorAlfredo Tupone <tupone@gentoo.org>2025-11-26 20:44:48 +0100
committerAlfredo Tupone <tupone@gentoo.org>2025-11-26 20:44:48 +0100
commit6d8f1cdbf0335a808f8ed4184423436de0915b0c (patch)
treebf8497c4308a93393ebbb974ca9b5355cfbcc4b7 /dev-ml
parent52e5a0d276950d59140af499f6ec4fe0b6ad7ce7 (diff)
downloadgentoo-6d8f1cdbf0335a808f8ed4184423436de0915b0c.tar.gz
gentoo-6d8f1cdbf0335a808f8ed4184423436de0915b0c.tar.bz2
gentoo-6d8f1cdbf0335a808f8ed4184423436de0915b0c.zip
dev-ml/variantslib: drop 0.15.0
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Diffstat (limited to 'dev-ml')
-rw-r--r--dev-ml/variantslib/Manifest1
-rw-r--r--dev-ml/variantslib/variantslib-0.15.0.ebuild18
2 files changed, 0 insertions, 19 deletions
diff --git a/dev-ml/variantslib/Manifest b/dev-ml/variantslib/Manifest
index 9a21077d3deb..72a50c04a21a 100644
--- a/dev-ml/variantslib/Manifest
+++ b/dev-ml/variantslib/Manifest
@@ -1,3 +1,2 @@
-DIST variantslib-0.15.0.tar.gz 2948 BLAKE2B a85fea8d994a8488b1aa6a64826bacc4b2d38987664f33d78e27e46a308376092d9af2b931782dba222d12a8f17edd99287faa903a1e0865acf5093613c175bf SHA512 cf52e19fb16f2021e06ce92799275717401f4959f89f0219c62df1386c036cbaaa1213eed1b80f9e4147681e613bffc5ca8d50987ca45aac791fe3c723e3d692
DIST variantslib-0.16.0.tar.gz 2982 BLAKE2B 201c96a87391930292df170e7fc6d6e113e8cb652e20acc341dad4a3608849ec60827497905efdbfa8cd86d783681236ddbc3ef73e67d019a244c13802073af4 SHA512 c20cedbf6599b66028d77a5ce0d54a8fa1d2b8302344a434f9714ebd4714b159df143966bc480852e8ac54b44bd59f66646ba614419ea7cffa6710228e7a6fd6
DIST variantslib-0.17.0.tar.gz 3014 BLAKE2B 33bd75495e23aa0d1f07a35e4a5de37e9485c3ceb00196e3884d7e93baca1588198f8f886ee5407632ccafda1aaa1ed1def05422a58cb6e66e7a31b0518a164d SHA512 16a73b8d497f0143d28a2bd4ec435e8c0ac16e7cdfe738c394430aeba3d3a0f01ce46bc9e899686bbff98124000dcf4e410aee65f112005e3048e8303dda5b65
diff --git a/dev-ml/variantslib/variantslib-0.15.0.ebuild b/dev-ml/variantslib/variantslib-0.15.0.ebuild
deleted file mode 100644
index 6d66492a5164..000000000000
--- a/dev-ml/variantslib/variantslib-0.15.0.ebuild
+++ /dev/null
@@ -1,18 +0,0 @@
-# Copyright 1999-2023 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=8
-
-inherit dune
-
-DESCRIPTION="OCaml variants as first class values"
-HOMEPAGE="https://github.com/janestreet/variantslib"
-SRC_URI="https://github.com/janestreet/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.gz"
-
-LICENSE="Apache-2.0"
-SLOT="0/$(ver_cut 1-2)"
-KEYWORDS="amd64 arm arm64 ~ppc ppc64 ~riscv x86"
-IUSE="+ocamlopt"
-
-RDEPEND="dev-ml/base:${SLOT}"
-DEPEND="${RDEPEND}"