summaryrefslogtreecommitdiff
path: root/dev-ml
Commit message (Expand)AuthorAgeFilesLines
* 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
* dev-ml/opam-repository: drop 2.0.9, 2.0.10Alfredo Tupone2024-07-193-80/+0
* dev-ml/opam-state: drop 2.0.9, 2.0.10Alfredo Tupone2024-07-193-78/+0
* dev-ml/opam-client: drop 2.0.9, 2.0.10Alfredo Tupone2024-07-193-84/+0
* dev-ml/opam: drop 2.0.9, 2.0.10-r1Alfredo Tupone2024-07-193-86/+0
* dev-ml/opam-installer: drop 2.0.9-r1, 2.0.10-r1Alfredo Tupone2024-07-193-94/+0
* dev-ml/fmt: update maintainersAlfredo Tupone2024-07-191-1/+4
* dev-ml/astring: update maintainersAlfredo Tupone2024-07-191-1/+4
* dev-ml/*: drop package version included in dune-private-libsAlfredo Tupone2024-07-196-98/+0
* dev-ml/dune-private-libs: collaps ordering dyn stdune in hereAlfredo Tupone2024-07-191-3/+1
* dev-ml/*: drop opam-2.1.5 & childrenAlfredo Tupone2024-07-1816-359/+0
* dev-ml/opam-installer: add 2.1.6Alfredo Tupone2024-07-182-0/+42
* dev-ml/opam: add 2.1.6Alfredo Tupone2024-07-182-0/+55
* dev-ml/merlin: add missing findlib depMaciej Barć2024-07-172-2/+6
* dev-ml/dose3: remove unnecessary dependencies on archiversAlain Emilia Anna Zscheile2024-07-152-0/+45
* dev-ml/zarith: update EAPI 7 -> 8Alfredo Tupone2024-07-151-1/+1
* dev-ml/zarith: add 1.14Alfredo Tupone2024-07-152-0/+60
* dev-ml/opam: add 2.1.5Alfredo Tupone2024-07-152-0/+45
* dev-ml/opam-client: add 2.1.5Alfredo Tupone2024-07-152-0/+44
* dev-ml/opam-solver: add 2.1.5Alfredo Tupone2024-07-152-0/+44
* dev-ml/opam-state: add 2.1.5Alfredo Tupone2024-07-152-0/+40