summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* dev-ml/num: bump to 1.4Sam James2021-02-082-0/+16
* dev-ml/num: ML maintains itAlfredo Tupone2021-01-141-3/+3
* dev-ml/num: drop x86-macosFabian Groffen2021-01-061-2/+2
* dev-ml/num: ppc64 keyworded (bug #748576)Sam James2020-10-281-1/+1
* dev-ml/num: Rebuild when ocaml rebuilt, add KEYWORDS from ml-overlay.Mark Wright2020-10-132-0/+37
* 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