From 77748b6d22063ccd9d752053f6a8339e39c04e9c Mon Sep 17 00:00:00 2001 From: Alfredo Tupone Date: Thu, 27 Nov 2025 20:49:58 +0100 Subject: [PATCH] dev-ml/jane-street-headers: drop 0.15.0-r1 Signed-off-by: Alfredo Tupone --- dev-ml/jane-street-headers/Manifest | 1 - .../jane-street-headers-0.15.0-r1.ebuild | 15 --------------- 2 files changed, 16 deletions(-) delete mode 100644 dev-ml/jane-street-headers/jane-street-headers-0.15.0-r1.ebuild diff --git a/dev-ml/jane-street-headers/Manifest b/dev-ml/jane-street-headers/Manifest index bd5f56f42c4f..b86b5724e009 100644 --- a/dev-ml/jane-street-headers/Manifest +++ b/dev-ml/jane-street-headers/Manifest @@ -1,3 +1,2 @@ -DIST jane-street-headers-0.15.0.tar.gz 4865 BLAKE2B 932468266f6cd56ee2b484c5f4459919b2f0fa659a41d51132c169eda49734e5cc852e6aea5549173df6af603f3118de8bb8362b5d7ca5f27e00999d75eb8fa9 SHA512 83ea5e4cdbae6710c7071325164df06dcb652a69329698c5b0c8832057f4d7325e8a241e5818e78ad2f6b8daeb1d0635528d9bd3b6761c69f8370a7bdb773c1f DIST jane-street-headers-0.16.0.tar.gz 4905 BLAKE2B 33301bd5221fb636a44a3e654ae1511d99645e0dbfea4f9765f5d2febf9cdab03d6a9a15f7cf1733ffa380e7c9fa5743d66487feda0e2e2088d1e748775e607c SHA512 05336733845b442e3594889ac6e8fe7048bb3fc23b5f8a05e48d42db6851e4aac561587a1e73b9d6fb1852b768dd66b949cd220b1a9effe83dd181707ea2ab24 DIST jane-street-headers-0.17.0.tar.gz 4940 BLAKE2B 21a6bd6ad436bac7afa9d051be26841bcef41d17ac88c9cb4d60417f5745130c6c252a6be8f6a38eb58f19f02c951243cfc5c971db67a0e6cba43d587291f0eb SHA512 200fafcbbdb86a5f183b42c7540f334ea77c0f879c793c18166c9c715500d603b22763787d8140cbcbd4eb3c6e0269bf3d3c380db67cf5b19776bd57daf379f1 diff --git a/dev-ml/jane-street-headers/jane-street-headers-0.15.0-r1.ebuild b/dev-ml/jane-street-headers/jane-street-headers-0.15.0-r1.ebuild deleted file mode 100644 index b42981a63c5c..000000000000 --- a/dev-ml/jane-street-headers/jane-street-headers-0.15.0-r1.ebuild +++ /dev/null @@ -1,15 +0,0 @@ -# Copyright 1999-2023 Gentoo Authors -# Distributed under the terms of the GNU General Public License v2 - -EAPI=8 - -inherit dune - -DESCRIPTION="Jane Street header files" -HOMEPAGE="https://github.com/janestreet/jane-street-headers" -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"