summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* dev-ml/core: update dependencies version constraintsMaciej Barć2022-04-221-31/+0
* dev-ml/core: destabilise for ppcSam James2022-03-031-2/+2
* dev-ml/core: bump 0.14.1Alfredo Tupone2021-10-011-0/+1
* 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