Jakov Smolić
|
ea4adc25b9
|
dev-ml/async_log: Keyword 0.17.0 riscv, #959600
Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
|
2025-07-14 02:22:43 +02:00 |
|
Jakov Smolić
|
10c4b800f4
|
dev-ml/async_unix: Keyword 0.17.0 riscv, #959600
Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
|
2025-07-14 02:22:42 +02:00 |
|
Jakov Smolić
|
8ce5bfcf56
|
dev-ml/cstruct: Keyword 6.2.0-r1 riscv, #959600
Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
|
2025-07-14 02:22:41 +02:00 |
|
Jakov Smolić
|
3413ff8537
|
dev-ml/alcotest: Keyword 1.9.0 riscv, #959600
Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
|
2025-07-14 02:22:40 +02:00 |
|
Jakov Smolić
|
1ad3bce072
|
dev-ml/core_unix: Keyword 0.17.1 riscv, #959600
Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
|
2025-07-14 02:22:38 +02:00 |
|
Jakov Smolić
|
da5abdc2e0
|
dev-ml/timezone: Keyword 0.17.0 riscv, #959600
Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
|
2025-07-14 02:22:37 +02:00 |
|
Jakov Smolić
|
07475a2627
|
dev-ml/expect_test_helpers_core: Keyword 0.17.0-r1 riscv, #959600
Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
|
2025-07-14 02:22:36 +02:00 |
|
Jakov Smolić
|
fc83483350
|
dev-ml/sexp_pretty: Keyword 0.17.0-r1 riscv, #959600
Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
|
2025-07-14 02:22:35 +02:00 |
|
Jakov Smolić
|
b2d8ef1574
|
dev-ml/async_kernel: Keyword 0.17.0 riscv, #959600
Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
|
2025-07-14 02:22:34 +02:00 |
|
Jakov Smolić
|
b21ae5f4ef
|
dev-ml/core_kernel: Keyword 0.17.0-r1 riscv, #959600
Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
|
2025-07-14 02:22:32 +02:00 |
|
Jakov Smolić
|
3aaf17fb85
|
dev-ml/uopt: Keyword 0.17.0-r1 riscv, #959600
Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
|
2025-07-14 02:22:31 +02:00 |
|
Jakov Smolić
|
b901e68835
|
dev-ml/core: Keyword 0.17.1-r1 riscv, #959600
Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
|
2025-07-14 02:22:30 +02:00 |
|
Jakov Smolić
|
06b3b29731
|
dev-ml/ppx_diff: Keyword 0.17.0-r2 riscv, #959600
Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
|
2025-07-14 02:22:29 +02:00 |
|
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 |
|