diff options
| author | V3n3RiX <venerix@koprulu.sector> | 2023-03-25 12:50:15 +0000 |
|---|---|---|
| committer | V3n3RiX <venerix@koprulu.sector> | 2023-03-25 12:50:15 +0000 |
| commit | 71d582d27eeece574ab3d904aa3fbe7742b0e895 (patch) | |
| tree | a859a9d4a94b41c113fb5bdb5c4ffe261d884970 /dev-ml/ppx_optional | |
| parent | 0b82ae29b3034efe3e7b7f533dbcb76168544c5e (diff) | |
gentoo auto-resync : 25:03:2023 - 12:50:15
Diffstat (limited to 'dev-ml/ppx_optional')
| -rw-r--r-- | dev-ml/ppx_optional/Manifest | 2 | ||||
| -rw-r--r-- | dev-ml/ppx_optional/ppx_optional-0.15.0.ebuild | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/dev-ml/ppx_optional/Manifest b/dev-ml/ppx_optional/Manifest index 303253f3f620..89d9401efa57 100644 --- a/dev-ml/ppx_optional/Manifest +++ b/dev-ml/ppx_optional/Manifest @@ -1,5 +1,5 @@ DIST ppx_optional-0.14.0.tar.gz 6090 BLAKE2B 99c5ed7ab6b6c555477eaf468786cc175ff8c8ac4d0c6abb8110637da57396ed599d5c10bd35f3d5ff27a41b00314ca355596e4158c4d792fcb37d547455b90d SHA512 70ed28a974ea1bbcb3fe2e54911e355da54fafd6dff3e74c471126a824c28e9a180777e96e17c4a7a52be4be507fbbc0fa3e92310346dbaf5ab8711845e92e40 DIST ppx_optional-0.15.0.tar.gz 6090 BLAKE2B 89752ec6175f0334b922689b2f1b47ee078be0eb5f0432b9de18ac966a6e75e4bb36e4f5f4ab4e7be669de5805f2db8e35cf723cbc22e724451d748bf5437553 SHA512 a2cd8390877c9ec256523c796995a5ade2f97f396afe86493ac46ca1bd1fe15264423986f5a27d5b88908b92673305405e508e744335205ff17f6c2b7d7d0809 EBUILD ppx_optional-0.14.0.ebuild 548 BLAKE2B bc3ee17937fa1c3060c0ade1fd1348f69c13d3876bec06d09eadf63c0fccac5fb75cd6e7ae0a6621652de6360ee7cb55ba0a7134322057a11667417302a6cbf2 SHA512 60c61bcc1bfa597276d80b1d4728ee415e035245457d1a1dd3eb7cb197d163d7435070addb019f80744643db680c280354798fe25bb7e65733533b995d935643 -EBUILD ppx_optional-0.15.0.ebuild 520 BLAKE2B 1427d43b0b9cfe34b4c6312a59a67981fbd267b6006ccbc429fb2ed182897f608231d4cd92b2771158f8c45f45c1dddfe7fc9a105479b8af066314abda42747e SHA512 90e3d983d1fc91b8e93665f1d5faa9e4a86bddf08af62394e33f478ed1d7c2217ac055bf65777699d836da4f612e3c3f630bedf75084409056f758e1dc1b6e61 +EBUILD ppx_optional-0.15.0.ebuild 519 BLAKE2B 2a7d8f102aa51812f0dec2fedbc81a036930343a32f4cf7d98234fe41a64e9b30440ee5388d35a4d4ad3d16e76490264877079d26d5a97b912c0a122316019ba SHA512 9fbd8ec41d361ec44bc4caf6f11c9037c11ee67593711cd86170b9eb4e30aa80bc4bf22eb565bc3407ad1d8eeaa8a425ac5c96fdf409b15d534ad8d2973c5d58 MISC metadata.xml 426 BLAKE2B 9fabba8035f75668823c0cc2df9c5c3dc5d6f74ec409c70fc356d396f46845bccc742aa60260dc2b7c743eaa18bb33b741ccee16c322ca7f3fff343701e51936 SHA512 ca968cc640b2486e5ffb67fdb8c3597843c625391456c6b8fc072dc3a28e77f05de2a37df0eeb9680badc4312f7b67f642fe1fe4e8355215fa814e9e715e7898 diff --git a/dev-ml/ppx_optional/ppx_optional-0.15.0.ebuild b/dev-ml/ppx_optional/ppx_optional-0.15.0.ebuild index 272b217308c3..45a5263c405e 100644 --- a/dev-ml/ppx_optional/ppx_optional-0.15.0.ebuild +++ b/dev-ml/ppx_optional/ppx_optional-0.15.0.ebuild @@ -11,7 +11,7 @@ SRC_URI="https://github.com/janestreet/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.g LICENSE="Apache-2.0" SLOT="0/$(ver_cut 1-2)" -KEYWORDS="amd64 arm arm64 ~ppc ppc64 ~riscv ~x86" +KEYWORDS="amd64 arm arm64 ~ppc ppc64 ~riscv x86" IUSE="+ocamlopt" DEPEND=" |