summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* dev-ml/num: fix install with -ocamloptAlfredo Tupone2022-01-191-0/+12
* dev-ml/num: respect ocamloptAlfredo Tupone2022-01-121-0/+15