gentoo-mirror/gentoo
1
0
Fork 0
mirror of https://github.com/gentoo-mirror/gentoo.git synced 2026-11-08 18:27:07 -08:00
Code Issues Projects Releases Wiki Activity
973,752 Commits 2 Branches 0 Tags
b783c1ca8e2ce804f4f1cf80423438daae514b8f
Commit Graph
973752 Commits
This Branch
This Branch
All Branches
Author SHA1 Message Date
Jakov Smolić b783c1ca8e dev-ml/async: Keyword 0.17.0 riscv, #959600 
Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
 2025-07-14 02:22:49 +02:00
Jakov Smolić a3e1de753d dev-ml/textutils: Keyword 0.17.0 riscv, #959600 
Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
 2025-07-14 02:22:47 +02:00
Jakov Smolić 379b1ea736 dev-ml/async_rpc_kernel: Keyword 0.17.0 riscv, #959600 
Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
 2025-07-14 02:22:46 +02:00
Jakov Smolić 5d2a324923 dev-ml/protocol_version_header: Keyword 0.17.0 riscv, #959600 
Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
 2025-07-14 02:22:45 +02:00
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