summaryrefslogtreecommitdiff
path: root/dev-ml
Commit message (Expand)AuthorAgeFilesLines
* dev-ml/ppx_tools: ml maintains itAlfredo Tupone2021-09-141-0/+4
* dev-ml/llvm-ocaml: Bump to 13.0.0-rc3Michał Górny2021-09-142-0/+125
* dev-ml/zarith: remove oldAlfredo Tupone2021-09-122-59/+0
* dev-ml/zarith: VariableScopeAlfredo Tupone2021-09-121-1/+4
* dev-ml/facile: VariableScopeAlfredo Tupone2021-09-121-6/+6
* **/metadata.xml: Replace http by https in DOCTYPE elementUlrich Müller2021-09-11174-174/+174
* dev-ml/llvm-ocaml: Remove 13.0.0_rc1Michał Górny2021-09-112-125/+0
* dev-ml/llvm-ocaml: Remove 12.0.0Michał Górny2021-09-112-125/+0
* dev-ml/dose3: Stabilize 6.0.1_p2 arm, #804771Sam James2021-09-071-1/+1
* dev-ml/extlib: Stabilize 1.7.8 arm, #804771Sam James2021-09-071-1/+1
* dev-ml/ocaml-base64: Stabilize 3.5.0 arm, #804771Sam James2021-09-071-1/+1
* dev-ml/bos: Stabilize 0.1.6 arm, #804771Sam James2021-09-071-1/+1
* dev-ml/fpath: Stabilize 0.7.2 arm, #804771Sam James2021-09-071-1/+1
* dev-ml/rresult: Stabilize 0.5.0 arm, #804771Sam James2021-09-071-1/+1
* dev-ml/dose3: Stabilize 6.0.1_p2 arm64, #804771Sam James2021-09-041-1/+1
* dev-ml/extlib: Stabilize 1.7.8 arm64, #804771Sam James2021-09-041-1/+1
* dev-ml/ocaml-base64: Stabilize 3.5.0 arm64, #804771Sam James2021-09-041-1/+1
* dev-ml/bos: Stabilize 0.1.6 arm64, #804771Sam James2021-09-041-1/+1
* dev-ml/fpath: Stabilize 0.7.2 arm64, #804771Sam James2021-09-041-1/+1
* dev-ml/rresult: Stabilize 0.5.0 arm64, #804771Sam James2021-09-041-1/+1
* dev-ml/llvm-ocaml: Bump to 13.0.0rc2Michał Górny2021-08-272-0/+125
* dev-ml/cstruct: Remove last-rited packageJakov Smolic2021-08-243-36/+0
* dev-ml/mccs: Stabilize 1.1.13 arm64, #807562Sam James2021-08-131-1/+1
* dev-ml/mccs: Stabilize 1.1.13 ppc, #807562Sam James2021-08-111-1/+1
* dev-ml/mccs: Stabilize 1.1.13 ppc64, #807562Sam James2021-08-111-1/+1
* dev-ml/mccs: Stabilize 1.1.13 x86, #807562Sam James2021-08-111-1/+1
* dev-ml/mccs: Stabilize 1.1.13 amd64, #807562Sam James2021-08-111-1/+1
* dev-ml/mccs: Stabilize 1.1.13 arm, #807562Sam James2021-08-111-1/+1
* dev-ml/llvm-ocaml: Bump to 13.0.0rc1Michał Górny2021-08-032-0/+125
* dev-ml/ppx_sexp_conv: Stabilize 0.14.2 arm64, #804786Sam James2021-08-031-1/+1
* dev-ml/parmap: Stabilize 1.2.3 arm64, #804783Sam James2021-08-031-1/+1
* dev-ml/ppx_sexp_conv: Stabilize 0.14.2 arm, #804786Sam James2021-07-311-1/+1
* dev-ml/llvm-ocaml: Bump live to 14*Michał Górny2021-07-301-0/+124
* dev-ml/ppx_sexp_conv: ppc stable wrt bug #804786Agostino Sarubbo2021-07-301-1/+1
* dev-ml/ppx_sexp_conv: Stabilize 0.14.2 amd64, #804786Sam James2021-07-301-1/+1
* dev-ml/parmap: amd64 stable wrt bug #804783Agostino Sarubbo2021-07-291-1/+1
* dev-ml/camlp5: amd64 stable wrt bug #804777Agostino Sarubbo2021-07-291-1/+1
* dev-ml/ppx_sexp_conv: x86 stable wrt bug #804786Agostino Sarubbo2021-07-291-1/+1
* dev-ml/opam-installer: x86 stable wrt bug #804780Agostino Sarubbo2021-07-291-1/+1
* dev-ml/camlp5: x86 stable wrt bug #804777Agostino Sarubbo2021-07-291-1/+1
* dev-ml/ppx_sexp_conv: Stabilize 0.14.2 ppc64, #804786Sam James2021-07-281-1/+1
* dev-ml/parmap: Stabilize 1.2.3 ppc64, #804783Sam James2021-07-281-1/+1
* dev-ml/camlp5: Stabilize 8.00.01 ppc64, #804777Sam James2021-07-281-1/+1
* dev-ml/camlp5: Stabilize 8.00.01 ppc, #804777Sam James2021-07-281-1/+1
* dev-ml/opam-repository: add 2.0.9Sam James2021-07-282-0/+40
* dev-ml/opam-installer: add 2.0.9Sam James2021-07-282-0/+47
* dev-ml/opam-solver: add 2.0.9Sam James2021-07-282-0/+43
* dev-ml/opam-format: add 2.0.9Sam James2021-07-282-0/+43
* dev-ml/opam-client: add 2.0.9Sam James2021-07-282-0/+41
* dev-ml/opam-state: add 2.0.9Sam James2021-07-282-0/+39