summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* dev-ml/lwt: Drop interim version w/ same kw, #586918Michał Górny2016-06-291-42/+0
* Revert "dev-ml/*: Remove := slot ops from || deps, #586304"Alexis Ballier2016-06-231-2/+2
* dev-ml/*: Remove := slot ops from || deps, #586304Michał Górny2016-06-211-2/+2
* dev-ml/lwt: add ppx useflag and enable it by default since it is recommended ...Alexis Ballier2016-02-061-2/+3
* dev-ml/lwt: bump to 2.5.1Alexis Ballier2015-12-091-0/+41