Diff ppx_ignore_instrumentation-0.15.0-r1 with a ppx_ignore_instrumentation-0.16.0
/usr/portage/dev-ml/ppx_ignore_instrumentation/ppx_ignore_instrumentation-0.16.0.ebuild 2024-07-02 13:51:44.569851472 +0300 | ||
---|---|---|
1 |
# Copyright 2022-2023 Gentoo Authors |
|
1 |
# Copyright 2022-2024 Gentoo Authors |
|
2 | 2 |
# Distributed under the terms of the GNU General Public License v2 |
3 | 3 | |
4 | 4 |
EAPI=8 |
... | ... | |
11 | 11 | |
12 | 12 |
LICENSE="MIT" |
13 | 13 |
SLOT="0/$(ver_cut 1-2)" |
14 |
KEYWORDS="amd64 arm arm64 ~ppc ~ppc64 ~riscv x86" |
|
14 |
KEYWORDS="amd64 arm arm64 ~ppc ppc64 ~riscv x86" |
|
15 | 15 |
IUSE="+ocamlopt" |
16 | 16 | |
17 |
DEPEND=">=dev-ml/ppxlib-0.23.0:=" |
|
17 |
DEPEND=">=dev-ml/ppxlib-0.28.0:=" |
|
18 | 18 |
RDEPEND="${DEPEND}" |
19 | 19 |
BDEPEND="" |