summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* dev-ml/core_kernel: Keyword 0.14.2-r1 riscv, #835392Yongxiang Liang2022-04-181-1/+1
* dev-ml/core_kernel: <dev-ml/jst-config-0.15.0; add ppx_optcom depMaciej Barć2022-01-311-0/+45