summaryrefslogtreecommitdiff
path: root/dev-ml
Commit message (Collapse)AuthorAgeFilesLines
* */*: Reassign gienah's packagesMichał Górny2024-02-1492-368/+6
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/llvm-ocaml: Add 19.0.0_pre20240210 snapshotMichał Górny2024-02-102-0/+108
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/llvm-ocaml: Remove oldMichał Górny2024-02-103-223/+0
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/llvm-ocaml: Migrate to llvm-utilsMichał Górny2024-02-103-18/+9
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/merlin: bump to 4.13Maciej Barć2024-02-082-0/+102
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-ml/merlin: drop old 4.7-r1Maciej Barć2024-02-082-112/+0
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-ml/merlin: drop old 4.10Maciej Barć2024-02-082-100/+0
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-ml/llvm-ocaml: Add 18.1.0_rc2Michał Górny2024-02-072-0/+112
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/llvm-ocaml: Add 19.0.0_pre20240203 snapshotMichał Górny2024-02-032-0/+111
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/ppx_import: Stabilize 1.10.0 x86, #921517Matoro Mahri2024-01-311-1/+1
| | | | | Signed-off-by: Matoro Mahri <matoro_gentoo@matoro.tk> Signed-off-by: Joonas Niilola <juippis@gentoo.org>
* dev-ml/ppx_blob: Stabilize 0.7.2 x86, #921517Matoro Mahri2024-01-311-1/+1
| | | | | Signed-off-by: Matoro Mahri <matoro_gentoo@matoro.tk> Signed-off-by: Joonas Niilola <juippis@gentoo.org>
* dev-ml/llvm-ocaml: Remove 18.0.0*Michał Górny2024-01-305-443/+0
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/llvm-ocaml: Add 18.1.0_rc1Michał Górny2024-01-302-0/+112
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/llvm-ocaml: Add 19.0.0_pre20240127 snapshotMichał Górny2024-01-272-0/+111
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/alcotest: fix dependencyAlfredo Tupone2024-01-243-6/+6
| | | | | Closes: https://bugs.gentoo.org/911406 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* 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>