diff options
| author | Alfredo Tupone <tupone@gentoo.org> | 2025-11-26 20:10:33 +0100 |
|---|---|---|
| committer | Alfredo Tupone <tupone@gentoo.org> | 2025-11-26 20:10:33 +0100 |
| commit | d17c90043463d66ac4ee4e9b07aa0ed06780a519 (patch) | |
| tree | ea673445194f59f88bbd9a3adc830a477692263d /dev-ml | |
| parent | de12458fadfcb32427626c724a1761ad799bb3f8 (diff) | |
| download | gentoo-d17c90043463d66ac4ee4e9b07aa0ed06780a519.tar.gz gentoo-d17c90043463d66ac4ee4e9b07aa0ed06780a519.tar.bz2 gentoo-d17c90043463d66ac4ee4e9b07aa0ed06780a519.zip | |
dev-ml/ppx_string: drop 0.15.0-r1
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Diffstat (limited to 'dev-ml')
| -rw-r--r-- | dev-ml/ppx_string/Manifest | 1 | ||||
| -rw-r--r-- | dev-ml/ppx_string/ppx_string-0.15.0-r1.ebuild | 22 |
2 files changed, 0 insertions, 23 deletions
diff --git a/dev-ml/ppx_string/Manifest b/dev-ml/ppx_string/Manifest index e123f1dc4253..0b81e0b7f643 100644 --- a/dev-ml/ppx_string/Manifest +++ b/dev-ml/ppx_string/Manifest @@ -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 diff --git a/dev-ml/ppx_string/ppx_string-0.15.0-r1.ebuild b/dev-ml/ppx_string/ppx_string-0.15.0-r1.ebuild deleted file mode 100644 index a53270c1c7e6..000000000000 --- a/dev-ml/ppx_string/ppx_string-0.15.0-r1.ebuild +++ /dev/null @@ -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}" |