Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status
summaryrefslogtreecommitdiff
path: root/dev-ml
Commit message (Expand)AuthorAgeFilesLines
* dev-ml/llvm-ocaml: Add 18.0.0_pre20231228 snapshotMichał Górny2023-12-282-0/+112
* dev-ml/re: bump to 1.11.0Maciej Barć2023-12-272-0/+47
* dev-ml/re: drop old 1.10.3Maciej Barć2023-12-272-26/+0
* dev-ml/re: drop old 1.9.0Maciej Barć2023-12-272-26/+0
* dev-ml/llvm-ocaml: Remove LLVM 14Michał Górny2023-12-222-117/+0
* dev-ml/llvm-ocaml: Remove oldMichał Górny2023-12-223-224/+0
* dev-ml/llvm-ocaml: Add 18.0.0_pre20231222 snapshotMichał Górny2023-12-222-0/+112
* dev-ml/opam-format: Stabilize 2.0.10 ppc64, #896100Sam James2023-12-221-1/+1
* dev-ml/opam-client: Stabilize 2.0.10 ppc64, #896100Sam James2023-12-221-1/+1
* dev-ml/opam: Stabilize 2.0.10-r1 ppc64, #896100Sam James2023-12-221-1/+1
* dev-ml/opam-state: Stabilize 2.0.10 ppc64, #896100Sam James2023-12-221-1/+1
* dev-ml/opam-solver: Stabilize 2.0.10 ppc64, #896100Sam James2023-12-221-1/+1
* dev-ml/opam-repository: Stabilize 2.0.10 ppc64, #896100Sam James2023-12-221-1/+1
* dev-ml/opam-installer: Stabilize 2.0.10-r1 ppc64, #896100Sam James2023-12-221-1/+1
* dev-ml/opam-core: Stabilize 2.0.10 ppc64, #896100Sam James2023-12-221-1/+1
* dev-ml/memtrace: remove leading whitespaceMichael Mair-Keimberger2023-12-171-1/+1
* dev-ml/llvm-ocaml: Add 18.0.0_pre20231215 snapshotMichał Górny2023-12-152-0/+112
* dev-ml/llvm-ocaml: Remove oldMichał Górny2023-12-092-114/+0
* dev-ml/opam: Stabilize 2.0.10-r1 arm64, #896100Matoro Mahri2023-12-071-1/+1
* dev-ml/opam-client: Stabilize 2.0.10 arm64, #896100Matoro Mahri2023-12-071-1/+1
* dev-ml/opam-state: Stabilize 2.0.10 arm64, #896100Matoro Mahri2023-12-071-1/+1
* dev-ml/opam-solver: Stabilize 2.0.10 arm64, #896100Matoro Mahri2023-12-071-1/+1
* dev-ml/opam-repository: Stabilize 2.0.10 arm64, #896100Matoro Mahri2023-12-071-1/+1
* dev-ml/opam-installer: Stabilize 2.0.10-r1 arm64, #896100Matoro Mahri2023-12-071-1/+1
* dev-ml/opam-format: Stabilize 2.0.10 arm64, #896100Matoro Mahri2023-12-071-1/+1
* dev-ml/opam-core: Stabilize 2.0.10 arm64, #896100Matoro Mahri2023-12-071-1/+1
* dev-ml/ocaml-gettext-stub: Keyword 0.4.2-r2 ppc64, #892954Arthur Zamarin2023-12-021-1/+1
* dev-ml/ocaml-gettext: Keyword 0.4.2-r1 ppc64, #892954Arthur Zamarin2023-12-021-1/+1
* dev-ml/ocaml-fileutils: Keyword 0.6.4-r1 ppc64, #892954Arthur Zamarin2023-12-021-1/+1
* dev-ml/llvm-ocaml: Add 18.0.0_pre20231129 snapshotMichał Górny2023-11-292-0/+112
* dev-ml/llvm-ocaml: Bump to 17.0.6Michał Górny2023-11-292-0/+114
* dev-ml/llvm-ocaml: Remove oldMichał Górny2023-11-254-338/+0
* dev-ml/llvm-ocaml: Add 18.0.0_pre20231119 snapshotMichał Górny2023-11-192-0/+112
* dev-ml/llvm-ocaml: Bump to 17.0.5Michał Górny2023-11-142-0/+114
* dev-ml/llvm-ocaml: Remove 17.0.4.9999 (live)Michał Górny2023-11-141-111/+0
* dev-ml/llvm-ocaml: Add 18.0.0_pre20231111 snapshotMichał Górny2023-11-112-0/+112
* dev-ml/llvm-ocaml: Remove oldMichał Górny2023-11-115-450/+0
* dev-ml/llvm-ocaml: Add 18.0.0_pre20231104 snapshotMichał Górny2023-11-042-0/+112
* dev-ml/yojson: bump to 2.1.1Maciej Barć2023-11-023-0/+54
* dev-ml/yojson: drop old 2.0.2-r3Maciej Barć2023-11-022-45/+0
* dev-ml/yojson: drop old 1.7.0Maciej Barć2023-11-022-37/+0
* dev-ml/gapi-ocaml: patch cleanupMaciej Barć2023-11-021-58/+0
* dev-ml/gapi-ocaml: drop old 0.4.3Maciej Barć2023-11-022-33/+0
* dev-ml/gapi-ocaml: drop old 0.4.2-r1Maciej Barć2023-11-022-34/+0
* dev-ml/ounit2: bump to 2.2.7Maciej Barć2023-11-023-0/+48
* dev-ml/ounit2: drop old 2.2.4Maciej Barć2023-11-022-23/+0
* dev-ml/ounit2: drop old 2.2.3Maciej Barć2023-11-022-23/+0
* dev-ml/fix: bump to 20230505Maciej Barć2023-11-022-0/+17
* dev-ml/fix: drop old 20211125Maciej Barć2023-11-022-17/+0
* dev-ml/atd: drop old 2.11.0Maciej Barć2023-11-022-42/+0