summaryrefslogtreecommitdiff
path: root/dev-ml/ppx_string
diff options
context:
space:
mode:
authorV3n3RiX <venerix@koprulu.sector>2023-07-02 11:30:05 +0100
committerV3n3RiX <venerix@koprulu.sector>2023-07-02 11:30:05 +0100
commit8164a4e49d69b936f2d820456e48468dc0e241ad (patch)
tree72c381896b721d4947b8f65f0cadceef779b99ae /dev-ml/ppx_string
parentc3ec60d8953748433a04137e04480e9c1a36ed4c (diff)
gentoo auto-resync : 02:07:2023 - 11:30:05
Diffstat (limited to 'dev-ml/ppx_string')
-rw-r--r--dev-ml/ppx_string/Manifest2
-rw-r--r--dev-ml/ppx_string/ppx_string-0.16.0.ebuild23
2 files changed, 25 insertions, 0 deletions
diff --git a/dev-ml/ppx_string/Manifest b/dev-ml/ppx_string/Manifest
index 72f6f7b6e76c..b76bee8f91b6 100644
--- a/dev-ml/ppx_string/Manifest
+++ b/dev-ml/ppx_string/Manifest
@@ -1,5 +1,7 @@
DIST ppx_string-0.14.1.tar.gz 4807 BLAKE2B 2ce5cf2d5dd913f05e66c24ea5be2ce4a56c59b7e5faecf003a573274bfaef3834935276e110fba1d0af3a3ef9d6ca730622dc780ab6063945a01aa3d6900a43 SHA512 2b570ca3d248f89ee1903e6ea40fbcd9c5c72809ff1f42dc67e9d41f6c297465ae47ffdbeda9f263dddf14c9c460bbbdee01243cef838d0ec49493c3b5644aee
DIST ppx_string-0.15.0.tar.gz 6071 BLAKE2B 06e4761732db5aa5ee0214c68ac8ff95a85a38e6d62abaa45cc630d19036b0ed38ec0198a45871068d8bcc4f40176ac072da67e8f339cef3be3d64ace7a22e69 SHA512 bb1819017a6c25d581854e8487a0e5535fe282ec421c91e662c310c0d0aa7704be65484b3f2e721b29409e0eb68f72528e60380e036af066b3b1f1f11ea6cd5e
+DIST ppx_string-0.16.0.tar.gz 6105 BLAKE2B a23f81846562accd1bed9df7bc491a8b9c94751f8432fc0909106d0dc0160ed848ce5181e67e34273b05a627ef3ada6770c98eafac8d1c790272eaa8d77d9ac5 SHA512 b1310551e1548fee5b99e64635139189139791f2ea2da93a4751b04c78a5519c5f3833c515d93a25e9d7aa23945414cbe690e5cd3f34630cdca4819c3d8ec1bc
EBUILD ppx_string-0.14.1.ebuild 675 BLAKE2B 9695ec5c36068ab29ba12283604fb9607354940da97d00a5cb5f889e8f4b2521a88d1d41f48b702d7010eb35d12ccd75ea12bf7a37e8391180180c176a891352 SHA512 e412b9a1a39fc8ae807ad422c1c32928388d6ad57b30126f5ed00c18e337421ed10b9e03f02adb58118d8b70a815049cafa90f49f3f0830ba567cf26f96a222b
EBUILD ppx_string-0.15.0-r1.ebuild 537 BLAKE2B faa533b7dd2f5143d41698855f540983343f16aa3c8fd3ae72266c253268b6712723adbe9dc0960df4d876dc700a6d1c27696f4b219159c136692e44f569c3f0 SHA512 bc1c1c1158ee86109c10867a8cfa5b4601db93c9520fb16d81420ce87ffa324a3211d7585d4b6807bce73fc8c835b73509e7c41f72a756318eac4ddb613dcde6
+EBUILD ppx_string-0.16.0.ebuild 565 BLAKE2B 1a1a2e37ce073e08102d87b81de5aa4b464885d10218c78619d8d8707f7507206d4c84356994946c1ff760a9ac1b8193220e202d78069ebb60c1f2e4a8932a9a SHA512 03c919e43f13c4c8f8d7b44f47cd1845a25e14d6abd3c955f7126034565de768ccd84eab314e70f19dc60aeba492098bb191ac503e4c647e67aa4e9c6a1eaa20
MISC metadata.xml 331 BLAKE2B 1d60a54e1b3bc26c9ad6e497cb396a105c8eb00a1b05b7ef59e71674fcfdb3241172e487bfa654ff01e2fcdea6d9d29d1de858dec78885821518e55ae8aeae65 SHA512 436694c8e8f66f48b52b1997d94f7224ebb2805e04aa81b908d0505b54e9c3f1590c4d91d99c1fb73c7991bd74327f9e3ddb217d9b7ea3b95d620757bffbd915
diff --git a/dev-ml/ppx_string/ppx_string-0.16.0.ebuild b/dev-ml/ppx_string/ppx_string-0.16.0.ebuild
new file mode 100644
index 000000000000..88f540a39a54
--- /dev/null
+++ b/dev-ml/ppx_string/ppx_string-0.16.0.ebuild
@@ -0,0 +1,23 @@
+# Copyright 1999-2023 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+inherit dune
+
+DESCRIPTION="Ppx extension for string interpolation"
+HOMEPAGE="https://github.com/janestreet/ppx_string"
+SRC_URI="https://github.com/janestreet/ppx_string/archive/v${PV}.tar.gz -> ${P}.tar.gz"
+
+LICENSE="Apache-2.0"
+SLOT="0/$(ver_cut 1-2)"
+KEYWORDS="~amd64 ~arm ~arm64 ~ppc ~ppc64 ~riscv ~x86"
+IUSE="+ocamlopt"
+
+DEPEND="
+ >=dev-lang/ocaml-4.14
+ dev-ml/ppx_base:${SLOT}
+ dev-ml/stdio:${SLOT}
+ >=dev-ml/ppxlib-0.28.0:=
+"
+RDEPEND="${DEPEND}"