summaryrefslogtreecommitdiff
path: root/dev-ml
Commit message (Collapse)AuthorAgeFilesLines
* 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>
* dev-ml/opam-state: 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>
* dev-ml/opam-solver: 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>
* dev-ml/opam-repository: 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>
* dev-ml/opam-installer: 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-format: 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>
* dev-ml/opam-core: 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>
* dev-ml/ocaml-gettext-stub: Keyword 0.4.2-r2 ppc64, #892954Arthur Zamarin2023-12-021-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-ml/ocaml-gettext: Keyword 0.4.2-r1 ppc64, #892954Arthur Zamarin2023-12-021-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-ml/ocaml-fileutils: Keyword 0.6.4-r1 ppc64, #892954Arthur Zamarin2023-12-021-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-ml/llvm-ocaml: Add 18.0.0_pre20231129 snapshotMichał Górny2023-11-292-0/+112
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/llvm-ocaml: Bump to 17.0.6Michał Górny2023-11-292-0/+114
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/llvm-ocaml: Remove oldMichał Górny2023-11-254-338/+0
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/llvm-ocaml: Add 18.0.0_pre20231119 snapshotMichał Górny2023-11-192-0/+112
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/llvm-ocaml: Bump to 17.0.5Michał Górny2023-11-142-0/+114
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/llvm-ocaml: Remove 17.0.4.9999 (live)Michał Górny2023-11-141-111/+0
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/llvm-ocaml: Add 18.0.0_pre20231111 snapshotMichał Górny2023-11-112-0/+112
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/llvm-ocaml: Remove oldMichał Górny2023-11-115-450/+0
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/llvm-ocaml: Add 18.0.0_pre20231104 snapshotMichał Górny2023-11-042-0/+112
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/yojson: bump to 2.1.1Maciej Barć2023-11-023-0/+54
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-ml/yojson: drop old 2.0.2-r3Maciej Barć2023-11-022-45/+0
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-ml/yojson: drop old 1.7.0Maciej Barć2023-11-022-37/+0
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-ml/gapi-ocaml: patch cleanupMaciej Barć2023-11-021-58/+0
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-ml/gapi-ocaml: drop old 0.4.3Maciej Barć2023-11-022-33/+0
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>