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/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>
* dev-ml/ocaml-gettext-stub: fix camomile breakageMaciej Barć2023-04-191-11/+16
| | | | | Bug: https://bugs.gentoo.org/904506 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-ml/llvm-ocaml: 16.x live is now 16.0.3.9999Michał Górny2023-04-191-0/+0
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/int_repr: stabilize 0.15.0 for amd64Alfredo Tupone2023-04-191-1/+1
| | | | | Bug: https://bugs.gentoo.org/901595 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/ocaml-gettext-camomile: fix camomile depThomas Bracht Laumann Jespersen2023-04-181-3/+3
| | | | | | Signed-off-by: Thomas Bracht Laumann Jespersen <t@laumann.xyz> Closes: https://github.com/gentoo/gentoo/pull/30641 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-ml/charinfo_width: require <dev-ml/camomile-2.0.0Thomas Bracht Laumann Jespersen2023-04-181-3/+3
| | | | | | Closes: https://bugs.gentoo.org/904505 Signed-off-by: Thomas Bracht Laumann Jespersen <t@laumann.xyz> Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-ml/ocaml-gettext: drop dev-ml/camomile dep, EAPI 7 -> 8Thomas Bracht Laumann Jespersen2023-04-181-8/+9
| | | | | | Closes: https://bugs.gentoo.org/904506 Signed-off-by: Thomas Bracht Laumann Jespersen <t@laumann.xyz> Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-ml/camomile: add 2.0.0Thomas Bracht Laumann Jespersen2023-04-183-1/+27
| | | | | | Signed-off-by: Thomas Bracht Laumann Jespersen <t@laumann.xyz> Closes: https://github.com/gentoo/gentoo/pull/30631 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-ml/dune-site: Keyword 3.7.1 arm64, #904491Sam James2023-04-181-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/dune-site: Keyword 3.7.1 ppc64, #904491Sam James2023-04-181-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/dune-site: Keyword 3.7.1 ppc, #904491Sam James2023-04-181-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/dune-site: Keyword 3.7.1 arm, #904475Jakov Smolić2023-04-171-1/+1
| | | | Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
* dev-ml/alcotest: add 1.7.0Alfredo Tupone2023-04-172-0/+38
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/dune: add 3.7.1Alfredo Tupone2023-04-162-0/+69
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/dune-configurator: add 3.7.1Alfredo Tupone2023-04-162-0/+40
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/dune-site: add 3.7.1Alfredo Tupone2023-04-162-0/+32
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/dune-private-libs: add 3.7.1Alfredo Tupone2023-04-162-0/+37
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>