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
* dev-ml/num: use CFLAGSAlfredo Tupone2020-05-211-0/+11