mirror of
https://github.com/gentoo-mirror/gentoo.git
synced 2025-12-21 21:17:37 -08:00
dev-ml/ppx_string: drop 0.15.0-r1
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
This commit is contained in:
parent
de12458fad
commit
d17c900434
@ -1,3 +1,2 @@
|
||||
DIST ppx_string-0.15.0.tar.gz 6071 BLAKE2B 06e4761732db5aa5ee0214c68ac8ff95a85a38e6d62abaa45cc630d19036b0ed38ec0198a45871068d8bcc4f40176ac072da67e8f339cef3be3d64ace7a22e69 SHA512 bb1819017a6c25d581854e8487a0e5535fe282ec421c91e662c310c0d0aa7704be65484b3f2e721b29409e0eb68f72528e60380e036af066b3b1f1f11ea6cd5e
|
||||
DIST ppx_string-0.16.0.tar.gz 6105 BLAKE2B a23f81846562accd1bed9df7bc491a8b9c94751f8432fc0909106d0dc0160ed848ce5181e67e34273b05a627ef3ada6770c98eafac8d1c790272eaa8d77d9ac5 SHA512 b1310551e1548fee5b99e64635139189139791f2ea2da93a4751b04c78a5519c5f3833c515d93a25e9d7aa23945414cbe690e5cd3f34630cdca4819c3d8ec1bc
|
||||
DIST ppx_string-0.17.0.tar.gz 7812 BLAKE2B 9cce35c53a9b51b20d5ff54b693956d3eaa1c18cae501ccd115de01fba17ff09afa3dff8e571c8bd5148bf2f4cb6c621c575eca09b4a2f879edd49a6b93df952 SHA512 29b6412584af1ca33fb601d4ce9bdaee1d766725e76064acc9334468b07a754b6716700f3abb27d5d3e9de361667e6b6b76cfbd3c94fe74f0b32e22f93e8b263
|
||||
|
||||
@ -1,22 +0,0 @@
|
||||
# Copyright 1999-2023 Gentoo Authors
|
||||
# Distributed under the terms of the GNU General Public License v2
|
||||
|
||||
EAPI=8
|
||||
|
||||
inherit dune
|
||||
|
||||
DESCRIPTION="Ppx extension for string interpolation"
|
||||
HOMEPAGE="https://github.com/janestreet/ppx_string"
|
||||
SRC_URI="https://github.com/janestreet/ppx_string/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"
|
||||
|
||||
DEPEND="
|
||||
dev-ml/ppx_base:${SLOT}
|
||||
dev-ml/stdio:${SLOT}
|
||||
>=dev-ml/ppxlib-0.23.0:=
|
||||
"
|
||||
RDEPEND="${DEPEND}"
|
||||
Loading…
x
Reference in New Issue
Block a user