summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* dev-ml/num: Stabilize 1.3-r1 arm64, #772833Sam James2021-03-141-1/+1
* dev-ml/num: Stabilize 1.3-r1 arm, #772833Sam James2021-03-141-1/+1
* dev-ml/num: drop 1.3Sam James2021-03-131-33/+0
* dev-ml/num: Stabilize 1.3-r1 ppc64, #772833Sam James2021-03-131-1/+1
* dev-ml/num: add note regarding duneSam James2021-03-091-0/+1
* dev-ml/num: fix testsSam James2021-03-091-1/+6
* dev-ml/num: fix installationSam James2021-03-091-1/+10
* dev-ml/num: amd64 stable wrt bug #772833Agostino Sarubbo2021-03-041-1/+1
* dev-ml/num: Stabilize 1.3-r1 x86, #772833Sam James2021-02-251-1/+1
* dev-ml/num: Stabilize 1.3-r1 ppc, #772833Sam James2021-02-251-1/+1
* 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