summaryrefslogtreecommitdiff
path: root/dev-ml
Commit message (Collapse)AuthorAgeFilesLines
* dev-ml/ppx_globalize: new package, add 0.16.0Alfredo Tupone2023-06-303-0/+39
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/ppx_hash: add 0.16.0Alfredo Tupone2023-06-302-0/+23
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/splittable_random: add 0.16.0Alfredo Tupone2023-06-302-0/+29
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/ppx_bench: add 0.16.0Alfredo Tupone2023-06-302-0/+23
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/ppx_inline_test: add 0.16.0Alfredo Tupone2023-06-302-0/+28
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/time_now: add 0.16.0Alfredo Tupone2023-06-302-0/+29
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/ppx_optcomp: add 0.16.0Alfredo Tupone2023-06-302-0/+25
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/stdio: add 0.16.0Alfredo Tupone2023-06-302-0/+22
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/ppx_assert: add 0.16.0Alfredo Tupone2023-06-302-0/+26
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/ppx_compare: add 0.16.0Alfredo Tupone2023-06-302-0/+28
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/ppx_sexp_message: add 0.16.0Alfredo Tupone2023-06-302-0/+24
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/ppx_sexp_conv: add 0.16.0Alfredo Tupone2023-06-302-0/+26
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/ppx_here: add 0.16.0Alfredo Tupone2023-06-302-0/+28
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/ppx_enumerate: add 0.16.0Alfredo Tupone2023-06-302-0/+24
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/ppx_cold: add 0.16.0Alfredo Tupone2023-06-302-0/+24
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/jst-config: add 0.16.0Alfredo Tupone2023-06-302-0/+29
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/jane-street-headers: add 0.16.0Alfredo Tupone2023-06-302-0/+19
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/seq: Keyword 0.3.1-r1 riscv, #909075Yixun Lan2023-06-251-1/+1
| | | | Signed-off-by: Yixun Lan <dlan@gentoo.org>
* dev-ml/dune-build-info: Keyword 3.8.0 ppc64, #909073Arthur Zamarin2023-06-241-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-ml/llvm-ocaml: Enable py3.12 in 16.0.6Michał Górny2023-06-201-1/+1
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/llvm-ocaml: Remove 17.0.0_pre20230609Michał Górny2023-06-202-113/+0
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/llvm-ocaml: Add 17.0.0_pre20230620 snapshotMichał Górny2023-06-202-0/+113
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/typerep: add 0.16.0Alfredo Tupone2023-06-182-0/+19
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/base: add 0.16.1Alfredo Tupone2023-06-182-0/+23
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/sexplib0: add 0.16.0Alfredo Tupone2023-06-182-0/+17
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/llvm-ocaml: Add 17.0.0_pre20230615 snapshotMichał Górny2023-06-172-0/+113
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/llvm-ocaml: Enable py3.12 in 17.0.0.9999Michał Górny2023-06-171-1/+1
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/reason: bump to 3.9.0Maciej Barć2023-06-172-0/+41
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-ml/reason: drop old 3.8.1Maciej Barć2023-06-172-38/+0
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-ml/reason: drop old 3.8.0Maciej Barć2023-06-172-38/+0
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-ml/alcotest: Keyword 1.7.0 ppc64, #892131Arthur Zamarin2023-06-151-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-ml/async: Keyword 0.15.0 ppc64, #892131Arthur Zamarin2023-06-151-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-ml/async_rpc_kernel: Keyword 0.15.0 ppc64, #892131Arthur Zamarin2023-06-151-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-ml/protocol_version_header: Keyword 0.15.0 ppc64, #892131Arthur Zamarin2023-06-151-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-ml/async_unix: Keyword 0.15.0 ppc64, #892131Arthur Zamarin2023-06-151-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-ml/core_bench: Keyword 0.15.0 ppc64, #892131Arthur Zamarin2023-06-151-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-ml/textutils: Keyword 0.15.0 ppc64, #892131Arthur Zamarin2023-06-151-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-ml/textutils_kernel: Keyword 0.15.0 ppc64, #892131Arthur Zamarin2023-06-151-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-ml/core_unix: Keyword 0.15.2-r1 ppc64, #892131Arthur Zamarin2023-06-151-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-ml/timezone: Keyword 0.15.0 ppc64, #892131Arthur Zamarin2023-06-151-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-ml/ocaml_intrinsics: Keyword 0.15.2 ppc64, #892131Arthur Zamarin2023-06-151-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-ml/expect_test_helpers_core: Keyword 0.15.0-r1 ppc64, #892131Arthur Zamarin2023-06-151-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-ml/sexp_pretty: Keyword 0.15.1-r1 ppc64, #892131Arthur Zamarin2023-06-151-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-ml/async_kernel: Keyword 0.15.0 ppc64, #892131Arthur Zamarin2023-06-151-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-ml/core_kernel: Keyword 0.15.0 ppc64, #892131Arthur Zamarin2023-06-151-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-ml/core: Keyword 0.15.1-r1 ppc64, #892131Arthur Zamarin2023-06-151-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-ml/base_bigstring: Keyword 0.15.0-r1 ppc64, #892131Arthur Zamarin2023-06-151-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-ml/int_repr: Keyword 0.15.0 ppc64, #892131Arthur Zamarin2023-06-151-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-ml/ppx_jane: Keyword 0.15.0 ppc64, #892131Arthur Zamarin2023-06-151-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-ml/ppx_log: Keyword 0.15.0-r1 ppc64, #892131Arthur Zamarin2023-06-151-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>