summaryrefslogtreecommitdiff
path: root/dev-ml
Commit message (Expand)AuthorAgeFilesLines
* dev-ml/uunf: x86 stable wrt bug #813153Agostino Sarubbo2021-09-181-1/+1
* dev-ml/uucp: x86 stable wrt bug #813153Agostino Sarubbo2021-09-181-1/+1
* dev-ml/unidecode: x86 stable wrt bug #813153Agostino Sarubbo2021-09-181-1/+1
* dev-ml/ppx_tools: x86 stable wrt bug #813153Agostino Sarubbo2021-09-181-1/+1
* dev-ml/ppx_deriving: x86 stable wrt bug #813153Agostino Sarubbo2021-09-181-1/+1
* dev-ml/markup: x86 stable wrt bug #813153Agostino Sarubbo2021-09-181-1/+1
* dev-ml/jingoo: x86 stable wrt bug #813153Agostino Sarubbo2021-09-181-1/+1
* dev-ml/calendars: x86 stable wrt bug #813153Agostino Sarubbo2021-09-181-1/+1
* dev-ml/uunf: amd64 stable wrt bug #813153Agostino Sarubbo2021-09-171-1/+1
* dev-ml/uucp: amd64 stable wrt bug #813153Agostino Sarubbo2021-09-171-1/+1
* dev-ml/unidecode: amd64 stable wrt bug #813153Agostino Sarubbo2021-09-171-1/+1
* dev-ml/ppx_tools: amd64 stable wrt bug #813153Agostino Sarubbo2021-09-171-1/+1
* dev-ml/ppx_deriving: amd64 stable wrt bug #813153Agostino Sarubbo2021-09-171-1/+1
* dev-ml/markup: amd64 stable wrt bug #813153Agostino Sarubbo2021-09-171-1/+1
* dev-ml/jingoo: amd64 stable wrt bug #813153Agostino Sarubbo2021-09-171-1/+1
* dev-ml/calendars: amd64 stable wrt bug #813153Agostino Sarubbo2021-09-171-1/+1
* 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