summaryrefslogtreecommitdiff
path: root/dev-ml
Commit message (Expand)AuthorAgeFilesLines
* dev-ml/dune: use ED instead of DAlfredo Tupone2022-11-201-4/+3
* dev-ml/llvm-ocaml: Add 16.0.0_pre20221120 snapshotMichał Górny2022-11-202-0/+113
* dev-ml/dune-private-libs: adj depsAlfredo Tupone2022-11-201-3/+7
* dev-ml/stdune: adj depsAlfredo Tupone2022-11-201-2/+4
* dev-ml/ordering: relax deps on duneAlfredo Tupone2022-11-201-2/+2
* dev-ml/dyn: relax dune deps, and constraint dev-ml/ordering depAlfredo Tupone2022-11-201-2/+3
* dev-ml/dune-configurator: build dune-configuratorAlfredo Tupone2022-11-193-16/+43
* dev-ml/dune: separate dune-configuratorAlfredo Tupone2022-11-191-21/+8
* dev-ml/dune-private-libs: fix buildAlfredo Tupone2022-11-191-10/+9
* dev-ml/stdune: new package, add 3.0.3Alfredo Tupone2022-11-193-0/+47
* dev-ml/dyn: new package, add 3.0.3Alfredo Tupone2022-11-193-0/+44
* dev-ml/ordering: new package, add 3.0.3Alfredo Tupone2022-11-193-0/+44
* dev-ml/pp: new package, add 1.1.2Alfredo Tupone2022-11-193-0/+32
* dev-ml/ptmap: remove seq reference from dune build fileMaciej Barć2022-11-192-0/+13
* dev-ml/dune-site: bump to 3.0.3Maciej Barć2022-11-192-0/+31
* dev-ml/dune-private-libs: bump to 3.0.3Maciej Barć2022-11-192-0/+36
* dev-ml/dune: add 3.0.3Alfredo Tupone2022-11-192-0/+80
* dev-ml/dune-configurator: add 3Alfredo Tupone2022-11-191-0/+16
* dev-ml/gen: drop seq dependency on dune fileAlfredo Tupone2022-11-191-0/+9
* dev-ml/opam: Stabilize 2.1.2-r1 ppc64, #859508Arthur Zamarin2022-11-191-1/+1
* dev-ml/opam-client: Stabilize 2.1.2 ppc64, #859508Arthur Zamarin2022-11-191-1/+1
* dev-ml/opam-solver: Stabilize 2.1.2 ppc64, #859508Arthur Zamarin2022-11-191-1/+1
* dev-ml/opam-state: Stabilize 2.1.2 ppc64, #859508Arthur Zamarin2022-11-191-1/+1
* dev-ml/opam-repository: Stabilize 2.1.2 ppc64, #859508Arthur Zamarin2022-11-191-1/+1
* dev-ml/opam-format: Stabilize 2.1.2-r1 ppc64, #859508Arthur Zamarin2022-11-191-1/+1
* dev-ml/opam-core: Stabilize 2.1.2 ppc64, #859508Arthur Zamarin2022-11-191-1/+1
* dev-ml/opam: Stabilize 2.1.2-r1 arm64, #859508Arthur Zamarin2022-11-191-1/+1
* dev-ml/opam-client: Stabilize 2.1.2 arm64, #859508Arthur Zamarin2022-11-191-1/+1
* dev-ml/opam-solver: Stabilize 2.1.2 arm64, #859508Arthur Zamarin2022-11-191-1/+1
* dev-ml/opam-state: Stabilize 2.1.2 arm64, #859508Arthur Zamarin2022-11-191-1/+1
* dev-ml/opam-repository: Stabilize 2.1.2 arm64, #859508Arthur Zamarin2022-11-191-1/+1
* dev-ml/opam-format: Stabilize 2.1.2-r1 arm64, #859508Arthur Zamarin2022-11-191-1/+1
* dev-ml/opam-core: Stabilize 2.1.2 arm64, #859508Arthur Zamarin2022-11-191-1/+1
* dev-ml/opam: Stabilize 2.1.2-r1 arm, #859508Arthur Zamarin2022-11-191-1/+1
* dev-ml/opam-client: Stabilize 2.1.2 arm, #859508Arthur Zamarin2022-11-191-1/+1
* dev-ml/opam-solver: Stabilize 2.1.2 arm, #859508Arthur Zamarin2022-11-191-1/+1
* dev-ml/opam-state: Stabilize 2.1.2 arm, #859508Arthur Zamarin2022-11-191-1/+1
* dev-ml/opam-repository: Stabilize 2.1.2 arm, #859508Arthur Zamarin2022-11-191-1/+1
* dev-ml/opam-format: Stabilize 2.1.2-r1 arm, #859508Arthur Zamarin2022-11-191-1/+1
* dev-ml/opam-core: Stabilize 2.1.2 arm, #859508Arthur Zamarin2022-11-191-1/+1
* dev-ml/labltk: fix configure w/ clang 16Sam James2022-11-197-0/+83
* dev-ml/labltk: add github upstream metadataSam James2022-11-191-0/+3
* dev-ml/re: drop seq requirementAlfredo Tupone2022-11-181-0/+8
* dev-ml/dune-configurator: Stabilize 2.9.1 arm, #817752Arthur Zamarin2022-11-181-1/+1
* dev-ml/dune-private-libs: Stabilize 2.9.1 arm, #817752Arthur Zamarin2022-11-181-1/+1
* dev-ml/dune: Stabilize 2.9.1 arm, #817752Arthur Zamarin2022-11-181-1/+1
* dev-ml/llvm-ocaml: Remove 16.0.0_pre20221104Michał Górny2022-11-162-113/+0
* dev-ml/llvm-ocaml: Bump to 15.0.5Michał Górny2022-11-162-0/+117
* dev-ml/llvm-ocaml: Stable-live is now 15.0.5.9999Michał Górny2022-11-161-0/+0
* dev-ml/llvm-ocaml: Add 16.0.0_pre20221113 snapshotMichał Górny2022-11-132-0/+113