summaryrefslogtreecommitdiff
path: root/math/ocaml-zarith
AgeCommit message (Expand)AuthorFilesLines
2016-03-31Properly handle registering in ocaml/ld.confmarkd3-2/+19
2016-02-08commit missing distinfomarkd1-0/+7
2016-02-07Add ocaml-zarith 1.4.1markd5-0/+87