Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | dev-ml/zarith: remove since in main tree | Guillaume Horel | 2016-06-05 | 1 | -54/+0 |
* | dev-ml/zarith: fix src_prepare() | Andrew Savchenko | 2016-06-04 | 1 | -0/+1 |
* | dev-ml/zarith: Chop DESCRIPTION to 80 chars | Justin Lecher | 2016-02-10 | 1 | -3/+3 |
* | Convert all $Header$ to $Id$ tags as it has be done in gentoo.git | Justin Lecher | 2015-08-17 | 1 | -1/+1 |
* | dev-ml/zarith: fix SLOT operators; fix usage of die | Justin Lecher | 2015-02-18 | 1 | -12/+15 |
* | clean up | Christoph Junghans | 2014-09-16 | 1 | -10/+8 |
* | dev-ml/zarith-1.2.1: fix doc building | Jonathan-Christofer Demay | 2014-07-20 | 1 | -1/+3 |
* | fix pkg_setup regression | Jonathan-Christofer Demay | 2014-06-22 | 1 | -5/+10 |
* | zarith no longer asks ocamlc for libdir | Jonathan-Christofer Demay | 2014-06-22 | 1 | -9/+14 |
* | multiple version bumps | Jonathan-Christofer Demay | 2014-06-22 | 1 | -0/+40 |