summaryrefslogtreecommitdiff
path: root/dev-ml/jane-street-headers
diff options
context:
space:
mode:
authorV3n3RiX <venerix@koprulu.sector>2024-06-14 00:09:04 +0100
committerV3n3RiX <venerix@koprulu.sector>2024-06-14 00:09:04 +0100
commit5e41a38157bb40e8513e8e34426e85faba672fe7 (patch)
tree38e9365afd56c161d0e970ddf5420b2585130587 /dev-ml/jane-street-headers
parent0ebcd2cbf178600b5eb36b2f24cdbb3d2f4a9000 (diff)
gentoo auto-resync : 14:06:2024 - 00:09:04
Diffstat (limited to 'dev-ml/jane-street-headers')
-rw-r--r--dev-ml/jane-street-headers/Manifest2
-rw-r--r--dev-ml/jane-street-headers/jane-street-headers-0.17.0.ebuild19
2 files changed, 21 insertions, 0 deletions
diff --git a/dev-ml/jane-street-headers/Manifest b/dev-ml/jane-street-headers/Manifest
index ded80cf3f8f4..c77021d54e49 100644
--- a/dev-ml/jane-street-headers/Manifest
+++ b/dev-ml/jane-street-headers/Manifest
@@ -1,7 +1,9 @@
DIST jane-street-headers-0.14.0.tar.gz 4662 BLAKE2B 22a48e9c254005d28c03399dd9d9347b45b7e3def9c0efdd768162f80ff611be6249d629cd78fd8768c7e6ec5610684e9459b149f3de85da307b2f1e8525296d SHA512 9c80acc57016f98cd88455866523f2463a13d2b7e10cf0d63f5198747615321799a8b3442432b321fa4f33a051f404464e27972317d197ac9513651600673879
DIST jane-street-headers-0.15.0.tar.gz 4865 BLAKE2B 932468266f6cd56ee2b484c5f4459919b2f0fa659a41d51132c169eda49734e5cc852e6aea5549173df6af603f3118de8bb8362b5d7ca5f27e00999d75eb8fa9 SHA512 83ea5e4cdbae6710c7071325164df06dcb652a69329698c5b0c8832057f4d7325e8a241e5818e78ad2f6b8daeb1d0635528d9bd3b6761c69f8370a7bdb773c1f
DIST jane-street-headers-0.16.0.tar.gz 4905 BLAKE2B 33301bd5221fb636a44a3e654ae1511d99645e0dbfea4f9765f5d2febf9cdab03d6a9a15f7cf1733ffa380e7c9fa5743d66487feda0e2e2088d1e748775e607c SHA512 05336733845b442e3594889ac6e8fe7048bb3fc23b5f8a05e48d42db6851e4aac561587a1e73b9d6fb1852b768dd66b949cd220b1a9effe83dd181707ea2ab24
+DIST jane-street-headers-0.17.0.tar.gz 4940 BLAKE2B 21a6bd6ad436bac7afa9d051be26841bcef41d17ac88c9cb4d60417f5745130c6c252a6be8f6a38eb58f19f02c951243cfc5c971db67a0e6cba43d587291f0eb SHA512 200fafcbbdb86a5f183b42c7540f334ea77c0f879c793c18166c9c715500d603b22763787d8140cbcbd4eb3c6e0269bf3d3c380db67cf5b19776bd57daf379f1
EBUILD jane-street-headers-0.14.0.ebuild 413 BLAKE2B f7d52404918d76834cd1d31a183f9e7532b256d5c714486499a8d34296cc0b9c95828d1216859a2e68e20df1af3a8d2439f869d2bfbcc6e6f385e59aed7b217f SHA512 8bce1952dd4fb634050983f5024f5079856282d63b8f194da5b61d53e62c0c91a8ff36053b815e07e43eb02b7a4a6fc9950942d081dd2284543a14a6efd1669c
EBUILD jane-street-headers-0.15.0-r1.ebuild 422 BLAKE2B 2f42bd7fd8e890b8484c3fecf739361d75c99c1e7876f63555476e3dab1249738c5ef9420596ab8c430b00bd74056461a504c818aa95c8259b45dcf6a43d3626 SHA512 fb63b58563676422b2b668b47285b587f8e805f9977be156135daeee6c727a8eaccba797e2a5e13edb068b775ca3116a68ecc28b236b1768b6aee1580481ab35
EBUILD jane-street-headers-0.16.0.ebuild 474 BLAKE2B 6a0a9707e74494834d41a062314624b1205dcf462e6d3493010adea70ffea75e03eeb7edb548e20499d6ba4a9a7f21798b9498cc5cb6e4f96ea1562a999b447e SHA512 04a30a97be155c008799db1faaa827aea77d76d1aac0e260284262eac9bd7c119de970276b525a3f112e7c459dea01c2187ccc824827e97d2dd748745275c249
+EBUILD jane-street-headers-0.17.0.ebuild 489 BLAKE2B 8d45f2c662d55bd13ef0a663821e9ed53cbfe61e7d813f0d5b39b50fb668950f07fa46868b4516dd688059fc965137744f3aec290c0b0880bac7dda2d69f3107 SHA512 8579e3d40020dfb9a9462700ab70bd3b13728965953ef86ef9837306dbb20520ea323c2e97a49e334c38ef48e8e98af30314f3ac31c6dfa942f294bef7a1c7cf
MISC metadata.xml 328 BLAKE2B 3841632fe3750691379f450f94437468e814ea272f39955b7e124991c920acce76741bdb6cd757240e0884087d282cf99f2b6e5d4a072236946aa48b852bcc03 SHA512 388b851a7e01bd5408ca54889a192b2531e1ee5e9982588c65d8e205e0d4589f5b3adb3128c2a7356a9c57b70227078963201f04a290ea58e9757dfa7eb543ea
diff --git a/dev-ml/jane-street-headers/jane-street-headers-0.17.0.ebuild b/dev-ml/jane-street-headers/jane-street-headers-0.17.0.ebuild
new file mode 100644
index 000000000000..10a84cc28c7d
--- /dev/null
+++ b/dev-ml/jane-street-headers/jane-street-headers-0.17.0.ebuild
@@ -0,0 +1,19 @@
+# Copyright 1999-2024 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+inherit dune
+
+DESCRIPTION="Jane Street header files"
+HOMEPAGE="https://github.com/janestreet/jane-street-headers"
+SRC_URI="https://github.com/janestreet/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.gz"
+
+LICENSE="Apache-2.0"
+SLOT="0/$(ver_cut 1-2)"
+KEYWORDS="~amd64 ~arm64 ~ppc ~ppc64"
+IUSE="+ocamlopt"
+
+RDEPEND=">=dev-lang/ocaml-5"
+DEPEND="${RDEPEND}"
+BDEPEND=">=dev-ml/dune-3.11"