diff options
| author | V3n3RiX <venerix@koprulu.sector> | 2023-02-21 02:22:31 +0000 |
|---|---|---|
| committer | V3n3RiX <venerix@koprulu.sector> | 2023-02-21 02:22:31 +0000 |
| commit | 3b32ae7547d742f6e65770361188670710bec186 (patch) | |
| tree | 51b5a45e8291644df70197de17f086e1640e9c7e /dev-ml/ppx_ignore_instrumentation/ppx_ignore_instrumentation-0.15.0-r1.ebuild | |
| parent | dd03974882f85ca04e35cfbc97f7ff756f5d5c20 (diff) | |
gentoo auto-resync : 21:02:2023 - 02:22:31
Diffstat (limited to 'dev-ml/ppx_ignore_instrumentation/ppx_ignore_instrumentation-0.15.0-r1.ebuild')
| -rw-r--r-- | dev-ml/ppx_ignore_instrumentation/ppx_ignore_instrumentation-0.15.0-r1.ebuild | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/dev-ml/ppx_ignore_instrumentation/ppx_ignore_instrumentation-0.15.0-r1.ebuild b/dev-ml/ppx_ignore_instrumentation/ppx_ignore_instrumentation-0.15.0-r1.ebuild index 61f8d02c1200..e4e8ed1d1d19 100644 --- a/dev-ml/ppx_ignore_instrumentation/ppx_ignore_instrumentation-0.15.0-r1.ebuild +++ b/dev-ml/ppx_ignore_instrumentation/ppx_ignore_instrumentation-0.15.0-r1.ebuild @@ -11,7 +11,7 @@ SRC_URI="https://github.com/janestreet/${PN}/archive/refs/tags/v${PV}.tar.gz LICENSE="MIT" SLOT="0/$(ver_cut 1-2)" -KEYWORDS="~amd64 ~riscv" +KEYWORDS="~amd64 ~riscv ~x86" IUSE="+ocamlopt" DEPEND=">=dev-ml/ppxlib-0.23.0:=" |