summaryrefslogtreecommitdiff
path: root/dev-ml/ppx_log
diff options
context:
space:
mode:
authorV3n3RiX <venerix@koprulu.sector>2023-07-01 01:44:20 +0100
committerV3n3RiX <venerix@koprulu.sector>2023-07-01 01:44:20 +0100
commit7714c84b341b3c783197e342fda2df5e579ac91f (patch)
treee36f0bc3e2f90b502c7a34747e555d4ec8c71f02 /dev-ml/ppx_log
parentb7efdd771aad99c9a6509a5f85a80a1f7cfd55f3 (diff)
gentoo auto-resync : 01:07:2023 - 01:44:19
Diffstat (limited to 'dev-ml/ppx_log')
-rw-r--r--dev-ml/ppx_log/Manifest2
-rw-r--r--dev-ml/ppx_log/ppx_log-0.16.0.ebuild25
2 files changed, 27 insertions, 0 deletions
diff --git a/dev-ml/ppx_log/Manifest b/dev-ml/ppx_log/Manifest
index 773d3f341b81..3f3082a873d0 100644
--- a/dev-ml/ppx_log/Manifest
+++ b/dev-ml/ppx_log/Manifest
@@ -1,3 +1,5 @@
DIST ppx_log-0.15.0.tar.gz 6672 BLAKE2B 3b45e705dfe6256d95e52b3fb1b1f98599d48fba6d4c565df95319566d5ab62965182d265db68a9b2f0b7e32103861639ff9ca46e1980e93e63abdeae83e79cd SHA512 1585f82615def2fc1c94853e9a1b9e3ebd2ef8193067f229f24580ea124c06736a2b361377801b9a44b7347e1938da051ed652764142e2270de3d3e8f375bf46
+DIST ppx_log-0.16.0.tar.gz 6706 BLAKE2B 7da65372fb1ad0f25023f1236634a1cb790f8ab3098a250ea1fac6056213973b02efac54c659c5dc950b2daf64673b761f6af91976bee3781f18f8e62c7c8d3f SHA512 6560720e4c329d8859850f06aa9c80f9446f361221ce57223ee2872944928079898bb644bf762d4907673368a18857390346a94d450ba4d2787abac77dea9e87
EBUILD ppx_log-0.15.0-r1.ebuild 540 BLAKE2B 6afce962ba4b96de70038a4f5bec258a0ca11d3e9efbb1260dd866311a830b73bbd4e86ad335da1b4b6a19dc85d81e40d2271e38c7f5c002a256f7a2774b6391 SHA512 92b63b9bdeb45d3700e693264e18a0d61d3735aabeb22bd7eb2fc115d07b0ca4738b20b5fd1d66b569f40d2ecebaf3458816bfb3cb34d4167585370a68d3be13
+EBUILD ppx_log-0.16.0.ebuild 588 BLAKE2B 54c35867c15c9a555bf222a93241e5cc726d4bdc6aec97f5bce32a6608ec7e90ff537e230df7f8cb91e76ecc9cd74e8fbeb956686079784bb342ac75ee21cf1b SHA512 a1dfea870a9759db6355e4d3026abf101876746f301f475784e8d3f78e4ca9674abb09f6674dcef436088d9ae53ef806226c8e76bc8f3d63245d037f4df367dc
MISC metadata.xml 316 BLAKE2B 67c67501b1b464809f108550e0185b2ea88ac412684b5324232f07bfa8c79592780673800f88cfdf6e907e82743da67a1da8c3527d93f9ca0b9901cfc4849a00 SHA512 1c596376ab905bbb0dc74b176f0e37b4afae66c79f5a04dec08d28025b852feaa625e434853c6cd290da0fc310b2d926261e97597d68374eaf4e52a2fd022827
diff --git a/dev-ml/ppx_log/ppx_log-0.16.0.ebuild b/dev-ml/ppx_log/ppx_log-0.16.0.ebuild
new file mode 100644
index 000000000000..68dfc4d4bf87
--- /dev/null
+++ b/dev-ml/ppx_log/ppx_log-0.16.0.ebuild
@@ -0,0 +1,25 @@
+# Copyright 2023 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+inherit dune
+
+DESCRIPTION="Lazily rendering log messages"
+HOMEPAGE="https://github.com/janestreet/ppx_log"
+SRC_URI="https://github.com/janestreet/${PN}/archive/refs/tags/v${PV}.tar.gz
+ -> ${P}.tar.gz"
+
+LICENSE="MIT"
+SLOT="0/$(ver_cut 1-2)"
+KEYWORDS="~amd64 ~arm ~arm64 ~ppc ~ppc64 ~riscv ~x86"
+IUSE="+ocamlopt"
+
+DEPEND="
+ >=dev-lang/ocaml-4.14
+ dev-ml/base:${SLOT}
+ dev-ml/ppx_sexp_message:${SLOT}
+ dev-ml/sexplib:${SLOT}
+ >=dev-ml/ppxlib-0.28.0:=
+"
+RDEPEND="${DEPEND}"
+BDEPEND=""