gentoo-mirror/gentoo
1
0
Fork 0
mirror of https://github.com/gentoo-mirror/gentoo.git synced 2025-12-21 21:17:37 -08:00
Code Issues Projects Releases Wiki Activity

dev-ml/patience_diff: drop 0.15.0

Browse Source 
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
This commit is contained in:
Alfredo Tupone 2025-11-26 19:26:40 +01:00
parent b5c29ac932
commit 04d37b8065
No known key found for this signature in database
GPG Key ID: FBE5925C5B02CE58
2 changed files with 0 additions and 18 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
dev-ml/patience_diff/Manifest
View File

@ -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.16.0.tar.gz 22756 BLAKE2B 99f6d72359138732d2c523d0a14811925293e298e9090d276ad3fceda1793fa05f27e01c7c9e0084a1ea41fdb069142a687ddd614850b56f7b8536a0dc3f0649 SHA512 de3726e3d5df3bccb168ed600d3965f69e97eadce27022438660a6ea6ee87075268cc9bf8105ab35a049600408ddc780fd362fed4bbcfa69d36512463e0c37b1
DIST patience_diff-0.17.0.tar.gz 24963 BLAKE2B 2e8e6240d2c5f7abc45dd605bb8bc850ed5fc43dcec5794837ac1973571ab9c3a283603080afb64326a969b470eaf2d5f2fdfdee52db41fa5f1640866b6a74a9 SHA512 e448fb843eb622532de89f964823261e9f9ddb0119ad6a311ac744a21fbfff4b6bc8cc0fae051431aa3a507b39f43f45614dd8d9703e1a693de95e1909a57f13 DIST patience_diff-0.17.0.tar.gz 24963 BLAKE2B 2e8e6240d2c5f7abc45dd605bb8bc850ed5fc43dcec5794837ac1973571ab9c3a283603080afb64326a969b470eaf2d5f2fdfdee52db41fa5f1640866b6a74a9 SHA512 e448fb843eb622532de89f964823261e9f9ddb0119ad6a311ac744a21fbfff4b6bc8cc0fae051431aa3a507b39f43f45614dd8d9703e1a693de95e1909a57f13

17
dev-ml/patience_diff/patience_diff-0.15.0.ebuild
View File

@ -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}"