Commit Graph
977285 Commits
Author SHA1 Message Date
Jakov Smolić 1026e8803d dev-ml/gel: Keyword 0.17.0-r1 riscv, #959600
Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
2025-07-14 02:22:27 +02:00
Jakov Smolić 349f4623cf dev-ml/bin_prot: Keyword 0.17.0-r1 riscv, #959600
Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
2025-07-14 02:22:26 +02:00
Jakov Smolić d64b1f4ebc dev-ml/base_bigstring: Keyword 0.17.0-r1 riscv, #959600
Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
2025-07-14 02:22:25 +02:00
Jakov Smolić 6697663000 dev-ml/int_repr: Keyword 0.17.0-r1 riscv, #959600
Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
2025-07-14 02:22:24 +02:00
Jakov Smolić 235f3b6455 dev-ml/ppx_jane: Keyword 0.17.0 riscv, #959600
Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
2025-07-14 02:22:22 +02:00
Jakov Smolić ca5d97b4e4 dev-ml/ppx_typerep_conv: Keyword 0.17.0-r2 riscv, #959600
Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
2025-07-14 02:22:21 +02:00
Jakov Smolić 0f991af2df dev-ml/typerep: Keyword 0.17.1-r1 riscv, #959600
Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
2025-07-14 02:22:20 +02:00
Jakov Smolić 5ef93b96ec dev-ml/ppx_tydi: Keyword 0.17.0-r2 riscv, #959600
Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
2025-07-14 02:22:19 +02:00
Jakov Smolić ac17f14240 dev-ml/ppx_string_conv: Keyword 0.17.0-r1 riscv, #959600
Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
2025-07-14 02:22:18 +02:00
Jakov Smolić 2334478efc dev-ml/capitalization: Keyword 0.17.0-r1 riscv, #959600
Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
2025-07-14 02:22:16 +02:00
Jakov Smolić 3a69693a43 dev-ml/ppx_stable_witness: Keyword 0.17.0-r1 riscv, #959600
Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
2025-07-14 02:22:15 +02:00
Jakov Smolić 401edaa238 dev-ml/ppx_stable: Keyword 0.17.0-r2 riscv, #959600
Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
2025-07-14 02:22:14 +02:00
Jakov Smolić 4b757373be dev-ml/ppx_pipebang: Keyword 0.17.0 riscv, #959600
Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
2025-07-14 02:22:12 +02:00
Jakov Smolić 3c08d1d98d dev-ml/ppx_optional: Keyword 0.17.0-r1 riscv, #959600
Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
2025-07-14 02:22:11 +02:00
Jakov Smolić bcb499a746 dev-ml/ppx_module_timer: Keyword 0.17.0-r1 riscv, #959600
Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
2025-07-14 02:22:10 +02:00
Jakov Smolić 7ca4979b68 dev-ml/ppx_log: Keyword 0.17.0-r1 riscv, #959600
Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
2025-07-14 02:22:09 +02:00
Jakov Smolić d645e7abb7 dev-ml/sexplib: Keyword 0.17.0 riscv, #959600
Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
2025-07-14 02:22:07 +02:00
Jakov Smolić da73b92b53 dev-ml/parsexp: Keyword 0.17.0 riscv, #959600
Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
2025-07-14 02:22:06 +02:00
Jakov Smolić f45aacda38 dev-ml/ppx_variants_conv: Keyword 0.17.0-r2 riscv, #959600
Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
2025-07-14 02:22:05 +02:00
Jakov Smolić c31db83d47 dev-ml/variantslib: Keyword 0.17.0-r1 riscv, #959600
Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
2025-07-14 02:22:04 +02:00
Jakov Smolić 3fab396fa8 dev-ml/ppx_string: Keyword 0.17.0-r1 riscv, #959600
Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
2025-07-14 02:22:03 +02:00
Jakov Smolić c7235159cd dev-ml/ppx_ignore_instrumentation: Keyword 0.17.0 riscv, #959600
Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
2025-07-14 02:22:02 +02:00
Jakov Smolić e6af0c927b dev-ml/ppx_fixed_literal: Keyword 0.17.0-r1 riscv, #959600
Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
2025-07-14 02:22:00 +02:00
Jakov Smolić 9f0a869266 dev-ml/ppx_expect: Keyword 0.17.2-r2 riscv, #959600
Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
2025-07-14 02:21:59 +02:00
Jakov Smolić 7d19e1a9a3 dev-ml/ppx_disable_unused_warnings: Keyword 0.17.0-r1 riscv, #959600
Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
2025-07-14 02:21:58 +02:00
Jakov Smolić e24aeff763 dev-ml/ppx_custom_printf: Keyword 0.17.0-r1 riscv, #959600
Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
2025-07-14 02:21:57 +02:00
Jakov Smolić e54b920a63 dev-ml/base_quickcheck: Keyword 0.17.0-r2 riscv, #959600
Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
2025-07-14 02:21:55 +02:00
Jakov Smolić e6f2fe48a1 dev-ml/splittable_random: Keyword 0.17.0-r1 riscv, #959600
Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
2025-07-14 02:21:54 +02:00
Jakov Smolić 9e496e2f02 dev-ml/ppx_bench: Keyword 0.17.0-r1 riscv, #959600
Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
2025-07-14 02:21:53 +02:00
Jakov Smolić 0882d838e3 dev-ml/ppx_inline_test: Keyword 0.17.0-r2 riscv, #959600
Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
2025-07-14 02:21:52 +02:00
Jakov Smolić 81d8f6d77e dev-ml/time_now: Keyword 0.17.0-r1 riscv, #959600
Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
2025-07-14 02:21:50 +02:00
Jakov Smolić 5cfa4187a6 dev-ml/ppx_optcomp: Keyword 0.17.0-r2 riscv, #959600
Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
2025-07-14 02:21:49 +02:00
Jakov Smolić 2e1cfb676c dev-ml/stdio: Keyword 0.17.0-r1 riscv, #959600
Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
2025-07-14 02:21:48 +02:00
Jakov Smolić 9ca637d520 dev-ml/jst-config: Keyword 0.17.0-r1 riscv, #959600
Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
2025-07-14 02:21:46 +02:00
Jakov Smolić 33e881e1b0 dev-ml/jane-street-headers: Keyword 0.17.0 riscv, #959600
Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
2025-07-14 02:21:45 +02:00
Jakov Smolić 6c2ebaf340 dev-ml/ppx_assert: Keyword 0.17.0-r1 riscv, #959600
Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
2025-07-14 02:21:44 +02:00
Jakov Smolić 41c4585f00 dev-ml/ppx_sexp_value: Keyword 0.17.0-r1 riscv, #959600
Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
2025-07-14 02:21:43 +02:00
Jakov Smolić 0f57410721 dev-ml/ppx_sexp_message: Keyword 0.17.0-r1 riscv, #959600
Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
2025-07-14 02:21:42 +02:00
Jakov Smolić f9bd8f5766 dev-ml/ppx_let: Keyword 0.17.0-r2 riscv, #959600
Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
2025-07-14 02:21:40 +02:00
Jakov Smolić 3c7e58c45b dev-ml/ppx_here: Keyword 0.17.0-r1 riscv, #959600
Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
2025-07-14 02:21:39 +02:00
Jakov Smolić 28d5517664 dev-ml/ppx_fields_conv: Keyword 0.17.0-r1 riscv, #959600
Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
2025-07-14 02:21:38 +02:00
Jakov Smolić 8ac5a27cc4 dev-ml/fieldslib: Keyword 0.17.0-r1 riscv, #959600
Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
2025-07-14 02:21:37 +02:00
Jakov Smolić 772e95c104 dev-ml/ppx_base: Keyword 0.17.0 riscv, #959600
Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
2025-07-14 02:21:36 +02:00
Jakov Smolić 6857c6cdcb dev-ml/ppx_hash: Keyword 0.17.0-r1 riscv, #959600
Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
2025-07-14 02:21:34 +02:00
Jakov Smolić e65657a5db dev-ml/ppx_sexp_conv: Keyword 0.17.0-r2 riscv, #959600
Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
2025-07-14 02:21:33 +02:00
Jakov Smolić 8ae815592e dev-ml/ppx_globalize: Keyword 0.17.0-r2 riscv, #959600
Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
2025-07-14 02:21:32 +02:00
Jakov Smolić d132b8feda dev-ml/ppx_enumerate: Keyword 0.17.0-r1 riscv, #959600
Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
2025-07-14 02:21:31 +02:00
Jakov Smolić 705a5980da dev-ml/ppx_compare: Keyword 0.17.0-r1 riscv, #959600
Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
2025-07-14 02:21:29 +02:00
Jakov Smolić 689a3d347f dev-ml/ppxlib_jane: Keyword 0.17.2-r1 riscv, #959600
Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
2025-07-14 02:21:28 +02:00
Jakov Smolić ae2f4f9f9d dev-ml/ppx_cold: Keyword 0.17.0-r1 riscv, #959600
Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
2025-07-14 02:21:27 +02:00