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="" |