2020-05-18 | Agostino Sarubbo | dev-ml/num: x86 stable wrt bug #723500 | tree | commitdiff |
2020-05-18 | Agostino Sarubbo | dev-ml/num: amd64 stable wrt bug #723500 | tree | commitdiff |
2020-04-07 | Alfredo Tupone | dev-ml/num: use ocamlopt | tree | commitdiff |
2020-01-13 | Tupone Alfredo | dev-ml/num: fix dependency | tree | commitdiff |
2020-01-07 | Jason A. Donenfeld | dev-ml/num: add for newer ocaml + coq | tree | commitdiff |