summaryrefslogtreecommitdiff
path: root/dev-ml
Commit message (Expand)AuthorAgeFilesLines
* dev-ml/dune-private-libs: Stabilize 3.16.0-r3 arm64, #937870Sam James2024-08-141-1/+1
* dev-ml/dune-configurator: Stabilize 3.16.0 arm64, #937870Sam James2024-08-141-1/+1
* dev-ml/dune: Stabilize 3.16.0 arm64, #937870Sam James2024-08-141-1/+1
* dev-ml/dune-private-libs: Stabilize 3.16.0-r3 arm, #937870Sam James2024-08-141-1/+1
* dev-ml/dune-configurator: Stabilize 3.16.0 arm, #937870Sam James2024-08-141-1/+1
* dev-ml/dune-site: Stabilize 3.16.0 arm, #937870Sam James2024-08-141-1/+1
* dev-ml/dune: Stabilize 3.16.0 arm, #937870Sam James2024-08-141-1/+1
* dev-ml/dune-private-libs: Stabilize 3.16.0-r3 x86, #937870Arthur Zamarin2024-08-131-1/+1
* dev-ml/dune-configurator: Stabilize 3.16.0 x86, #937870Arthur Zamarin2024-08-131-1/+1
* dev-ml/dune-build-info: Stabilize 3.16.0 x86, #937870Arthur Zamarin2024-08-131-1/+1
* dev-ml/dune-site: Stabilize 3.16.0 x86, #937870Arthur Zamarin2024-08-131-1/+1
* dev-ml/dune: Stabilize 3.16.0 x86, #937870Arthur Zamarin2024-08-131-1/+1
* dev-ml/dune-private-libs: Stabilize 3.16.0-r3 amd64, #937870Arthur Zamarin2024-08-131-1/+1
* dev-ml/dune-configurator: Stabilize 3.16.0 amd64, #937870Arthur Zamarin2024-08-131-1/+1
* dev-ml/dune-build-info: Stabilize 3.16.0 amd64, #937870Arthur Zamarin2024-08-131-1/+1
* dev-ml/dune-site: Stabilize 3.16.0 amd64, #937870Arthur Zamarin2024-08-131-1/+1
* dev-ml/dune: Stabilize 3.16.0 amd64, #937870Arthur Zamarin2024-08-131-1/+1
* dev-ml/llvm-ocaml: Remove oldMichał Górny2024-08-133-217/+0
* dev-ml/llvm-ocaml: Add 20.0.0_pre20240808 snapshotMichał Górny2024-08-082-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
* dev-ml/stdcompat: regenerate autotools filesAlfredo Tupone2024-07-301-1/+8
* dev-ml/num: fix parallel buildAlfredo Tupone2024-07-301-0/+4
* dev-ml/core_unix: fix musl buildAlfredo Tupone2024-07-291-0/+12
* dev-ml/core: sameslot for more packagesAlfredo Tupone2024-07-291-5/+5
* dev-ml/core: sameslot for ppx_stableAlfredo Tupone2024-07-291-1/+1
* dev-ml/core: sameslot for ppx_stringAlfredo Tupone2024-07-291-1/+1
* dev-ml/core: use sameslot for ppx_ignore_instrumentationAlfredo Tupone2024-07-291-1/+1
* dev-ml/core: use sameslot for typerepAlfredo Tupone2024-07-291-2/+2
* dev-ml/alcotest: add 1.8.0Alfredo Tupone2024-07-282-0/+39
* dev-ml/llvm-ocaml: Remove oldMichał Górny2024-07-274-323/+0
* dev-ml/llvm-ocaml: Add 19.1.0_rc1Michał Górny2024-07-272-0/+109
* dev-ml/llvm-ocaml: Add 20.x live ebuildsMichał Górny2024-07-231-0/+107
* dev-ml/llvm-ocaml: Add 19.0.0_pre20240720 snapshotMichał Górny2024-07-202-0/+108
* dev-ml/opam-format: drop 2.0.9, 2.0.10Alfredo Tupone2024-07-193-96/+0
* dev-ml/opam-solver: drop 2.0.9, 2.0.10Alfredo Tupone2024-07-193-86/+0