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_log | |
| parent | 6c8694a707151d59555b0e4e48235f085ce166c3 (diff) | |
gentoo auto-resync : 12:02:2023 - 09:56:54
Diffstat (limited to 'dev-ml/ppx_log')
| -rw-r--r-- | dev-ml/ppx_log/Manifest | 2 | ||||
| -rw-r--r-- | dev-ml/ppx_log/ppx_log-0.15.0-r1.ebuild (renamed from dev-ml/ppx_log/ppx_log-0.15.0.ebuild) | 5 |
2 files changed, 4 insertions, 3 deletions
diff --git a/dev-ml/ppx_log/Manifest b/dev-ml/ppx_log/Manifest index 98454410d994..ef35c1c89bde 100644 --- a/dev-ml/ppx_log/Manifest +++ b/dev-ml/ppx_log/Manifest @@ -1,3 +1,3 @@ DIST ppx_log-0.15.0.tar.gz 6672 BLAKE2B 3b45e705dfe6256d95e52b3fb1b1f98599d48fba6d4c565df95319566d5ab62965182d265db68a9b2f0b7e32103861639ff9ca46e1980e93e63abdeae83e79cd SHA512 1585f82615def2fc1c94853e9a1b9e3ebd2ef8193067f229f24580ea124c06736a2b361377801b9a44b7347e1938da051ed652764142e2270de3d3e8f375bf46 -EBUILD ppx_log-0.15.0.ebuild 482 BLAKE2B cec0f0a5f44697dee66223b72ec1ea9004d805cf6a4f81ec3e7321cf8bce3846721c6fd2d86e3ca5655982d51576f3a63a57c54fc4902f34ca791bfbfdcf931e SHA512 1aecaeff2985bfea215436c5661e381d302cf52a27fe5467cf08b2a22f0f9efc8b3be9d1502dc7d742d038e336dd3e0e413718dd71ca16d21b706091381ef831 +EBUILD ppx_log-0.15.0-r1.ebuild 515 BLAKE2B 2a9ae205a2dfb1b8d6c38d14454758d4268f1783fb13d4b3911c40d4817229d54c6b3d57a4eb2c4d3f2de62d7a962c57d29180204d61d6d51385a8127f6d4e29 SHA512 728c2d47f4547e35ec2af0fc113188719f0827aa6f593fb337a58f72e5eaa36d051b4f7c3ff498a74f3e95210a1fc2c397930b57460f210089ace97335a2b9b7 MISC metadata.xml 316 BLAKE2B 67c67501b1b464809f108550e0185b2ea88ac412684b5324232f07bfa8c79592780673800f88cfdf6e907e82743da67a1da8c3527d93f9ca0b9901cfc4849a00 SHA512 1c596376ab905bbb0dc74b176f0e37b4afae66c79f5a04dec08d28025b852feaa625e434853c6cd290da0fc310b2d926261e97597d68374eaf4e52a2fd022827 diff --git a/dev-ml/ppx_log/ppx_log-0.15.0.ebuild b/dev-ml/ppx_log/ppx_log-0.15.0-r1.ebuild index 3f2040cb7317..27e833b41efb 100644 --- a/dev-ml/ppx_log/ppx_log-0.15.0.ebuild +++ b/dev-ml/ppx_log/ppx_log-0.15.0-r1.ebuild @@ -1,4 +1,4 @@ -# Copyright 2022 Gentoo Authors +# Copyright 2023 Gentoo Authors # Distributed under the terms of the GNU General Public License v2 EAPI=8 @@ -11,12 +11,13 @@ 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/ppx_sexp_message:${SLOT} dev-ml/sexplib:${SLOT} + >=dev-ml/ppxlib-0.23.0:= " RDEPEND="${DEPEND}" BDEPEND="" |