Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status
summaryrefslogtreecommitdiff
path: root/dev-ml
Commit message (Collapse)AuthorAgeFilesLines
* dev-ml/camlp4: add 4.14Sam James2022-05-312-0/+54
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/llvm-ocaml: Bump to 14.0.4Michał Górny2022-05-292-0/+116
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/utop: bump to 2.9.1Maciej Barć2022-05-222-0/+28
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-ml/ocurl: arm stable wrt bug #833693Agostino Sarubbo2022-05-191-1/+1
| | | | | | Package-Manager: Portage-3.0.30, Repoman-3.0.3 RepoMan-Options: --include-arches="arm" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
* dev-ml/camlp-streams: Keyword 5.0 ppc, #841446Arthur Zamarin2022-05-031-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-ml/camlp5: Keyword 8.00.03 ppc, #841446Arthur Zamarin2022-05-031-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-ml/camlp-streams: Keyword 5.0 ppc64, #841446Arthur Zamarin2022-05-031-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-ml/camlp5: Keyword 8.00.03 ppc64, #841446Arthur Zamarin2022-05-031-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-ml/camlp-streams: Keyword 5.0 arm, #841446Arthur Zamarin2022-05-031-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-ml/camlp5: Keyword 8.00.03 arm, #841446Arthur Zamarin2022-05-031-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-ml/camlp-streams: Keyword 5.0 arm64, #841446Arthur Zamarin2022-05-031-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-ml/camlp5: Keyword 8.00.03 arm64, #841446Arthur Zamarin2022-05-031-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* 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>