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/mccs: Stabilize 1.1.17 ppc64, #938140Sam James25 hours1-1/+1
* dev-ml/opam-installer: Stabilize 2.1.6 ppc64, #938140Sam James25 hours1-1/+1
* dev-ml/opam: Stabilize 2.1.6 ppc64, #938140Sam James25 hours1-1/+1
* dev-ml/mccs: Stabilize 1.1.17 amd64, #938140Sam James25 hours1-1/+1
* dev-ml/opam-installer: Stabilize 2.1.6 amd64, #938140Sam James25 hours1-1/+1
* dev-ml/opam: Stabilize 2.1.6 amd64, #938140Sam James25 hours1-1/+1
* dev-ml/mccs: Stabilize 1.1.17 x86, #938140Sam James25 hours1-1/+1
* dev-ml/opam-installer: Stabilize 2.1.6 x86, #938140Sam James25 hours1-1/+1
* dev-ml/opam: Stabilize 2.1.6 x86, #938140Sam James25 hours1-1/+1
* dev-ml/dune-private-libs: Stabilize 3.16.0-r3 ppc64, #937870Sam James3 days1-1/+1
* dev-ml/dune-configurator: Stabilize 3.16.0 ppc64, #937870Sam James3 days1-1/+1
* dev-ml/dune-build-info: Stabilize 3.16.0 ppc64, #937870Sam James3 days1-1/+1
* dev-ml/dune-site: Stabilize 3.16.0 ppc64, #937870Sam James3 days1-1/+1
* dev-ml/dune: Stabilize 3.16.0 ppc64, #937870Sam James3 days1-1/+1
* dev-ml/llvm-ocaml: Add 20.0.0_pre20240815 snapshotMichał Górny4 days2-0/+108
* dev-ml/dune-private-libs: Stabilize 3.16.0-r3 arm64, #937870Sam James5 days1-1/+1
* dev-ml/dune-configurator: Stabilize 3.16.0 arm64, #937870Sam James5 days1-1/+1
* dev-ml/dune: Stabilize 3.16.0 arm64, #937870Sam James5 days1-1/+1
* dev-ml/dune-private-libs: Stabilize 3.16.0-r3 arm, #937870Sam James5 days1-1/+1
* dev-ml/dune-configurator: Stabilize 3.16.0 arm, #937870Sam James5 days1-1/+1
* dev-ml/dune-site: Stabilize 3.16.0 arm, #937870Sam James5 days1-1/+1
* dev-ml/dune: Stabilize 3.16.0 arm, #937870Sam James5 days1-1/+1
* dev-ml/dune-private-libs: Stabilize 3.16.0-r3 x86, #937870Arthur Zamarin6 days1-1/+1
* dev-ml/dune-configurator: Stabilize 3.16.0 x86, #937870Arthur Zamarin6 days1-1/+1
* dev-ml/dune-build-info: Stabilize 3.16.0 x86, #937870Arthur Zamarin6 days1-1/+1
* dev-ml/dune-site: Stabilize 3.16.0 x86, #937870Arthur Zamarin6 days1-1/+1
* dev-ml/dune: Stabilize 3.16.0 x86, #937870Arthur Zamarin6 days1-1/+1
* dev-ml/dune-private-libs: Stabilize 3.16.0-r3 amd64, #937870Arthur Zamarin6 days1-1/+1
* dev-ml/dune-configurator: Stabilize 3.16.0 amd64, #937870Arthur Zamarin6 days1-1/+1
* dev-ml/dune-build-info: Stabilize 3.16.0 amd64, #937870Arthur Zamarin6 days1-1/+1
* dev-ml/dune-site: Stabilize 3.16.0 amd64, #937870Arthur Zamarin6 days1-1/+1
* dev-ml/dune: Stabilize 3.16.0 amd64, #937870Arthur Zamarin6 days1-1/+1
* dev-ml/llvm-ocaml: Remove oldMichał Górny7 days3-217/+0
* dev-ml/llvm-ocaml: Add 20.0.0_pre20240808 snapshotMichał Górny11 days2-0/+108
* dev-ml/llvm-ocaml: Add 19.1.0_rc2Michał Górny2024-08-052-0/+109
* dev-ml/dune-private-libs: block stdune/ordering/dynAlfredo Tupone2024-08-033-3/+15
* dev-ml/dune-private-libs: install ordering, dyn, and stdune tooHiroki Tokunaga2024-08-023-0/+12
* dev-ml/ordering: drop 3.11.1Alfredo Tupone2024-08-022-30/+0
* dev-ml/dyn: drop 3.11.1Alfredo Tupone2024-08-022-32/+0
* dev-ml/stdune: drop 3.11.1Alfredo Tupone2024-08-022-35/+0
* dev-ml/dune-private-libs: collaps ordering dyn stdune in hereAlfredo Tupone2024-08-021-2/+4
* dev-ml/dune-configurator: drop 2.8.4Alfredo Tupone2024-08-022-117/+0
* dev-ml/llvm-ocaml: Remove oldMichał Górny2024-08-012-108/+0
* dev-ml/llvm-ocaml: Add 20.0.0_pre20240801 snapshotMichał Górny2024-08-012-0/+108
* dev-ml/ordering: drop 3.13.1Alfredo Tupone2024-08-012-30/+0
* dev-ml/dyn: drop 3.13.1Alfredo Tupone2024-08-012-32/+0
* dev-ml/stdune: drop 3.13.1Alfredo Tupone2024-08-012-37/+0
* dev-ml/dune-private-libs: collaps ordering dyn stdune in hereAlfredo Tupone2024-08-011-4/+1
* dev-ml/coq-menhirlib: bump to 20231231Maciej Barć2024-08-012-0/+45
* dev-ml/utop: add alcotest depsAlfredo Tupone2024-08-011-1/+4