summaryrefslogtreecommitdiff
path: root/dev-ml
Commit message (Collapse)AuthorAgeFilesLines
* dev-ml/ppxlib: add 0.29.1Alfredo Tupone2023-02-152-0/+40
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/ocamlbuild: Drop alpha keywordsMatt Turner2023-02-154-4/+4
| | | | Signed-off-by: Matt Turner <mattst88@gentoo.org>
* dev-ml/labltk: Drop alpha keywordsMatt Turner2023-02-155-5/+5
| | | | Signed-off-by: Matt Turner <mattst88@gentoo.org>
* dev-ml/lablgtk: Drop alpha keywordsMatt Turner2023-02-153-3/+3
| | | | Signed-off-by: Matt Turner <mattst88@gentoo.org>
* dev-ml/lablgl: Drop alpha keywordsMatt Turner2023-02-151-1/+1
| | | | Signed-off-by: Matt Turner <mattst88@gentoo.org>
* dev-ml/findlib: Drop alpha keywordsMatt Turner2023-02-154-4/+4
| | | | Signed-off-by: Matt Turner <mattst88@gentoo.org>
* dev-ml/facile: Drop alpha keywordsMatt Turner2023-02-152-2/+2
| | | | Signed-off-by: Matt Turner <mattst88@gentoo.org>
* dev-ml/camlp5: Drop alpha keywordsMatt Turner2023-02-157-7/+7
| | | | Signed-off-by: Matt Turner <mattst88@gentoo.org>
* dev-ml/camlp4: Drop alpha keywordsMatt Turner2023-02-158-8/+8
| | | | Signed-off-by: Matt Turner <mattst88@gentoo.org>
* dev-ml/llvm-ocaml: Remove oldMichał Górny2023-02-153-227/+0
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/ocaml-migrate-parsetree: fix dep on ocamlAlfredo Tupone2023-02-131-3/+4
| | | | | Closes: https://bugs.gentoo.org/894228 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/merlin: fix build with ocaml-4.14.1Alfredo Tupone2023-02-121-2/+5
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/labltk: update EAPI 7 -> 8Alfredo Tupone2023-02-111-1/+2
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/llvm-ocaml: Add 17.0.0_pre20230211 snapshotMichał Górny2023-02-112-0/+113
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/camlp4: RDEP changedAlfredo Tupone2023-02-111-0/+0
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/camlp4: compatible also with ocaml-4.14.1Alfredo Tupone2023-02-111-1/+1
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/ocaml-expat: add 1.3.0Alfredo Tupone2023-02-112-0/+56
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/async_rpc_kernel: Keyword 0.15.0 riscv, #892131Yixun Lan2023-02-101-2/+2
| | | | Signed-off-by: Yixun Lan <dlan@gentoo.org>
* dev-ml/protocol_version_header: Keyword 0.15.0 riscv, #892131Yixun Lan2023-02-101-2/+2
| | | | Signed-off-by: Yixun Lan <dlan@gentoo.org>
* dev-ml/textutils_kernel: Keyword 0.15.0 riscv, #892131Yixun Lan2023-02-101-2/+2
| | | | Signed-off-by: Yixun Lan <dlan@gentoo.org>
* dev-ml/expect_test_helpers_core: Keyword 0.15.0-r1 riscv, #892131Yixun Lan2023-02-101-2/+2
| | | | Signed-off-by: Yixun Lan <dlan@gentoo.org>
* dev-ml/sexp_pretty: Keyword 0.15.1-r1 riscv, #892131Yixun Lan2023-02-101-1/+1
| | | | Signed-off-by: Yixun Lan <dlan@gentoo.org>
* dev-ml/timezone: Keyword 0.15.0 riscv, #892131Yixun Lan2023-02-101-1/+1
| | | | Signed-off-by: Yixun Lan <dlan@gentoo.org>
* dev-ml/patience_diff: Keyword 0.15.0 riscv, #892131Yixun Lan2023-02-101-1/+1
| | | | Signed-off-by: Yixun Lan <dlan@gentoo.org>
* dev-ml/async_kernel: Keyword 0.15.0 riscv, #892131Yixun Lan2023-02-101-1/+1
| | | | Signed-off-by: Yixun Lan <dlan@gentoo.org>
* dev-ml/core_kernel: Keyword 0.15.0 riscv, #892131Yixun Lan2023-02-101-1/+1
| | | | Signed-off-by: Yixun Lan <dlan@gentoo.org>
* dev-ml/core: Keyword 0.15.1-r1 riscv, #892131Yixun Lan2023-02-101-1/+1
| | | | Signed-off-by: Yixun Lan <dlan@gentoo.org>
* dev-ml/base_bigstring: Keyword 0.15.0-r1 riscv, #892131Yixun Lan2023-02-101-1/+1
| | | | Signed-off-by: Yixun Lan <dlan@gentoo.org>
* dev-ml/int_repr: Keyword 0.15.0 riscv, #892131Yixun Lan2023-02-101-2/+2
| | | | Signed-off-by: Yixun Lan <dlan@gentoo.org>
* dev-ml/ppx_jane: Keyword 0.15.0 riscv, #892131Yixun Lan2023-02-101-1/+1
| | | | Signed-off-by: Yixun Lan <dlan@gentoo.org>
* dev-ml/ppx_log: Keyword 0.15.0-r1 riscv, #892131Yixun Lan2023-02-101-1/+1
| | | | Signed-off-by: Yixun Lan <dlan@gentoo.org>
* dev-ml/ppx_ignore_instrumentation: Keyword 0.15.0-r1 riscv, #892131Yixun Lan2023-02-101-2/+2
| | | | Signed-off-by: Yixun Lan <dlan@gentoo.org>
* dev-ml/ppx_disable_unused_warnings: Keyword 0.15.0-r1 riscv, #892131Yixun Lan2023-02-101-2/+2
| | | | Signed-off-by: Yixun Lan <dlan@gentoo.org>
* dev-ml/base_quickcheck: add ppxlib depAlfredo Tupone2023-02-101-0/+1
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/ppx_log: add ppxlib depAlfredo Tupone2023-02-101-1/+2
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/ppx_string: add ppxlib depAlfredo Tupone2023-02-101-1/+2
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/ppx_sexp_value: add ppxlib depAlfredo Tupone2023-02-101-1/+2
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/ppx_module_timer: add ppxlib depAlfredo Tupone2023-02-101-2/+5
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/ppx_custom_printf: add ppxlib depAlfredo Tupone2023-02-101-2/+5
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/ppx_bin_prot: add deps on ppxlibAlfredo Tupone2023-02-091-2/+3
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/ppx_bench: fix for ppxlib-0.29.0Alfredo Tupone2023-02-092-2/+30
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/ppx_sexp_message: add ppxlib depsAlfredo Tupone2023-02-091-1/+2
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/ppx_hash: add ppxlib depsAlfredo Tupone2023-02-091-1/+2
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/ppx_inline_test: patch for newest ppxlibMaciej Barć2023-02-082-0/+51
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-ml/ppxlib: add 0.29.0Alfredo Tupone2023-02-082-0/+40
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/seq: add 0.3.1Alfredo Tupone2023-02-082-0/+18
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/llvm-ocaml: Remove 16.0.0 snapshotsMichał Górny2023-02-083-226/+0
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/llvm-ocaml: Add 16.0.0_rc2Michał Górny2023-02-082-0/+114
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/llvm-ocaml: Add 17.0.0_pre20230203 snapshotMichał Górny2023-02-042-0/+113
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/curses: add 1.0.11Alfredo Tupone2023-02-022-0/+21
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>