aboutsummaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* dev-ml/zarith: remove since in main treeGuillaume Horel2016-06-051-54/+0
* dev-ml/zarith: fix src_prepare()Andrew Savchenko2016-06-041-0/+1
* dev-ml/zarith: Chop DESCRIPTION to 80 charsJustin Lecher2016-02-101-3/+3
* Convert all $Header$ to $Id$ tags as it has be done in gentoo.gitJustin Lecher2015-08-171-1/+1
* 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