commit:     ef1de6082e489ad3525eb4454c9de3543d4dc6f9
Author:     Alfredo Tupone <tupone <AT> gentoo <DOT> org>
AuthorDate: Tue Nov 25 19:03:56 2025 +0000
Commit:     Alfredo Tupone <tupone <AT> gentoo <DOT> org>
CommitDate: Tue Nov 25 19:03:56 2025 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=ef1de608

dev-ml/core: drop 0.15.0

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

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

diff --git a/dev-ml/core/Manifest b/dev-ml/core/Manifest
index 2f20be157ef5..536199224021 100644
--- a/dev-ml/core/Manifest
+++ b/dev-ml/core/Manifest
@@ -1,4 +1,3 @@
-DIST core-0.15.0.tar.gz 522984 BLAKE2B 
b6fdc9d7fe133c504f89ba492e63d090e2ca4e413e96eb8c216213ea358d84ae89ef1d372525b53f701e8076e4e0670ea3535f399f3f735b3b7da383901def09
 SHA512 
a73a3c1c6f0ade9a9e49917bb896e62afc4fda44dd90ffa99ef9ba24debe7166b4fe1b374500a044cad8318d12f250de7fe2dd935015efde379cf91a2241f51b
 DIST core-0.15.1.tar.gz 522517 BLAKE2B 
1dc1245708f392161ce04ab121dfff550f13a8aa75b967bc3c32f474641b455355bbeb63ef1c7492947f46c3391cd877b96a8e35c083d0406135e840647715b2
 SHA512 
2c04fdd989d016faaa2dee4b13372d3e228f0011151ae5f747c1eb6206820a61779a87eb7e2ecc6e1ddf77872a69a07636a93d24df61b4a2ba2a1b745f499b16
 DIST core-0.16.1.tar.gz 542242 BLAKE2B 
ad0b3c1b55b960f040dc0ed82a2c3c19447dfe635d2d25adab63a0ea529867cd6692fe258af3c5896ea63b5438f96b75007b4e2e5ea1d34b3c13936a7b369aeb
 SHA512 
5f9f4400b6e42b74ffd57223cb67884368d324739565bbb20162547ede8bd6d0ece3cc265503b674829f9cf373784e8036d4c73e26e9196aa5446de69b63e181
 DIST core-0.17.1.tar.gz 631656 BLAKE2B 
88a1c7b4c1ce5e8ca9713a1e92e4ea141aab1b5926427e78855f403449e3104052afca6f66a19d8b4a9b6d5dbac510d0844ace7e74ee7a7a5d6b89528412c94f
 SHA512 
61b415f4fb12c78d30649fff1aabe3a475eea926ce6edb7774031f4dc7f37ea51f5d9337ead6ec73cd93da5fd1ed0f2738c210c71ebc8fe9d7f6135a06bd176f

diff --git a/dev-ml/core/core-0.15.0.ebuild b/dev-ml/core/core-0.15.0.ebuild
deleted file mode 100644
index 0540bcd6def8..000000000000
--- a/dev-ml/core/core-0.15.0.ebuild
+++ /dev/null
@@ -1,24 +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's alternative to the standard library"
-HOMEPAGE="https://github.com/janestreet/core";
-SRC_URI="https://github.com/janestreet/${PN}/archive/v${PV}.tar.gz -> 
${P}.tar.gz"
-
-LICENSE="MIT"
-SLOT="0/$(ver_cut 1-2)"
-KEYWORDS="~amd64"
-IUSE="+ocamlopt"
-
-# TODO: Wants quickcheck_deprecated?
-RESTRICT="test"
-
-RDEPEND="
-       dev-ml/base_bigstring:${SLOT}
-       dev-ml/ppx_jane:${SLOT}
-"
-DEPEND="${RDEPEND}"

Reply via email to