summaryrefslogtreecommitdiff
path: root/dev-ml
Commit message (Expand)AuthorAgeFilesLines
* dev-ml/dune: add 3.7.1Alfredo Tupone2023-04-162-0/+69
* dev-ml/dune-configurator: add 3.7.1Alfredo Tupone2023-04-162-0/+40
* dev-ml/dune-site: add 3.7.1Alfredo Tupone2023-04-162-0/+32
* dev-ml/dune-private-libs: add 3.7.1Alfredo Tupone2023-04-162-0/+37
* dev-ml/dune-build-info: add 3.7.1Alfredo Tupone2023-04-162-0/+29
* dev-ml/stdune: add 3.7.1Alfredo Tupone2023-04-162-0/+37
* dev-ml/dyn: add 3.7.1Alfredo Tupone2023-04-162-0/+32
* dev-ml/ordering: add 3.7.1Alfredo Tupone2023-04-162-0/+31
* dev-ml/llvm-ocaml: Add 17.0.0_pre20230414 snapshotMichał Górny2023-04-142-0/+113
* dev-ml/seq: Stabilize 0.3.1-r1 arm, #901713Arthur Zamarin2023-04-111-1/+1
* dev-ml/seq: Stabilize 0.3.1-r1 amd64, #901713Arthur Zamarin2023-04-111-1/+1
* dev-ml/seq: Stabilize 0.3.1-r1 ppc64, #901713Arthur Zamarin2023-04-111-1/+1
* dev-ml/seq: Stabilize 0.3.1-r1 arm64, #901713Arthur Zamarin2023-04-111-1/+1
* dev-ml/seq: Stabilize 0.3.1-r1 x86, #901713Arthur Zamarin2023-04-111-1/+1
* dev-ml/seq: update >=3.0 depsMaciej Barć2023-04-112-3/+5
* dev-ml/llvm-ocaml: Remove oldMichał Górny2023-04-113-227/+0
* dev-ml/ocaml-expat: Stabilize 1.3.0 arm64, #901617Arthur Zamarin2023-04-091-1/+1
* dev-ml/lablgtk: Stabilize 3.1.3 x86, #901643Arthur Zamarin2023-04-091-1/+1
* dev-ml/lablgtk-sourceview: Stabilize 3.1.3 x86, #901643Arthur Zamarin2023-04-091-1/+1
* dev-ml/lablgtk: Stabilize 3.1.3 arm, #901643Arthur Zamarin2023-04-091-1/+1
* dev-ml/lablgtk-sourceview: Stabilize 3.1.3 arm, #901643Arthur Zamarin2023-04-091-1/+1
* dev-ml/re: Stabilize 1.10.4-r2 amd64, #901645Arthur Zamarin2023-04-091-1/+1
* dev-ml/re: Stabilize 1.10.4-r2 arm64, #901645Arthur Zamarin2023-04-091-2/+2
* dev-ml/lablgtk: Stabilize 3.1.3 amd64, #901643Arthur Zamarin2023-04-091-1/+1
* dev-ml/lablgtk-sourceview: Stabilize 3.1.3 amd64, #901643Arthur Zamarin2023-04-091-1/+1
* dev-ml/ocamlgraph: drop 1.8.8-r2Alfredo Tupone2023-04-062-71/+0
* dev-ml/dose3: drop 5.0.1_p16-r4, 6.0.1_p2-r1, 6.1-r1Alfredo Tupone2023-04-065-182/+0
* dev-ml/llvm-ocaml: Bump to 16.0.1Michał Górny2023-04-052-0/+114
* dev-ml/llvm-ocaml: fix PV to be 16.0.2.9999Michał Górny2023-04-051-0/+0
* dev-ml/llvm-ocaml: 16.x is now 16.0.2.9999Michał Górny2023-04-051-0/+0
* dev-ml/parmap: Stabilize 1.2.5 x86, #901659Arthur Zamarin2023-04-031-1/+1
* dev-ml/parmap: Stabilize 1.2.5 arm, #901659Arthur Zamarin2023-04-031-1/+1
* dev-ml/findlib: Stabilize 1.9.6-r1 arm, #901661Arthur Zamarin2023-04-031-1/+1
* dev-ml/findlib: Stabilize 1.9.6-r1 arm64, #901661Sam James2023-04-021-1/+1
* dev-ml/camlp-streams: drop old 5.0Maciej Barć2023-04-022-22/+0
* dev-ml/yojson: amd64 stableAlfredo Tupone2023-04-012-4/+4
* dev-ml/biniou: amd64 stableAlfredo Tupone2023-04-012-4/+4
* dev-ml/easy-format: stabilize 1.2.0 for amd64Alfredo Tupone2023-04-011-2/+2
* dev-ml/lablgtk: Stabilize 3.1.3 arm64, #901643Sam James2023-04-011-1/+1
* dev-ml/lablgtk-sourceview: Stabilize 3.1.3 arm64, #901643Sam James2023-04-011-1/+1
* dev-ml/base_quickcheck: Stabilize 0.15.0-r2 arm64, #901559Sam James2023-04-011-1/+1
* dev-ml/findlib: avoid building unused thingsAlfredo Tupone2023-04-011-1/+8
* dev-ml/ordering: Stabilize 3.6.2 arm64, #901629Sam James2023-04-011-1/+1
* dev-ml/pp: Stabilize 1.1.2 arm64, #901629Sam James2023-04-011-1/+1
* dev-ml/dyn: Stabilize 3.6.2 arm64, #901629Sam James2023-04-011-1/+1
* dev-ml/stdune: Stabilize 3.6.2-r1 arm64, #901629Sam James2023-04-011-1/+1
* dev-ml/dune-private-libs: Stabilize 3.6.2 arm64, #901629Sam James2023-04-011-1/+1
* dev-ml/ppx_js_style: Stabilize 0.15.0 arm64, #901621Arthur Zamarin2023-03-311-1/+1
* dev-ml/ppx_js_style: Stabilize 0.15.0 arm, #901621Arthur Zamarin2023-03-311-1/+1
* dev-ml/ocaml-ctypes: Stabilize 0.20.1 arm64, #901613Arthur Zamarin2023-03-311-1/+1