summaryrefslogtreecommitdiff
path: root/dev-ml
Commit message (Expand)AuthorAgeFilesLines
* dev-ml/merlin: drop old 4.3.1-r3Maciej Barć42 hours2-86/+0
* dev-ml/merlin: drop old 4.2-r2Maciej Barć42 hours2-85/+0
* dev-ml/merlin: drop old 3.4.2-r3Maciej Barć42 hours2-71/+0
* dev-ml/merlin: drop old 4.4-r3Maciej Barć42 hours2-96/+0
* dev-ml/merlin: bump to 4.7Maciej Barć42 hours2-0/+109
* dev-ml/llvm-ocaml: Bump to 15.0.6Michał Górny46 hours2-0/+117
* dev-ml/llvm-ocaml: 15.x is now 15.0.6.9999Michał Górny2 days1-0/+0
* dev-ml/merlin: remove seq reference from dune build fileMaciej Barć3 days1-1/+4
* dev-ml/yojson: drop 2.0.0Alfredo Tupone5 days2-40/+0
* dev-ml/llvm-ocaml: Remove 15.0.4Michał Górny5 days2-117/+0
* dev-ml/llvm-ocaml: Remove 16.0.0_pre20221113Michał Górny5 days2-113/+0
* dev-ml/llvm-ocaml: Add 16.0.0_pre20221126 snapshotMichał Górny5 days2-0/+113
* dev-ml/ocurl: use HTTPSMichael Mair-Keimberger7 days2-2/+2
* dev-ml/calendar: use HTTPSMichael Mair-Keimberger7 days1-4/+4
* dev-ml/dune-site: add 3.2.0Alfredo Tupone9 days2-0/+32
* dev-ml/dune-private-libs: add 3.2.0Alfredo Tupone9 days2-0/+37
* dev-ml/stdune: add 3.2.0Alfredo Tupone9 days2-0/+36
* dev-ml/dyn: add 3.2.0Alfredo Tupone9 days2-0/+32
* dev-ml/ordering: add 3.2.0Alfredo Tupone9 days2-0/+31
* dev-ml/dune-configurator: add 3.2.0Alfredo Tupone9 days2-0/+40
* dev-ml/dune-build-info: add 3.2.0Alfredo Tupone9 days2-0/+29
* dev-ml/dune: add 3.2.0Alfredo Tupone9 days2-0/+69
* dev-ml/dune: add 3.1.1Alfredo Tupone10 days2-0/+66
* dev-ml/dune-configurator: relax dune depsAlfredo Tupone10 days1-2/+2
* dev-ml/ounit2: remove seq reference from dune build fileMaciej Barć10 days2-0/+21
* dev-ml/dune: use ED instead of DAlfredo Tupone11 days1-4/+3
* dev-ml/llvm-ocaml: Add 16.0.0_pre20221120 snapshotMichał Górny11 days2-0/+113
* dev-ml/dune-private-libs: adj depsAlfredo Tupone11 days1-3/+7
* dev-ml/stdune: adj depsAlfredo Tupone11 days1-2/+4
* dev-ml/ordering: relax deps on duneAlfredo Tupone11 days1-2/+2
* dev-ml/dyn: relax dune deps, and constraint dev-ml/ordering depAlfredo Tupone11 days1-2/+3
* dev-ml/dune-configurator: build dune-configuratorAlfredo Tupone12 days3-16/+43
* dev-ml/dune: separate dune-configuratorAlfredo Tupone12 days1-21/+8
* dev-ml/dune-private-libs: fix buildAlfredo Tupone12 days1-10/+9
* dev-ml/stdune: new package, add 3.0.3Alfredo Tupone12 days3-0/+47
* dev-ml/dyn: new package, add 3.0.3Alfredo Tupone12 days3-0/+44
* dev-ml/ordering: new package, add 3.0.3Alfredo Tupone12 days3-0/+44
* dev-ml/pp: new package, add 1.1.2Alfredo Tupone12 days3-0/+32
* dev-ml/ptmap: remove seq reference from dune build fileMaciej Barć12 days2-0/+13
* dev-ml/dune-site: bump to 3.0.3Maciej Barć12 days2-0/+31
* dev-ml/dune-private-libs: bump to 3.0.3Maciej Barć12 days2-0/+36
* dev-ml/dune: add 3.0.3Alfredo Tupone12 days2-0/+80
* dev-ml/dune-configurator: add 3Alfredo Tupone12 days1-0/+16
* dev-ml/gen: drop seq dependency on dune fileAlfredo Tupone12 days1-0/+9
* dev-ml/opam: Stabilize 2.1.2-r1 ppc64, #859508Arthur Zamarin12 days1-1/+1
* dev-ml/opam-client: Stabilize 2.1.2 ppc64, #859508Arthur Zamarin12 days1-1/+1
* dev-ml/opam-solver: Stabilize 2.1.2 ppc64, #859508Arthur Zamarin12 days1-1/+1
* dev-ml/opam-state: Stabilize 2.1.2 ppc64, #859508Arthur Zamarin12 days1-1/+1
* dev-ml/opam-repository: Stabilize 2.1.2 ppc64, #859508Arthur Zamarin12 days1-1/+1
* dev-ml/opam-format: Stabilize 2.1.2-r1 ppc64, #859508Arthur Zamarin12 days1-1/+1