Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | sci-mathematics/why3: Drop ~x86 keyword | 2016-06-15 | 1 | -2/+2 | |
* | metadata.xml: Set type | 2016-01-25 | 1 | -1/+1 | |
* | metadata.xml: convert hard -> proj | 2016-01-25 | 1 | -1/+4 | |
* | matadata.xml: Pre Cleanup | 2016-01-25 | 1 | -2/+2 | |
* | Drop ChangeLogs in favour of commit messages | 2016-01-07 | 1 | -14/+0 | |
* | Use default functions | 2015-09-23 | 1 | -1/+1 | |
* | Convert all $Header$ to $Id$ tags as it has be done in gentoo.git | 2015-08-17 | 2 | -2/+2 | |
* | Revert "Gentoo does https by default now" | 2015-06-21 | 1 | -1/+1 | |
* | Gentoo does https by default now | 2015-06-21 | 1 | -1/+1 | |
* | sci-mathematics/why3-0.83: Cleanup ebuild | 2015-02-08 | 2 | -13/+21 | |
* | drop autotools.eclass | 2014-09-15 | 2 | -1/+4 | |
* | sci-mathematics/why3: silence repoman, fix metadata.xml | 2014-09-02 | 1 | -0/+4 | |
* | fix Manifests: thin-manifests | 2014-08-31 | 1 | -3/+0 | |
* | Fix manifests regression | 2014-07-19 | 1 | -0/+3 | |
* | Several DESTDIR fixes | 2014-07-19 | 2 | -6/+4 | |
* | multiple move to EAPI=5 and regression fixes | 2014-06-22 | 3 | -22/+16 | |
* | multiple version bumps | 2014-06-22 | 4 | -0/+89 |