aboutsummaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAgeFilesLines
* Update Manifests to new hashesJustin Lecher2017-12-101-1/+1
| | | | Signed-off-by: Justin Lecher <jlec@gentoo.org>
* Second try to clean spaces in metadata.xmlJustin Lecher2017-11-181-10/+10
| | | | Signed-off-by: Justin Lecher <jlec@gentoo.org>
* Consistently ident with tabsJustin Lecher2017-11-181-9/+9
| | | | Signed-off-by: Justin Lecher <jlec@gentoo.org>
* Drop leftover from CVS in HEADERJustin Lecher2017-02-251-1/+0
| | | | Signed-off-by: Justin Lecher <jlec@gentoo.org>
* sci-mathematics/why3: Drop ~x86 keywordMarius Brehler2016-06-151-2/+2
| | | | Package-Manager: portage-2.2.28
* metadata.xml: Set typeJustin Lecher2016-01-251-1/+1
| | | | Signed-off-by: Justin Lecher <jlec@gentoo.org>
* metadata.xml: convert hard -> projJustin Lecher2016-01-251-1/+4
| | | | Signed-off-by: Justin Lecher <jlec@gentoo.org>
* matadata.xml: Pre CleanupJustin Lecher2016-01-251-2/+2
| | | | Signed-off-by: Justin Lecher <jlec@gentoo.org>
* Drop ChangeLogs in favour of commit messagesJustin Lecher2016-01-071-14/+0
| | | | Signed-off-by: Justin Lecher <jlec@gentoo.org>
* Use default functionsJustin Lecher2015-09-231-1/+1
| | | | Signed-off-by: Justin Lecher <jlec@gentoo.org>
* Convert all $Header$ to $Id$ tags as it has be done in gentoo.gitJustin Lecher2015-08-172-2/+2
| | | | Signed-off-by: Justin Lecher <jlec@gentoo.org>
* Revert "Gentoo does https by default now"Justin Lecher2015-06-211-1/+1
| | | | This reverts commit 98718494343af4990facdefb0033471686e975a6.
* Gentoo does https by default nowJustin Lecher2015-06-211-1/+1
| | | | Signed-off-by: Justin Lecher <jlec@gentoo.org>
* sci-mathematics/why3-0.83: Cleanup ebuildMarius Brehler2015-02-082-13/+21
|
* drop autotools.eclassChristoph Junghans2014-09-152-1/+4
| | | | Package-Manager: portage-2.2.8-r1
* sci-mathematics/why3: silence repoman, fix metadata.xmlJauhien Piatlicki2014-09-021-0/+4
|
* fix Manifests: thin-manifestsJauhien Piatlicki2014-08-311-3/+0
|
* Fix manifests regressionJonathan-Christofer Demay2014-07-191-0/+3
|
* Several DESTDIR fixesJonathan-Christofer Demay2014-07-192-6/+4
|
* multiple move to EAPI=5 and regression fixesJonathan-Christofer Demay2014-06-223-22/+16
|
* multiple version bumpsJonathan-Christofer Demay2014-06-224-0/+89