summaryrefslogtreecommitdiffstats
path: root/devel/zarith
AgeCommit message (Expand)Author
2013-05-26devel/zarith: new spell, arbitrary precision integers for ocamlFlorian Franzmann