summaryrefslogtreecommitdiff
path: root/dev-ml
Commit message (Collapse)AuthorAgeFilesLines
* dev-ml/camlp5: Keyword 8.00.03 x86, #841446Jakov Smolić2022-05-011-1/+1
| | | | Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
* dev-ml/camlp-streams: Keyword 5.0 x86, #841446Jakov Smolić2022-05-011-1/+1
| | | | Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
* dev-ml/llvm-ocaml: Bump to 14.0.3Michał Górny2022-04-302-0/+116
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/patience_diff: 0.15.0 bumpAlfredo Tupone2022-04-272-0/+18
| | | | | Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/core_bench: 0.15.0 bumpAlfredo Tupone2022-04-272-0/+19
| | | | | Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/async_extra: 0.15.0 bumpAlfredo Tupone2022-04-272-0/+19
| | | | | Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/async: 0.15.0 bumpAlfredo Tupone2022-04-272-0/+27
| | | | | Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/async_unix: 0.15.0 bumpAlfredo Tupone2022-04-272-0/+22
| | | | | Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/async_rpc_kernel: 0.15.0 bumpAlfredo Tupone2022-04-272-0/+22
| | | | | Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/protocol_version_header: 0.15.0 bumpAlfredo Tupone2022-04-272-0/+19
| | | | | Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/llvm-ocaml: ModernizeMichał Górny2022-04-271-4/+8
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/async_kernel: 0.15.0 bumpAlfredo Tupone2022-04-272-0/+19
| | | | | Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/textutils: 0.15.0 bumpAlfredo Tupone2022-04-272-0/+22
| | | | | Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/textutils_kernel: add to treeAlfredo Tupone2022-04-273-0/+35
| | | | | Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/ocaml_intrinsics: badFileNameAlfredo Tupone2022-04-272-2/+3
| | | | | Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/core_unix: add to treeAlfredo Tupone2022-04-273-0/+37
| | | | | Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/spawn: change subslotAlfredo Tupone2022-04-271-1/+1
| | | | | Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/timezone: 0.15.0 bumpAlfredo Tupone2022-04-272-0/+19
| | | | | Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/ocaml_intrinsics: add to treeAlfredo Tupone2022-04-273-0/+34
| | | | | Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/expect_test_helpers_core: add to treeAlfredo Tupone2022-04-263-0/+34
| | | | | Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/sexp_pretty: add to treeAlfredo Tupone2022-04-263-0/+36
| | | | | Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/core_kernel: 0.15.0 bumpAlfredo Tupone2022-04-262-0/+25
| | | | | Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/core: 0.15.0 bumpAlfredo Tupone2022-04-262-0/+25
| | | | | Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/ppx_js_style: 0.15.0 bumpAlfredo Tupone2022-04-262-0/+25
| | | | | Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/base_bigstring: 0.15.0 bumpAlfredo Tupone2022-04-252-0/+19
| | | | | Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/int_repr: add to treeAlfredo Tupone2022-04-253-0/+32
| | | | | Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/ppx_jane: 0.15.0 bumpAlfredo Tupone2022-04-252-0/+33
| | | | | | Closes: https://bugs.gentoo.org/838703 Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/ppx_variants_conv: 0.15.0 bumpAlfredo Tupone2022-04-252-0/+23
| | | | | Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/variantslib: 0.15.0 bumpAlfredo Tupone2022-04-252-0/+19
| | | | | Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/ppx_typerep_conv: 0.15.0 bumpAlfredo Tupone2022-04-252-0/+23
| | | | | Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/typerep: 0.15.0 bumpAlfredo Tupone2022-04-252-0/+19
| | | | | Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/ppx_string: 0.15.0 bumpAlfredo Tupone2022-04-252-0/+22
| | | | | Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/ppx_stable: 0.15.0 bumpAlfredo Tupone2022-04-252-0/+23
| | | | | Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/ppx_pipebang: 0.15.0 bumpAlfredo Tupone2022-04-252-0/+23
| | | | | Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/ppx_optional: 0.15.0 bumpAlfredo Tupone2022-04-252-0/+23
| | | | | Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/ppx_module_timer: 0.15.0 bumpAlfredo Tupone2022-04-252-0/+20
| | | | | Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/ppx_log: add to treeAlfredo Tupone2022-04-253-0/+34
| | | | | Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/sexplib: change subslotAlfredo Tupone2022-04-251-1/+1
| | | | | Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/ppx_disable_unused_warnings: BadFilenameAlfredo Tupone2022-04-252-2/+3
| | | | | Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/ppx_ignore_instrumentation: add to treeAlfredo Tupone2022-04-253-0/+31
| | | | | Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/ppx_fixed_literal: 0.15.0 bumpAlfredo Tupone2022-04-252-0/+24
| | | | | Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/ppx_expect: change subslot and cleanAlfredo Tupone2022-04-251-12/+3
| | | | | Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/ppx_disable_unused_warnings: add to treeAlfredo Tupone2022-04-253-0/+32
| | | | | Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/ppx_custom_printf: 0.15.0 bumpAlfredo Tupone2022-04-252-0/+19
| | | | | Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/ppx_bin_prot: 0.15.0 bumpAlfredo Tupone2022-04-242-0/+26
| | | | | Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/llvm-ocaml: Remove LLVM 11Michał Górny2022-04-242-125/+0
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/bin_prot: change subslotAlfredo Tupone2022-04-241-2/+2
| | | | | Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/base_quickcheck: 0.15.0 bumpAlfredo Tupone2022-04-242-0/+25
| | | | | Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/splittable_random: 0.15.0 bumpAlfredo Tupone2022-04-242-0/+22
| | | | | Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/ppx_bench: 0.15.0 bumpAlfredo Tupone2022-04-242-0/+19
| | | | | Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>