summaryrefslogtreecommitdiff
path: root/math/ocaml-zarith
AgeCommit message (Expand)AuthorFilesLines
2016-04-03Note MAKE_JOBS_SAFE.joerg1-1/+4
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