diff options
| author | V3n3RiX <venerix@koprulu.sector> | 2024-06-03 00:07:26 +0100 |
|---|---|---|
| committer | V3n3RiX <venerix@koprulu.sector> | 2024-06-03 00:07:26 +0100 |
| commit | a3bb28551df94028000fb72308a9e9baa01458b0 (patch) | |
| tree | 33b14c7bf0dffbd5bb04dbd5b395514ebdda4896 /dev-ml/jane-street-headers | |
| parent | 6657c680376cedf378fcf328e5fa03ed3b41d580 (diff) | |
gentoo auto-resync : 03:06:2024 - 00:07:25
Diffstat (limited to 'dev-ml/jane-street-headers')
| -rw-r--r-- | dev-ml/jane-street-headers/Manifest | 2 | ||||
| -rw-r--r-- | dev-ml/jane-street-headers/jane-street-headers-0.16.0.ebuild | 4 |
2 files changed, 3 insertions, 3 deletions
diff --git a/dev-ml/jane-street-headers/Manifest b/dev-ml/jane-street-headers/Manifest index 25aad7d49164..5cb51a575c53 100644 --- a/dev-ml/jane-street-headers/Manifest +++ b/dev-ml/jane-street-headers/Manifest @@ -3,5 +3,5 @@ DIST jane-street-headers-0.15.0.tar.gz 4865 BLAKE2B 932468266f6cd56ee2b484c5f445 DIST jane-street-headers-0.16.0.tar.gz 4905 BLAKE2B 33301bd5221fb636a44a3e654ae1511d99645e0dbfea4f9765f5d2febf9cdab03d6a9a15f7cf1733ffa380e7c9fa5743d66487feda0e2e2088d1e748775e607c SHA512 05336733845b442e3594889ac6e8fe7048bb3fc23b5f8a05e48d42db6851e4aac561587a1e73b9d6fb1852b768dd66b949cd220b1a9effe83dd181707ea2ab24 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 479 BLAKE2B 8d510f1dce0776391b87af579e15fd7871d6987d6c3d5353a002aa936caac72087c1a3b09e5c25c4fd95466cb98bbb39783d1e3ec006f08134ab47e22bafef13 SHA512 e43f0a99b4e39bce7b8760112f57fda304a0c612920a92195e80cf05117df192188cbb327eb3a34b1f6b0883818626a6119d1765090a2ea95c3d5cee36a86818 +EBUILD jane-street-headers-0.16.0.ebuild 475 BLAKE2B 47775782a1ea8245304c514b9ac1403b8627aaf8751fcdff731cf80689373ced05750ae5716be599e333601f843e624c0c14ef6d64e3795249735245d5fabd54 SHA512 a965b781de5d10cf424ed181abf26389d5120f690db968e1f434ae93d1296bb46838fb5d6004eaf08820c77ab187a6cdcb258e6047e626bacd206e233956a4f1 MISC metadata.xml 328 BLAKE2B 3841632fe3750691379f450f94437468e814ea272f39955b7e124991c920acce76741bdb6cd757240e0884087d282cf99f2b6e5d4a072236946aa48b852bcc03 SHA512 388b851a7e01bd5408ca54889a192b2531e1ee5e9982588c65d8e205e0d4589f5b3adb3128c2a7356a9c57b70227078963201f04a290ea58e9757dfa7eb543ea diff --git a/dev-ml/jane-street-headers/jane-street-headers-0.16.0.ebuild b/dev-ml/jane-street-headers/jane-street-headers-0.16.0.ebuild index 6d45dbd92106..ea6b1e06b196 100644 --- a/dev-ml/jane-street-headers/jane-street-headers-0.16.0.ebuild +++ b/dev-ml/jane-street-headers/jane-street-headers-0.16.0.ebuild @@ -1,4 +1,4 @@ -# Copyright 1999-2023 Gentoo Authors +# Copyright 1999-2024 Gentoo Authors # Distributed under the terms of the GNU General Public License v2 EAPI=8 @@ -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=">=dev-lang/ocaml-4.14" |