diff options
| author | V3n3RiX <venerix@koprulu.sector> | 2023-02-12 09:56:54 +0000 |
|---|---|---|
| committer | V3n3RiX <venerix@koprulu.sector> | 2023-02-12 09:56:54 +0000 |
| commit | ebc282ef4dfa408accac685565b8ee5f6faec119 (patch) | |
| tree | c0a4f713228cda0ab17eed46f0bb7ca8cb8be2f6 /dev-ml/int_repr | |
| parent | 6c8694a707151d59555b0e4e48235f085ce166c3 (diff) | |
gentoo auto-resync : 12:02:2023 - 09:56:54
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.15.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 1adfe3be5318..7fca38685762 100644 --- a/dev-ml/int_repr/Manifest +++ b/dev-ml/int_repr/Manifest @@ -1,3 +1,3 @@ DIST int_repr-0.15.0.tar.gz 9105 BLAKE2B a2a8197cdba7c4805c9eb9402e1c853619fc142bd057c4b42a578bcfdc97b417751634a31bab1ccd5c2e75cfbef46d33b6daf76da5ed4e3c9ec26d5c81fd3b73 SHA512 96537591fc597264347f967757df979344224f84594949bca96b40298e4ae1d7b28b40f3705ad4f85e3801724c6388fc048271216703b81fda0e56a314f3e88f -EBUILD int_repr-0.15.0.ebuild 446 BLAKE2B cff222f56a7df5a9e8f94bf08d0113b7257781c270c2767d882c0c198ca061030da03b673ca714466aadd429b6869d1ba2ea5c8a1fc0a7dd1c14a8e981d33dc3 SHA512 1644373046b401a1844f59717dd844284ab285bc1f9aae3d110b7d1e81cfc500edc24213eb4235cb9e9c46554562ec8763a9ffcf97a7bdb11c07899ce5d3e75b +EBUILD int_repr-0.15.0.ebuild 458 BLAKE2B fdcf0447f8a546f2943ef1b8d742e0443b911b478472b632d06d23dc5186398ae4b99de8dc1428e96f769d52c3db405dcf729bd5cf8457eeec7ba5200490d3b5 SHA512 24cf83656d8dbe915413526b41e08124e155d844134ee2ef9e41afa59595f368d4019637f4c11ce26df002ebbce554d6c38c14514aa5d880e41dcc3ea7d3f80e MISC metadata.xml 317 BLAKE2B 58b512e27ebd93e11da8245933f2230bddab2c07234c6365b8f860c70fad16866cd6e5a98559034d962c2cc5509d0346a9b6f9e88dcd663967432f4e38c70f0a SHA512 1e3442d580d84254768050b55eafcecaa4b1749404879f5443514c45014d9e0110ed72375ebe01b44603faf98035f1570f5820f9f4e9e448a627d6498fa65c70 diff --git a/dev-ml/int_repr/int_repr-0.15.0.ebuild b/dev-ml/int_repr/int_repr-0.15.0.ebuild index 8bdf0e71886b..ddaf1a7ec797 100644 --- a/dev-ml/int_repr/int_repr-0.15.0.ebuild +++ b/dev-ml/int_repr/int_repr-0.15.0.ebuild @@ -1,4 +1,4 @@ -# Copyright 2022 Gentoo Authors +# Copyright 2022-2023 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" +KEYWORDS="~amd64 ~riscv" IUSE="+ocamlopt" DEPEND="dev-ml/ppx_jane:${SLOT}" |