summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* sci-mathematics/easycrypt: fix ocaml dependencyMaciej Barć2021-12-121-0/+38