aboutsummaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* dev-ml/zarith: fix SLOT operators; fix usage of dieJustin Lecher2015-02-181-12/+15
* clean upChristoph Junghans2014-09-161-10/+8
* dev-ml/zarith-1.2.1: fix doc buildingJonathan-Christofer Demay2014-07-201-1/+3
* fix pkg_setup regressionJonathan-Christofer Demay2014-06-221-5/+10
* zarith no longer asks ocamlc for libdirJonathan-Christofer Demay2014-06-221-9/+14
* multiple version bumpsJonathan-Christofer Demay2014-06-221-0/+40