summaryrefslogtreecommitdiff
path: root/dev-ml
Commit message (Collapse)AuthorAgeFilesLines
* 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>
* dev-ml/gapi-ocaml: drop old 0.4.2-r1Maciej Barć2023-11-022-34/+0
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-ml/ounit2: bump to 2.2.7Maciej Barć2023-11-023-0/+48
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-ml/ounit2: drop old 2.2.4Maciej Barć2023-11-022-23/+0
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-ml/ounit2: drop old 2.2.3Maciej Barć2023-11-022-23/+0
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-ml/fix: bump to 20230505Maciej Barć2023-11-022-0/+17
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-ml/fix: drop old 20211125Maciej Barć2023-11-022-17/+0
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-ml/atd: drop old 2.11.0Maciej Barć2023-11-022-42/+0
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-ml/atd: drop old 2.10.0Maciej Barć2023-11-022-40/+0
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-ml/atd: bump to 2.15.0Maciej Barć2023-11-022-0/+42
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-ml/llvm-ocaml: Bump to 17.0.4Michał Górny2023-10-312-0/+114
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/llvm-ocaml: 17.x is now 17.0.4.9999Michał Górny2023-10-311-0/+0
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/camlp4: drop 4.05_p1-r2 (requires old ocaml)John Helmert III2023-10-282-46/+0
| | | | | Signed-off-by: John Helmert III <ajak@gentoo.org> Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/ocamlbuild: drop 0.11.0 (requires old ocaml)John Helmert III2023-10-282-48/+0
| | | | | Signed-off-by: John Helmert III <ajak@gentoo.org> Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/llvm-ocaml: Add 18.0.0_pre20231025 snapshotMichał Górny2023-10-262-0/+112
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/llvm-ocaml: Add 18.0.0_pre20231019 snapshotMichał Górny2023-10-192-0/+112
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/llvm-ocaml: Fix EmptyGlobalAssignmentMichał Górny2023-10-193-3/+0
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/llvm-ocaml: Remove oldMichał Górny2023-10-195-454/+0
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/llvm-ocaml: Bump to 17.0.3Michał Górny2023-10-172-0/+114
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/llvm-ocaml: Add 18.0.0_pre20231013 snapshotMichał Górny2023-10-132-0/+113
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/llvm-ocaml: 17.x live is now 17.0.3.9999Michał Górny2023-10-131-0/+0
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/merlin: drop old 4.9Maciej Barć2023-10-092-100/+0
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-ml/merlin: bump to 4.12Maciej Barć2023-10-092-0/+100
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>