summaryrefslogtreecommitdiff
path: root/dev-ml
Commit message (Collapse)AuthorAgeFilesLines
* dev-ml/mccs: Stabilize 1.1.17 arm, #938140Arthur Zamarin2024-08-231-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-ml/opam-installer: Stabilize 2.1.6 arm, #938140Arthur Zamarin2024-08-231-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-ml/opam: Stabilize 2.1.6 arm, #938140Arthur Zamarin2024-08-231-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-ml/llvm-ocaml: Add 20.0.0_pre20240822 snapshotMichał Górny2024-08-222-0/+108
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/memtrace: fix bugs-to urlMichael Mair-Keimberger2024-08-211-1/+1
| | | | | Signed-off-by: Michael Mair-Keimberger <mmk@levelnine.at> Signed-off-by: Joonas Niilola <juippis@gentoo.org>
* dev-ml/memtrace: remove trailing whitespace in DESCRIPTIONMichael Mair-Keimberger2024-08-211-2/+2
| | | | | Signed-off-by: Michael Mair-Keimberger <mmk@levelnine.at> Signed-off-by: Joonas Niilola <juippis@gentoo.org>
* dev-ml/llvm-ocaml: Add 19.1.0_rc3Michał Górny2024-08-202-0/+109
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/opam-state: remove unused patch(es)Michael Mair-Keimberger2024-08-201-142/+0
| | | | | Signed-off-by: Michael Mair-Keimberger <mmk@levelnine.at> Signed-off-by: Joonas Niilola <juippis@gentoo.org>
* dev-ml/opam-solver: remove unused patch(es)Michael Mair-Keimberger2024-08-201-142/+0
| | | | | Signed-off-by: Michael Mair-Keimberger <mmk@levelnine.at> Signed-off-by: Joonas Niilola <juippis@gentoo.org>
* dev-ml/opam-repository: remove unused patch(es)Michael Mair-Keimberger2024-08-201-142/+0
| | | | | Signed-off-by: Michael Mair-Keimberger <mmk@levelnine.at> Signed-off-by: Joonas Niilola <juippis@gentoo.org>
* dev-ml/opam-installer: remove unused patch(es)Michael Mair-Keimberger2024-08-201-142/+0
| | | | | Signed-off-by: Michael Mair-Keimberger <mmk@levelnine.at> Signed-off-by: Joonas Niilola <juippis@gentoo.org>
* dev-ml/opam: remove unused patch(es)Michael Mair-Keimberger2024-08-201-142/+0
| | | | | Signed-off-by: Michael Mair-Keimberger <mmk@levelnine.at> Signed-off-by: Joonas Niilola <juippis@gentoo.org>
* dev-ml/opam-client: remove unused patch(es)Michael Mair-Keimberger2024-08-201-142/+0
| | | | | Signed-off-by: Michael Mair-Keimberger <mmk@levelnine.at> Signed-off-by: Joonas Niilola <juippis@gentoo.org>
* dev-ml/mccs: Stabilize 1.1.17 ppc64, #938140Sam James2024-08-181-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/opam-installer: Stabilize 2.1.6 ppc64, #938140Sam James2024-08-181-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/opam: Stabilize 2.1.6 ppc64, #938140Sam James2024-08-181-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/mccs: Stabilize 1.1.17 amd64, #938140Sam James2024-08-181-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/opam-installer: Stabilize 2.1.6 amd64, #938140Sam James2024-08-181-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/opam: Stabilize 2.1.6 amd64, #938140Sam James2024-08-181-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/mccs: Stabilize 1.1.17 x86, #938140Sam James2024-08-181-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/opam-installer: Stabilize 2.1.6 x86, #938140Sam James2024-08-181-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/opam: Stabilize 2.1.6 x86, #938140Sam James2024-08-181-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/dune-private-libs: Stabilize 3.16.0-r3 ppc64, #937870Sam James2024-08-161-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/dune-configurator: Stabilize 3.16.0 ppc64, #937870Sam James2024-08-161-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/dune-build-info: Stabilize 3.16.0 ppc64, #937870Sam James2024-08-161-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/dune-site: Stabilize 3.16.0 ppc64, #937870Sam James2024-08-161-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/dune: Stabilize 3.16.0 ppc64, #937870Sam James2024-08-161-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/llvm-ocaml: Add 20.0.0_pre20240815 snapshotMichał Górny2024-08-152-0/+108
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/dune-private-libs: Stabilize 3.16.0-r3 arm64, #937870Sam James2024-08-141-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/dune-configurator: Stabilize 3.16.0 arm64, #937870Sam James2024-08-141-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/dune: Stabilize 3.16.0 arm64, #937870Sam James2024-08-141-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/dune-private-libs: Stabilize 3.16.0-r3 arm, #937870Sam James2024-08-141-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/dune-configurator: Stabilize 3.16.0 arm, #937870Sam James2024-08-141-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/dune-site: Stabilize 3.16.0 arm, #937870Sam James2024-08-141-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/dune: Stabilize 3.16.0 arm, #937870Sam James2024-08-141-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/dune-private-libs: Stabilize 3.16.0-r3 x86, #937870Arthur Zamarin2024-08-131-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-ml/dune-configurator: Stabilize 3.16.0 x86, #937870Arthur Zamarin2024-08-131-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-ml/dune-build-info: Stabilize 3.16.0 x86, #937870Arthur Zamarin2024-08-131-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-ml/dune-site: Stabilize 3.16.0 x86, #937870Arthur Zamarin2024-08-131-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-ml/dune: Stabilize 3.16.0 x86, #937870Arthur Zamarin2024-08-131-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-ml/dune-private-libs: Stabilize 3.16.0-r3 amd64, #937870Arthur Zamarin2024-08-131-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-ml/dune-configurator: Stabilize 3.16.0 amd64, #937870Arthur Zamarin2024-08-131-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-ml/dune-build-info: Stabilize 3.16.0 amd64, #937870Arthur Zamarin2024-08-131-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-ml/dune-site: Stabilize 3.16.0 amd64, #937870Arthur Zamarin2024-08-131-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-ml/dune: Stabilize 3.16.0 amd64, #937870Arthur Zamarin2024-08-131-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-ml/llvm-ocaml: Remove oldMichał Górny2024-08-133-217/+0
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/llvm-ocaml: Add 20.0.0_pre20240808 snapshotMichał Górny2024-08-082-0/+108
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/llvm-ocaml: Add 19.1.0_rc2Michał Górny2024-08-052-0/+109
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/dune-private-libs: block stdune/ordering/dynAlfredo Tupone2024-08-033-3/+15
| | | | | Closes: https://bugs.gentoo.org/937224 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/dune-private-libs: install ordering, dyn, and stdune tooHiroki Tokunaga2024-08-023-0/+12
| | | | | | Signed-off-by: Hiroki Tokunaga <tokusan441@gmail.com> Closes: https://github.com/gentoo/gentoo/pull/37926 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>