aboutsummaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAgeFilesLines
* Convert all $Header$ to $Id$ tags as it has be done in gentoo.gitJustin Lecher2015-08-171-1/+1
| | | | Signed-off-by: Justin Lecher <jlec@gentoo.org>
* dev-ml/zarith: fix SLOT operators; fix usage of dieJustin Lecher2015-02-181-12/+15
| | | | Package-Manager: portage-2.2.17
* clean upChristoph Junghans2014-09-161-10/+8
| | | | Package-Manager: portage-2.2.8-r1
* 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