summaryrefslogtreecommitdiff
path: root/dev-ml
Commit message (Collapse)AuthorAgeFilesLines
...
* dev-ml/llvm-ocaml: Add 19.x live ebuildMichał Górny2024-01-241-0/+110
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/ppx_import: Stabilize 1.10.0 amd64, #921517Matoro Mahri2024-01-231-2/+2
| | | | | Signed-off-by: Matoro Mahri <matoro_gentoo@matoro.tk> Signed-off-by: Ionen Wolkens <ionen@gentoo.org>
* dev-ml/ppx_blob: Stabilize 0.7.2 amd64, #921517Matoro Mahri2024-01-231-2/+2
| | | | | Signed-off-by: Matoro Mahri <matoro_gentoo@matoro.tk> Signed-off-by: Ionen Wolkens <ionen@gentoo.org>
* dev-ml/llvm-ocaml: Add 18.0.0_pre20240120 snapshotMichał Górny2024-01-222-0/+111
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/opam: Stabilize 2.0.10-r1 arm, #896100Matoro Mahri2024-01-191-1/+1
| | | | | Signed-off-by: Matoro Mahri <matoro_gentoo@matoro.tk> Signed-off-by: Ionen Wolkens <ionen@gentoo.org>
* dev-ml/opam-client: Stabilize 2.0.10 arm, #896100Matoro Mahri2024-01-191-1/+1
| | | | | Signed-off-by: Matoro Mahri <matoro_gentoo@matoro.tk> Signed-off-by: Ionen Wolkens <ionen@gentoo.org>
* dev-ml/opam-state: Stabilize 2.0.10 arm, #896100Matoro Mahri2024-01-191-1/+1
| | | | | Signed-off-by: Matoro Mahri <matoro_gentoo@matoro.tk> Signed-off-by: Ionen Wolkens <ionen@gentoo.org>
* dev-ml/opam-solver: Stabilize 2.0.10 arm, #896100Matoro Mahri2024-01-191-1/+1
| | | | | Signed-off-by: Matoro Mahri <matoro_gentoo@matoro.tk> Signed-off-by: Ionen Wolkens <ionen@gentoo.org>
* dev-ml/opam-repository: Stabilize 2.0.10 arm, #896100Matoro Mahri2024-01-191-1/+1
| | | | | Signed-off-by: Matoro Mahri <matoro_gentoo@matoro.tk> Signed-off-by: Ionen Wolkens <ionen@gentoo.org>
* dev-ml/opam-installer: Stabilize 2.0.10-r1 arm, #896100Matoro Mahri2024-01-191-1/+1
| | | | | Signed-off-by: Matoro Mahri <matoro_gentoo@matoro.tk> Signed-off-by: Ionen Wolkens <ionen@gentoo.org>
* dev-ml/opam-format: Stabilize 2.0.10 arm, #896100Matoro Mahri2024-01-191-1/+1
| | | | | Signed-off-by: Matoro Mahri <matoro_gentoo@matoro.tk> Signed-off-by: Ionen Wolkens <ionen@gentoo.org>
* dev-ml/opam-core: Stabilize 2.0.10 arm, #896100Matoro Mahri2024-01-191-1/+1
| | | | | Signed-off-by: Matoro Mahri <matoro_gentoo@matoro.tk> Signed-off-by: Ionen Wolkens <ionen@gentoo.org>
* dev-ml/llvm-ocaml: Add 18.0.0_pre20240113 snapshotMichał Górny2024-01-132-0/+111
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/llvm-ocaml: Remove redundant cmake depMichał Górny2024-01-135-10/+5
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/llvm-ocaml: Remove oldMichał Górny2024-01-124-336/+0
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/opam-format: Stabilize 2.0.10 x86, #896100Sam James2024-01-111-2/+2
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/opam-client: Stabilize 2.0.10 x86, #896100Sam James2024-01-111-2/+2
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/opam: Stabilize 2.0.10-r1 x86, #896100Sam James2024-01-111-2/+2
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/opam-state: Stabilize 2.0.10 x86, #896100Sam James2024-01-111-2/+2
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/opam-solver: Stabilize 2.0.10 x86, #896100Sam James2024-01-111-2/+2
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/opam-repository: Stabilize 2.0.10 x86, #896100Sam James2024-01-111-2/+2
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/opam-installer: Stabilize 2.0.10-r1 x86, #896100Sam James2024-01-111-2/+2
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/opam-core: Stabilize 2.0.10 x86, #896100Sam James2024-01-111-2/+2
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/llvm-ocaml: Add 18.0.0_pre20240106 snapshotMichał Górny2024-01-062-0/+112
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/ppxlib: remove unused patch(es)Michael Mair-Keimberger2023-12-311-23/+0
| | | | | | Signed-off-by: Michael Mair-Keimberger <mmk@levelnine.at> Closes: https://github.com/gentoo/gentoo/pull/34581 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/sexplib: add ocamlopt? depAlfredo Tupone2023-12-295-37/+13
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/ppx_sexp_conv: add ocamlopt? depsAlfredo Tupone2023-12-297-60/+32
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/ppxlib: add ocamlopt? depsAlfredo Tupone2023-12-2912-190/+68
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/ppx_deriving: adding ocamlopt?Alfredo Tupone2023-12-293-36/+8
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/base: add ocamlopt USE dependsAlfredo Tupone2023-12-299-101/+10
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/llvm-ocaml: Add 18.0.0_pre20231228 snapshotMichał Górny2023-12-282-0/+112
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/re: bump to 1.11.0Maciej Barć2023-12-272-0/+47
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-ml/re: drop old 1.10.3Maciej Barć2023-12-272-26/+0
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-ml/re: drop old 1.9.0Maciej Barć2023-12-272-26/+0
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-ml/llvm-ocaml: Remove LLVM 14Michał Górny2023-12-222-117/+0
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/llvm-ocaml: Remove oldMichał Górny2023-12-223-224/+0
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/llvm-ocaml: Add 18.0.0_pre20231222 snapshotMichał Górny2023-12-222-0/+112
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/opam-format: Stabilize 2.0.10 ppc64, #896100Sam James2023-12-221-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/opam-client: Stabilize 2.0.10 ppc64, #896100Sam James2023-12-221-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/opam: Stabilize 2.0.10-r1 ppc64, #896100Sam James2023-12-221-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/opam-state: Stabilize 2.0.10 ppc64, #896100Sam James2023-12-221-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/opam-solver: Stabilize 2.0.10 ppc64, #896100Sam James2023-12-221-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/opam-repository: Stabilize 2.0.10 ppc64, #896100Sam James2023-12-221-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/opam-installer: Stabilize 2.0.10-r1 ppc64, #896100Sam James2023-12-221-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/opam-core: Stabilize 2.0.10 ppc64, #896100Sam James2023-12-221-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/memtrace: remove leading whitespaceMichael Mair-Keimberger2023-12-171-1/+1
| | | | | | Signed-off-by: Michael Mair-Keimberger <mmk@levelnine.at> Closes: https://github.com/gentoo/gentoo/pull/34320 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-ml/llvm-ocaml: Add 18.0.0_pre20231215 snapshotMichał Górny2023-12-152-0/+112
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/llvm-ocaml: Remove oldMichał Górny2023-12-092-114/+0
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/opam: Stabilize 2.0.10-r1 arm64, #896100Matoro Mahri2023-12-071-1/+1
| | | | | Signed-off-by: Matoro Mahri <matoro_gentoo@matoro.tk> Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-ml/opam-client: Stabilize 2.0.10 arm64, #896100Matoro Mahri2023-12-071-1/+1
| | | | | Signed-off-by: Matoro Mahri <matoro_gentoo@matoro.tk> Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>