summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* dev-ml/num: use CFLAGSAlfredo Tupone2020-05-212-0/+19
* dev-ml/num: x86 stable wrt bug #723500Agostino Sarubbo2020-05-181-1/+1
* dev-ml/num: amd64 stable wrt bug #723500Agostino Sarubbo2020-05-181-1/+1
* dev-ml/num: use ocamloptAlfredo Tupone2020-04-072-3/+6
* dev-ml/num: fix dependencyTupone Alfredo2020-01-131-1/+2
* dev-ml/num: add for newer ocaml + coqJason A. Donenfeld2020-01-073-0/+30