diff options
| author | Alfredo Tupone <tupone@gentoo.org> | 2025-11-26 19:40:54 +0100 |
|---|---|---|
| committer | Alfredo Tupone <tupone@gentoo.org> | 2025-11-26 19:40:54 +0100 |
| commit | 10d2dac7674faa250ef19c8725b2e70cc726b3f8 (patch) | |
| tree | d31a67b7f3c79a68b9ce20198392bf430e769fdb /dev-ml | |
| parent | 24192060d67298cd39afe7d0e7010af73fa95e04 (diff) | |
| download | gentoo-10d2dac7674faa250ef19c8725b2e70cc726b3f8.tar.gz gentoo-10d2dac7674faa250ef19c8725b2e70cc726b3f8.tar.bz2 gentoo-10d2dac7674faa250ef19c8725b2e70cc726b3f8.zip | |
dev-ml/ppx_jane: drop 0.15.0
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Diffstat (limited to 'dev-ml')
| -rw-r--r-- | dev-ml/ppx_jane/Manifest | 1 | ||||
| -rw-r--r-- | dev-ml/ppx_jane/ppx_jane-0.15.0.ebuild | 32 |
2 files changed, 0 insertions, 33 deletions
diff --git a/dev-ml/ppx_jane/Manifest b/dev-ml/ppx_jane/Manifest index 6511ce6443de..122cba443cf9 100644 --- a/dev-ml/ppx_jane/Manifest +++ b/dev-ml/ppx_jane/Manifest @@ -1,3 +1,2 @@ -DIST ppx_jane-0.15.0.tar.gz 4647 BLAKE2B c8916e7327301a2dc54b36cc29ad61f3ef016aac2f07dd8c1421a84b144b406e9b189e229680f700efaf2138c508f30e0d132dcf726165ac60ad3120f67549d7 SHA512 e594a0caea66e0f976615b2a1db50aad89389888678d9ec7c023b2adb3211817a841a5065de9a65956bde0cb6088ce1b0b3afed6b57b618b9b50e5c07684e3fa DIST ppx_jane-0.16.0.tar.gz 4688 BLAKE2B 46d2b4c6c7924fc6ff2bf4cae2171dd022a1ef51d8354c5393884a121cbeda001157650843c4409a22491a16445d36e374fe159cb826839e2b2a6950c0606d2c SHA512 8bb5997eb33a2f8ef7ec88d5a31c03828cc6f7070641463ad5af318b865fe8638b1affa359db07e8880364598b43ad19621882cf4c3311e38cf0638a59271652 DIST ppx_jane-0.17.0.tar.gz 4497 BLAKE2B cfa5f81e444fa98f89ed1c7488db7d91473266326b9820b5c0647f09930dd6694d2d5d0b5e23640ac42a6d7df2902ce748337444c2758fff1b8c8d3a204d1e20 SHA512 5992b017f49b642eee31a7ae921e49d06f0dd88f20062cb8fbdc64910f839a7e86ce9128e9baf48a5fb9e3bc2c0fb044434a5a532bf7d7afbc41687f320c6b23 diff --git a/dev-ml/ppx_jane/ppx_jane-0.15.0.ebuild b/dev-ml/ppx_jane/ppx_jane-0.15.0.ebuild deleted file mode 100644 index d5b0685ff32e..000000000000 --- a/dev-ml/ppx_jane/ppx_jane-0.15.0.ebuild +++ /dev/null @@ -1,32 +0,0 @@ -# Copyright 1999-2023 Gentoo Authors -# Distributed under the terms of the GNU General Public License v2 - -EAPI=8 - -inherit dune - -DESCRIPTION="Standard Jane Street ppx rewriters" -HOMEPAGE="https://github.com/janestreet/ppx_jane" -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 arm arm64 ~ppc ~ppc64 ~riscv x86" -IUSE="+ocamlopt" - -DEPEND=" - dev-ml/base_quickcheck:${SLOT} - dev-ml/ppx_bin_prot:${SLOT} - dev-ml/ppx_disable_unused_warnings:${SLOT} - dev-ml/ppx_expect:${SLOT} - dev-ml/ppx_fixed_literal:${SLOT} - dev-ml/ppx_ignore_instrumentation:${SLOT} - dev-ml/ppx_log:${SLOT} - dev-ml/ppx_module_timer:${SLOT} - dev-ml/ppx_optional:${SLOT} - dev-ml/ppx_pipebang:${SLOT} - dev-ml/ppx_stable:${SLOT} - dev-ml/ppx_string:${SLOT} - dev-ml/ppx_typerep_conv:${SLOT} -" -RDEPEND="${DEPEND}" |