summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* dev-ml/core: remove unused patch(es)Michael Mair-Keimberger2021-03-101-12/+0
* dev-ml/core: convert to opam.eclass and add fix for glibc 2.25Alexis Ballier2017-08-151-0/+12
* dev-ml/core: Bump to 0.9.0Alexis Ballier2017-04-021-279/+0
* dev-ml/core: bump to 113.33.02 and fix build with ocaml 4.03Alexis Ballier2016-05-031-0/+279