summaryrefslogtreecommitdiff
path: root/dev-ml
Commit message (Collapse)AuthorAgeFilesLines
...
* dev-ml/core_bench: Stabilize 0.15.0 arm64, #901717Sam James2023-05-061-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/textutils_kernel: Stabilize 0.15.0 arm64, #901715Sam James2023-05-051-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/textutils: Stabilize 0.15.0 arm64, #901715Sam James2023-05-051-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/async_unix: Stabilize 0.15.0 arm64, #901669Sam James2023-05-051-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/async_unix: Stabilize 0.15.0 arm, #901669Arthur Zamarin2023-05-051-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-ml/async_unix: Stabilize 0.15.0 x86, #901669Arthur Zamarin2023-05-051-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-ml/textutils_kernel: Stabilize 0.15.0 x86, #901715Arthur Zamarin2023-05-051-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-ml/textutils: Stabilize 0.15.0 x86, #901715Arthur Zamarin2023-05-051-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-ml/textutils_kernel: Stabilize 0.15.0 arm, #901715Arthur Zamarin2023-05-051-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-ml/textutils: Stabilize 0.15.0 arm, #901715Arthur Zamarin2023-05-051-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-ml/llvm-ocaml: Bump to 16.0.3Michał Górny2023-05-032-0/+114
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/cppo: stabilize 1.6.9-r1 for amd64Alfredo Tupone2023-05-021-1/+1
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/llvm-ocaml: Add 17.0.0_pre20230502 snapshotMichał Górny2023-05-022-0/+113
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/sexp_pretty: Stabilize 0.15.1-r1 arm, #901667Sam James2023-04-301-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/expect_test_helpers_core: Stabilize 0.15.0-r1 arm, #901667Sam James2023-04-301-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/ocaml_intrinsics: Stabilize 0.15.2 arm, #901667Sam James2023-04-301-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/core_unix: Stabilize 0.15.2-r1 arm, #901667Sam James2023-04-301-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/async_kernel: Stabilize 0.15.0 arm, #901603Sam James2023-04-301-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/sexp_pretty: Stabilize 0.15.1-r1 arm64, #901667Sam James2023-04-301-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/expect_test_helpers_core: Stabilize 0.15.0-r1 arm64, #901667Sam James2023-04-301-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/ocaml_intrinsics: Stabilize 0.15.2 arm64, #901667Sam James2023-04-301-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/core_unix: Stabilize 0.15.2-r1 arm64, #901667Sam James2023-04-301-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/sexp_pretty: Stabilize 0.15.1-r1 x86, #901667Sam James2023-04-301-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/expect_test_helpers_core: Stabilize 0.15.0-r1 x86, #901667Sam James2023-04-301-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/ocaml_intrinsics: Stabilize 0.15.2 x86, #901667Sam James2023-04-301-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/core_unix: Stabilize 0.15.2-r1 x86, #901667Sam James2023-04-301-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/async_kernel: Stabilize 0.15.0 arm64, #901603Sam James2023-04-301-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/async_kernel: Stabilize 0.15.0 x86, #901603Sam James2023-04-301-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/core_kernel: Stabilize 0.15.0 arm, #901601Sam James2023-04-301-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/timezone: Stabilize 0.15.0 arm, #901665Sam James2023-04-301-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/timezone: Stabilize 0.15.0 x86, #901665Sam James2023-04-301-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/timezone: Stabilize 0.15.0 arm64, #901665Sam James2023-04-301-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/core_kernel: Stabilize 0.15.0 x86, #901601Sam James2023-04-301-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/core_kernel: Stabilize 0.15.0 arm64, #901601Sam James2023-04-301-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/core: Stabilize 0.15.1-r1 arm64, #901599Sam James2023-04-291-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/core: Stabilize 0.15.1-r1 arm, #901599Sam James2023-04-291-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/core: Stabilize 0.15.1-r1 x86, #901599Sam James2023-04-291-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/base_bigstring: Stabilize 0.15.0-r1 arm, #901597Sam James2023-04-291-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/base_bigstring: Stabilize 0.15.0-r1 arm64, #901597Sam James2023-04-291-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/dune-site: Stabilize 3.6.2 x86, #901631Arthur Zamarin2023-04-291-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-ml/dune-site: Stabilize 3.6.2 amd64, #901631Arthur Zamarin2023-04-291-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-ml/base_bigstring: Stabilize 0.15.0-r1 x86, #901597Arthur Zamarin2023-04-291-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-ml/camlp4: Stabilize 4.14_p1-r2 x86, #901693Arthur Zamarin2023-04-291-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-ml/int_repr: Stabilize 0.15.0 x86, #901595Arthur Zamarin2023-04-291-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-ml/int_repr: Stabilize 0.15.0 arm, #901595Arthur Zamarin2023-04-291-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-ml/int_repr: Stabilize 0.15.0 arm64, #901595Arthur Zamarin2023-04-291-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-ml/ppx_jane: Stabilize 0.15.0 x86, #901593Arthur Zamarin2023-04-291-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-ml/camlp4: Stabilize 4.14_p1-r2 ppc64, #901693Sam James2023-04-291-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/stdune: Stabilize 3.6.2-r1 ppc64, #901629Arthur Zamarin2023-04-291-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-ml/dune-private-libs: Stabilize 3.6.2 ppc64, #901629Arthur Zamarin2023-04-291-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>