| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Update Manifests to new hashes |   Justin Lecher | 2017-12-10 | 1 | -1/+1 |
| * | Second try to clean spaces in metadata.xml | Justin Lecher | 2017-11-18 | 1 | -10/+10 |
| * | Consistently ident with tabs | Justin Lecher | 2017-11-18 | 1 | -9/+9 |
| * | 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 |
| * | metadata.xml: Set type | Justin Lecher | 2016-01-25 | 1 | -1/+1 |
| * | metadata.xml: convert hard -> proj | Justin Lecher | 2016-01-25 | 1 | -1/+4 |
| * | matadata.xml: Pre Cleanup | Justin Lecher | 2016-01-25 | 1 | -2/+2 |
| * | Drop ChangeLogs in favour of commit messages | Justin Lecher | 2016-01-07 | 1 | -14/+0 |
| * | 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 | 2 | -2/+2 |
| * | Revert "Gentoo does https by default now" | Justin Lecher | 2015-06-21 | 1 | -1/+1 |
| * | Gentoo does https by default now | Justin Lecher | 2015-06-21 | 1 | -1/+1 |
| * | sci-mathematics/why3-0.83: Cleanup ebuild | Marius Brehler | 2015-02-08 | 2 | -13/+21 |
| * | drop autotools.eclass |   Christoph Junghans | 2014-09-15 | 2 | -1/+4 |
| * | sci-mathematics/why3: silence repoman, fix metadata.xml |   Jauhien Piatlicki | 2014-09-02 | 1 | -0/+4 |
| * | fix Manifests: thin-manifests | Jauhien Piatlicki | 2014-08-31 | 1 | -3/+0 |
| * | Fix manifests regression |   Jonathan-Christofer Demay | 2014-07-19 | 1 | -0/+3 |
| * | Several DESTDIR fixes | Jonathan-Christofer Demay | 2014-07-19 | 2 | -6/+4 |
| * | multiple move to EAPI=5 and regression fixes | Jonathan-Christofer Demay | 2014-06-22 | 3 | -22/+16 |
| * | multiple version bumps | Jonathan-Christofer Demay | 2014-06-22 | 4 | -0/+89 |
GitWeb