summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* */*: Reassign gienah's packagesMichał Górny2024-02-141-4/+0
* dev-ml/num: add github upstream metadataAlfredo Tupone2022-12-041-0/+3
* **/metadata.xml: Replace http by https in DOCTYPE elementUlrich Müller2021-09-111-1/+1
* dev-ml/num: ML maintains itAlfredo Tupone2021-01-141-3/+3
* dev-ml/num: Rebuild when ocaml rebuilt, add KEYWORDS from ml-overlay.Mark Wright2020-10-131-0/+4
* dev-ml/num: use ocamloptAlfredo Tupone2020-04-071-1/+4
* dev-ml/num: add for newer ocaml + coqJason A. Donenfeld2020-01-071-0/+5