summaryrefslogtreecommitdiff
path: root/dev-ml
Commit message (Collapse)AuthorAgeFilesLines
* dev-ml/variantslib: Stabilize 0.15.0 amd64, #901699Arthur Zamarin2023-03-261-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-ml/ppx_custom_printf: Stabilize 0.15.0-r1 amd64, #901681Arthur Zamarin2023-03-261-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-ml/ppx_custom_printf: Stabilize 0.15.0-r1 x86, #901681Arthur Zamarin2023-03-261-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-ml/cudf: Stabilize 0.10 x86, #901509Arthur Zamarin2023-03-261-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-ml/ppx_stable: Stabilize 0.15.0 ppc64, #901587Arthur Zamarin2023-03-261-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-ml/camlp4: META file belong to its packageAlfredo Tupone2023-03-268-47/+7
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/findlib: fix collisionAlfredo Tupone2023-03-261-1/+3
| | | | | Closes: https://bugs.gentoo.org/902839 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/ppx_custom_printf: Stabilize 0.15.0-r1 arm64, #901681Sam James2023-03-261-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/ppx_expect: Stabilize 0.15.1-r1 arm64, #901561Sam James2023-03-261-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/findlib: Stabilize 1.9.6 ppc64, #901661Arthur Zamarin2023-03-251-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-ml/ppx_js_style: Stabilize 0.15.0 x86, #901621Arthur Zamarin2023-03-251-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-ml/ppx_expect: Stabilize 0.15.1-r1 x86, #901561Arthur Zamarin2023-03-251-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-ml/ppx_js_style: Stabilize 0.15.0 amd64, #901621Arthur Zamarin2023-03-251-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-ml/ppx_expect: Stabilize 0.15.1-r1 ppc64, #901561Arthur Zamarin2023-03-251-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-ml/ppx_custom_printf: Stabilize 0.15.0-r1 ppc64, #901681Arthur Zamarin2023-03-251-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-ml/ppx_custom_printf: Stabilize 0.15.0-r1 arm, #901681Arthur Zamarin2023-03-251-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-ml/ppx_expect: Stabilize 0.15.1-r1 arm, #901561Arthur Zamarin2023-03-251-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-ml/base_quickcheck: Stabilize 0.15.0-r2 ppc64, #901559Arthur Zamarin2023-03-251-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-ml/base_quickcheck: Stabilize 0.15.0-r2 arm, #901559Arthur Zamarin2023-03-251-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-ml/base_quickcheck: Stabilize 0.15.0-r2 x86, #901559Arthur Zamarin2023-03-251-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-ml/ppx_sexp_value: Stabilize 0.15.0-r1 arm64, #901533Arthur Zamarin2023-03-251-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-ml/splittable_random: Stabilize 0.15.0 arm64, #901557Arthur Zamarin2023-03-251-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-ml/splittable_random: Stabilize 0.15.0 x86, #901557Arthur Zamarin2023-03-251-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-ml/ppx_log: Stabilize 0.15.0-r1 x86, #901577Arthur Zamarin2023-03-251-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-ml/ppx_log: Stabilize 0.15.0-r1 arm, #901577Arthur Zamarin2023-03-251-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-ml/ppx_log: Stabilize 0.15.0-r1 arm64, #901577Arthur Zamarin2023-03-251-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-ml/splittable_random: Stabilize 0.15.0 ppc64, #901557Arthur Zamarin2023-03-251-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-ml/splittable_random: Stabilize 0.15.0 arm, #901557Arthur Zamarin2023-03-251-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-ml/ppx_sexp_message: Stabilize 0.15.0-r1 x86, #901555Arthur Zamarin2023-03-251-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-ml/ppx_bench: Stabilize 0.15.0-r1 arm, #901553Arthur Zamarin2023-03-251-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-ml/ppx_sexp_value: Stabilize 0.15.0-r1 ppc64, #901533Arthur Zamarin2023-03-251-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-ml/ppx_sexp_value: Stabilize 0.15.0-r1 x86, #901533Arthur Zamarin2023-03-251-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-ml/ppx_sexp_message: Stabilize 0.15.0-r1 arm, #901555Arthur Zamarin2023-03-251-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-ml/ppx_sexp_message: Stabilize 0.15.0-r1 ppc64, #901555Arthur Zamarin2023-03-251-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-ml/ppx_bench: Stabilize 0.15.0-r1 ppc64, #901553Arthur Zamarin2023-03-251-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-ml/ppx_sexp_value: Stabilize 0.15.0-r1 arm, #901533Arthur Zamarin2023-03-251-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-ml/ppx_sexp_message: Stabilize 0.15.0-r1 arm64, #901555Arthur Zamarin2023-03-251-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-ml/ppx_bench: Stabilize 0.15.0-r1 x86, #901553Arthur Zamarin2023-03-251-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-ml/ppx_bench: Stabilize 0.15.0-r1 arm64, #901553Arthur Zamarin2023-03-251-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-ml/ppx_disable_unused_warnings: Stabilize 0.15.0-r1 x86, #901563Arthur Zamarin2023-03-251-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-ml/ppx_module_timer: Stabilize 0.15.0-r1 arm, #901579Arthur Zamarin2023-03-251-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-ml/ppx_module_timer: Stabilize 0.15.0-r1 x86, #901579Arthur Zamarin2023-03-251-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-ml/ppx_module_timer: Stabilize 0.15.0-r1 ppc64, #901579Arthur Zamarin2023-03-251-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-ml/ppx_module_timer: Stabilize 0.15.0-r1 arm64, #901579Arthur Zamarin2023-03-251-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-ml/ppx_typerep_conv: Stabilize 0.15.0 x86, #901591Arthur Zamarin2023-03-251-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-ml/ppx_inline_test: Stabilize 0.15.0-r3 arm, #901551Arthur Zamarin2023-03-251-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-ml/ppx_inline_test: Stabilize 0.15.0-r3 x86, #901551Arthur Zamarin2023-03-251-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-ml/ppx_inline_test: Stabilize 0.15.0-r3 ppc64, #901551Arthur Zamarin2023-03-251-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-ml/ppx_inline_test: Stabilize 0.15.0-r3 arm64, #901551Arthur Zamarin2023-03-251-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-ml/ppx_string: Stabilize 0.15.0-r1 x86, #901585Arthur Zamarin2023-03-251-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>