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/int_repr | |
parent | 6657c680376cedf378fcf328e5fa03ed3b41d580 (diff) |
gentoo auto-resync : 03:06:2024 - 00:07:25
Diffstat (limited to 'dev-ml/int_repr')
-rw-r--r-- | dev-ml/int_repr/Manifest | 2 | ||||
-rw-r--r-- | dev-ml/int_repr/int_repr-0.16.0.ebuild | 4 |
2 files changed, 3 insertions, 3 deletions
diff --git a/dev-ml/int_repr/Manifest b/dev-ml/int_repr/Manifest index 05b0112129e4..9fde2c971a04 100644 --- a/dev-ml/int_repr/Manifest +++ b/dev-ml/int_repr/Manifest @@ -1,5 +1,5 @@ DIST int_repr-0.15.0.tar.gz 9105 BLAKE2B a2a8197cdba7c4805c9eb9402e1c853619fc142bd057c4b42a578bcfdc97b417751634a31bab1ccd5c2e75cfbef46d33b6daf76da5ed4e3c9ec26d5c81fd3b73 SHA512 96537591fc597264347f967757df979344224f84594949bca96b40298e4ae1d7b28b40f3705ad4f85e3801724c6388fc048271216703b81fda0e56a314f3e88f DIST int_repr-0.16.0.tar.gz 9227 BLAKE2B 4dfb7a21cfe2bbd27051005f7eb1452925cac30b86ce3b20aeecbc0b2cf52966cbabbd9d56fa1fadfdc3c3912b33c4a1b323cfaf46e6c027ef6c31b4893e8901 SHA512 1b395d2c5c2322a8948f09e2b1c53382902edb1a390bc4659baf8eb87d085c90e551ede171a0d4d4b3c6fec18210ff100b02565461b42cabaedc446551c79841 EBUILD int_repr-0.15.0.ebuild 483 BLAKE2B a4958ea7f09992aec49fde32f1bfa4a48ca7d9b5bf947533e2fb3aebc3651e4b9607cf03511e17c9576b90a32a412e937329a41e36a02b2f3eb97c4b30e84a8d SHA512 aee7e6cb061da839f5de5ca7f1c803de90e13cb32bea359cafa656fed78f506c46f06652f1ebbe55000b451b6d3cdf0663ac62d23d44bbfcbed5ce95d1a5e997 -EBUILD int_repr-0.16.0.ebuild 513 BLAKE2B 8a1bfe84c0e5d356aec1729a6132cb58b5d9a34753401d7482444fbccd70d43dc2bb261e879ed1b9b9d552ab484a6729d843fce662f8cb6aa66f762dee6448de SHA512 f5d0ce02405349068375951cd888776b35cd60a61168cf8739987bd60b47475bf482373049e9b8ee579f4b8779beb8cf90e01cfa90690874fd8c893e3cf394cc +EBUILD int_repr-0.16.0.ebuild 509 BLAKE2B 062649217a2d750b5677125253af838b7e1a7085da8521b6ba225f6029f346868a9e2b565d886375e100280a22cb2586ee004ddfdd27e96ae28292c5f2515ebd SHA512 c5a27942eddcea3d337937deb1ce74ebd96ddac4cab38effa2366c52078ff1f2c3cffc3ced3ba8b3c251e63e75a9a1a216ca8adb5db506471a6c215d9e2d9456 MISC metadata.xml 317 BLAKE2B 58b512e27ebd93e11da8245933f2230bddab2c07234c6365b8f860c70fad16866cd6e5a98559034d962c2cc5509d0346a9b6f9e88dcd663967432f4e38c70f0a SHA512 1e3442d580d84254768050b55eafcecaa4b1749404879f5443514c45014d9e0110ed72375ebe01b44603faf98035f1570f5820f9f4e9e448a627d6498fa65c70 diff --git a/dev-ml/int_repr/int_repr-0.16.0.ebuild b/dev-ml/int_repr/int_repr-0.16.0.ebuild index fffa9b22998e..1a9171440789 100644 --- a/dev-ml/int_repr/int_repr-0.16.0.ebuild +++ b/dev-ml/int_repr/int_repr-0.16.0.ebuild @@ -1,4 +1,4 @@ -# Copyright 2022-2023 Gentoo Authors +# Copyright 2022-2024 Gentoo Authors # Distributed under the terms of the GNU General Public License v2 EAPI=8 @@ -12,7 +12,7 @@ SRC_URI="https://github.com/janestreet/${PN}/archive/refs/tags/v${PV}.tar.gz LICENSE="MIT" 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=" |