Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | sci-mathematics/why3: drop old | Andrew Ammerlaan | 2021-03-04 | 1 | -59/+0 |
* | Drop leftover from CVS in HEADER | Justin Lecher | 2017-02-25 | 1 | -1/+0 |
* | sci-mathematics/why3: Drop ~x86 keyword | Marius Brehler | 2016-06-15 | 1 | -2/+2 |
* | Use default functions | Justin Lecher | 2015-09-23 | 1 | -1/+1 |
* | Convert all $Header$ to $Id$ tags as it has be done in gentoo.git | Justin Lecher | 2015-08-17 | 1 | -1/+1 |
* | sci-mathematics/why3-0.83: Cleanup ebuild | Marius Brehler | 2015-02-08 | 1 | -12/+16 |
* | drop autotools.eclass | Christoph Junghans | 2014-09-15 | 1 | -1/+1 |
* | Several DESTDIR fixes | Jonathan-Christofer Demay | 2014-07-19 | 1 | -3/+4 |
* | multiple move to EAPI=5 and regression fixes | Jonathan-Christofer Demay | 2014-06-22 | 1 | -1/+1 |
* | multiple version bumps | Jonathan-Christofer Demay | 2014-06-22 | 1 | -0/+55 |