summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* dev-ml/core: Stabilize 0.14.0-r3 arm64, #772833Sam James2021-03-141-1/+1
* dev-ml/core: Stabilize 0.14.0-r3 arm, #772833Sam James2021-03-141-1/+1
* dev-ml/core: Stabilize 0.14.0-r3 ppc64, #772833Sam James2021-03-131-1/+1
* dev-ml/core: default +ocamloptSam James2021-03-131-1/+1
* dev-ml/core: amd64 stable wrt bug #772833Agostino Sarubbo2021-03-041-1/+1
* dev-ml/core: Stabilize 0.14.0-r3 x86, #772833Sam James2021-02-251-1/+1
* dev-ml/core: Stabilize 0.14.0-r3 ppc, #772833Sam James2021-02-251-1/+1
* dev-ml/core: Keyword 0.14.0-r3 ppc, #769554Sam James2021-02-211-1/+1
* dev-ml/core: Keyword 0.14.0-r3 ppc64, #769554Sam James2021-02-101-1/+1
* dev-ml/core: Keyword 0.14.0-r3 x86, #766884Sam James2021-01-281-1/+1
* dev-ml/core: Keyword 0.14.0-r3 arm64, #766884Sam James2021-01-281-1/+1
* dev-ml/core: Keyword 0.14.0-r3 arm, #766884Sam James2021-01-271-1/+1
* dev-ml/core: fix dependenciesSam James2021-01-271-0/+30