summaryrefslogtreecommitdiff
path: root/dev-ml
Commit message (Collapse)AuthorAgeFilesLines
...
* dev-ml/dyn: Stabilize 3.6.2 arm, #901629Arthur Zamarin2023-04-291-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-ml/stdune: Stabilize 3.6.2-r1 arm, #901629Arthur Zamarin2023-04-291-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-ml/dune-private-libs: Stabilize 3.6.2 arm, #901629Arthur Zamarin2023-04-291-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-ml/ppx_bin_prot: Stabilize 0.15.0-r1 x86, #901567Arthur Zamarin2023-04-291-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-ml/ppx_bin_prot: Stabilize 0.15.0-r1 ppc64, #901567Arthur Zamarin2023-04-291-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-ml/ppx_bin_prot: Stabilize 0.15.0-r1 arm, #901567Arthur Zamarin2023-04-291-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-ml/ppx_bin_prot: Stabilize 0.15.0-r1 arm64, #901567Arthur Zamarin2023-04-291-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-ml/camlp4: Stabilize 4.14_p1-r2 arm64, #901693Arthur Zamarin2023-04-291-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-ml/ocaml-ssl: Stabilize 0.5.13 x86, #901695Arthur Zamarin2023-04-291-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-ml/ounit2: Stabilize 2.2.6 arm, #901619Arthur Zamarin2023-04-291-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-ml/re: Stabilize 1.10.4-r2 arm, #901645Arthur Zamarin2023-04-291-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-ml/re: Stabilize 1.10.4-r2 x86, #901645Arthur Zamarin2023-04-291-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-ml/re: Stabilize 1.10.4-r2 ppc64, #901645Arthur Zamarin2023-04-291-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-ml/ounit2: Stabilize 2.2.6 arm64, #901619Arthur Zamarin2023-04-291-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-ml/core_bench: stabilize 0.15.0 for amd64Alfredo Tupone2023-04-281-1/+1
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/camlp5: stabilize 8.00.05-r1 for amd64Alfredo Tupone2023-04-281-1/+1
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/sedlex: bump to 3.1Maciej Barć2023-04-242-0/+37
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-ml/sedlex: drop old 2.3-r1Maciej Barć2023-04-242-52/+0
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-ml/utop: drop old 2.9.1-r1Maciej Barć2023-04-242-64/+0
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-ml/utop: drop old 2.9.0-r1Maciej Barć2023-04-242-64/+0
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-ml/utop: bump to 2.12.1Maciej Barć2023-04-242-0/+65
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-ml/gen: bump to 1.1Maciej Barć2023-04-242-0/+30
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-ml/alcotest: stabilize 1.6.0-r1 for amd64Alfredo Tupone2023-04-241-1/+1
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/async: stabilize 0.15.0 for amd64Alfredo Tupone2023-04-241-1/+1
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/textutils: stabilize 0.15.0 for amd64Alfredo Tupone2023-04-241-1/+1
| | | | | Bug: https://bugs.gentoo.org/901715 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/async_unix: stabilize 0.15.0 for amd64Alfredo Tupone2023-04-241-1/+1
| | | | | Bug: https://bugs.gentoo.org/901669 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/core_unix: stabilize 0.15.2-r1 for amd64Alfredo Tupone2023-04-241-1/+1
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/ocaml_intrinsics: stabilize 0.15.2 for amd64Alfredo Tupone2023-04-241-1/+1
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/expect_test_helpers_core: stabilize 0.15.0-r1 for amd64Alfredo Tupone2023-04-241-1/+1
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/sexp_pretty: stabilize 0.15.1-r1 for amd64Alfredo Tupone2023-04-241-1/+1
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/async_rpc_kernel: stabilize 0.15.0 for amd64Alfredo Tupone2023-04-241-1/+1
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/protocol_version_header: stabilize 0.15.0 for amd64Alfredo Tupone2023-04-241-1/+1
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/async_rpc_kernel: update maintainersAlfredo Tupone2023-04-241-5/+8
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/async: update maintainersAlfredo Tupone2023-04-241-1/+4
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/lwt: stabilize 5.6.1 for amd64Alfredo Tupone2023-04-241-1/+1
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/luv: stabilize 0.5.11-r2 for amd64Alfredo Tupone2023-04-241-2/+2
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/ocaml-ssl: stabilize 0.5.13 for amd64Alfredo Tupone2023-04-241-1/+1
| | | | | Bug: https://bugs.gentoo.org/901695 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/pcre-ocaml: stabilize 7.5.0 for amd64Alfredo Tupone2023-04-241-1/+1
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/ppxlib: stabilize 0.29.1 for amd64Alfredo Tupone2023-04-241-1/+1
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/llvm-ocaml: Add 17.0.0_pre20230421 snapshotMichał Górny2023-04-212-0/+113
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/llvm-ocaml: Enable assertions in 17.x by defaultMichał Górny2023-04-211-1/+1
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/textutils_kernel: stabilize 0.15.0 for amd64Alfredo Tupone2023-04-211-1/+1
| | | | | Bug: https://bugs.gentoo.org/901715 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/timezone: stabilize 0.15.0 for amd64Alfredo Tupone2023-04-211-1/+1
| | | | | Bug: https://bugs.gentoo.org/901665 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/core_unix: fix musl buildAlfredo Tupone2023-04-202-0/+13
| | | | | Closes: https://bugs.gentoo.org/895840 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/core_unix: don't use gcc directlyAlfredo Tupone2023-04-201-1/+10
| | | | | Closes: https://bugs.gentoo.org/892469 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/async_kernel: stabilize 0.15.0 for amd64Alfredo Tupone2023-04-191-1/+1
| | | | | Bug: https://bugs.gentoo.org/901603 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/core_kernel: stabilize 0.15.0 for amd64Alfredo Tupone2023-04-191-1/+1
| | | | | Bug: https://bugs.gentoo.org/901601 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/core: stabilize 0.15.1-r1 for amd64Alfredo Tupone2023-04-191-1/+1
| | | | | Bug: https://bugs.gentoo.org/901599 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/base_bigstring: stabilize 0.15.0-r1 for amd64Alfredo Tupone2023-04-191-1/+1
| | | | | Bug: https://bugs.gentoo.org/901597 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/llvm-ocaml: Bump to 16.0.2Michał Górny2023-04-192-0/+114
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>