summaryrefslogtreecommitdiff
path: root/dev-ml
Commit message (Expand)AuthorAgeFilesLines
* dev-ml/dune-private-libs: Stabilize 3.16.0-r3 ppc64, #937870Sam James2024-08-161-1/+1
* dev-ml/dune-configurator: Stabilize 3.16.0 ppc64, #937870Sam James2024-08-161-1/+1
* dev-ml/dune-build-info: Stabilize 3.16.0 ppc64, #937870Sam James2024-08-161-1/+1
* dev-ml/dune-site: Stabilize 3.16.0 ppc64, #937870Sam James2024-08-161-1/+1
* dev-ml/dune: Stabilize 3.16.0 ppc64, #937870Sam James2024-08-161-1/+1
* dev-ml/llvm-ocaml: Add 20.0.0_pre20240815 snapshotMichał Górny2024-08-152-0/+108
* 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