diff --git a/dev-ml/patience_diff/Manifest b/dev-ml/patience_diff/Manifest index c87065f1edc7..6c3149f0035a 100644 --- a/dev-ml/patience_diff/Manifest +++ b/dev-ml/patience_diff/Manifest @@ -1,3 +1,2 @@ -DIST patience_diff-0.15.0.tar.gz 20434 BLAKE2B 52e0f1d3437f97d384224cd06035802376fe2af97c085e183f99934f6f8238270723505cda7c617b7847fa4d5f51abbfaa58cd25aac5f0eeb56b42559e91421a SHA512 d3cbf2b2fb8618cd3342abcb7beea110a93b0e8f6984f3becdf9066c717f6f7832f86a8fb72ac56c587cbd6e5abecf07c0b98d9ec1cb7a40bfb9d4a5b1de12ba DIST patience_diff-0.16.0.tar.gz 22756 BLAKE2B 99f6d72359138732d2c523d0a14811925293e298e9090d276ad3fceda1793fa05f27e01c7c9e0084a1ea41fdb069142a687ddd614850b56f7b8536a0dc3f0649 SHA512 de3726e3d5df3bccb168ed600d3965f69e97eadce27022438660a6ea6ee87075268cc9bf8105ab35a049600408ddc780fd362fed4bbcfa69d36512463e0c37b1 DIST patience_diff-0.17.0.tar.gz 24963 BLAKE2B 2e8e6240d2c5f7abc45dd605bb8bc850ed5fc43dcec5794837ac1973571ab9c3a283603080afb64326a969b470eaf2d5f2fdfdee52db41fa5f1640866b6a74a9 SHA512 e448fb843eb622532de89f964823261e9f9ddb0119ad6a311ac744a21fbfff4b6bc8cc0fae051431aa3a507b39f43f45614dd8d9703e1a693de95e1909a57f13 diff --git a/dev-ml/patience_diff/patience_diff-0.15.0.ebuild b/dev-ml/patience_diff/patience_diff-0.15.0.ebuild deleted file mode 100644 index 2e2bd78185f5..000000000000 --- a/dev-ml/patience_diff/patience_diff-0.15.0.ebuild +++ /dev/null @@ -1,17 +0,0 @@ -# Copyright 1999-2023 Gentoo Authors -# Distributed under the terms of the GNU General Public License v2 - -EAPI=7 - -inherit dune - -DESCRIPTION="Tool and library implementing patience diff" -HOMEPAGE="https://github.com/janestreet/patience_diff" -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 ~riscv" -IUSE="+ocamlopt" - -RDEPEND="dev-ml/core:${SLOT}"