summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* dev-ml/extlib: remove unused patchMichael Mair-Keimberger2021-02-121-35/+0
* dev-ml/extlib: Bump to 1.7.7, try to fix bug 704146Mark Wright2020-10-131-0/+9
* dev-ml/extlib: Fix build with ocaml 4.05Alexis Ballier2017-03-271-0/+35