diff options
| author | V3n3RiX <venerix@koprulu.sector> | 2023-02-12 09:56:54 +0000 |
|---|---|---|
| committer | V3n3RiX <venerix@koprulu.sector> | 2023-02-12 09:56:54 +0000 |
| commit | ebc282ef4dfa408accac685565b8ee5f6faec119 (patch) | |
| tree | c0a4f713228cda0ab17eed46f0bb7ca8cb8be2f6 /dev-ml/ppx_ignore_instrumentation | |
| parent | 6c8694a707151d59555b0e4e48235f085ce166c3 (diff) | |
gentoo auto-resync : 12:02:2023 - 09:56:54
Diffstat (limited to 'dev-ml/ppx_ignore_instrumentation')
| -rw-r--r-- | dev-ml/ppx_ignore_instrumentation/Manifest | 2 | ||||
| -rw-r--r-- | dev-ml/ppx_ignore_instrumentation/ppx_ignore_instrumentation-0.15.0-r1.ebuild | 4 |
2 files changed, 3 insertions, 3 deletions
diff --git a/dev-ml/ppx_ignore_instrumentation/Manifest b/dev-ml/ppx_ignore_instrumentation/Manifest index de5b297fd1b4..8964fedfc24a 100644 --- a/dev-ml/ppx_ignore_instrumentation/Manifest +++ b/dev-ml/ppx_ignore_instrumentation/Manifest @@ -1,3 +1,3 @@ DIST ppx_ignore_instrumentation-0.15.0.tar.gz 3679 BLAKE2B 3537d4336a2299e277fcf1e58690233a9e1ecd94c80d144376bef90b45b3c2c94a8eaf5e5ba2b90b12d8f4e3afc257461c4732a2fadba8aa91c7f35ff036fb0f SHA512 ec411cb7a191fcb36f9a29f8ff3839db6f4031e30fa3444896a07235950ca04562a701b3bc7bc5df95e3ff82cfe8996be75bd5dce4bcce8a491898df1bffc50d -EBUILD ppx_ignore_instrumentation-0.15.0-r1.ebuild 492 BLAKE2B 625f403c7b5aca4fcdf403d05947ae402f2ab43893a0b02ee03be2376c7ae93e00bb6e3a729a1a1092fc9513b8c4ec76c1e25a43b558520308fb5809a221f50b SHA512 0c25567334b473a85abbfac101d7f18fa439bb81ce67b489f645093f484cdebdbb1c1ad977adc1f92cf2f92146b647953acb8eeffa363b0f7deede80cd62846c +EBUILD ppx_ignore_instrumentation-0.15.0-r1.ebuild 504 BLAKE2B f90e2edf3f4ce1a5eb3cb98c24cfe24b4fbc7f755324e27428c37858d45c1962845abdb002e141b3f030a3ddc09c2d9bdccbe7db4e6fdb5b3f1b6ffa13eee4e6 SHA512 a9bf6b92d5ecc4c09aa8e07e84217a94104d9c03f65a4020385e3d45ea77fe4e232a931f51ff5f5640db1ed300ae20b00806f66f11f332c89c44874479f7115b MISC metadata.xml 335 BLAKE2B e78fa9416dac3fb12ccd82e965f1c152b7dc905f3f54c6d0c96b14daf9644ab2afe4f307656658049a89c8baacd507bcbd39ac2796648fc5c75d94ff2a5f8d39 SHA512 8c07521b5ed071d427b7cf30e05105be47f0ca857b0443502312d5080c4501612dfdd36f3858e7d6020def0efd9ab2630fbe13ffa0bfa751d557f8695bb48ca2 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 b6a836741e26..61f8d02c1200 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 @@ -1,4 +1,4 @@ -# Copyright 2022 Gentoo Authors +# Copyright 2022-2023 Gentoo Authors # Distributed under the terms of the GNU General Public License v2 EAPI=8 @@ -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" +KEYWORDS="~amd64 ~riscv" IUSE="+ocamlopt" DEPEND=">=dev-ml/ppxlib-0.23.0:=" |