Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Claim Copyright for all ebuilds | 2017-02-28 | 1 | -1/+1 | |
* | Drop leftover from CVS in HEADER | 2017-02-25 | 1 | -1/+0 | |
* | Convert all $Header$ to $Id$ tags as it has be done in gentoo.git | 2015-08-17 | 1 | -1/+1 | |
* | sci-mathematics/z3: Correct license to MIT, thanks Daniel GOUJOT | 2015-03-29 | 1 | -3/+3 | |
* | sci-mathematics/z3: Adopt to recent changes in git-r3.eclass | 2014-03-06 | 1 | -0/+1 | |
* | sci-mathematics/z3: Adopt to recent changes in git-r3.eclass | 2014-03-06 | 1 | -2/+0 | |
* | Sanitize ebuild header | 2014-01-30 | 1 | -1/+1 | |
* | sci-mathematics/z3: Make build verbose; respect CXX, CXXFLAGS, LDFLAGS; use E... | 2013-12-02 | 1 | -10/+49 | |
* | sci-mathematics/z3-4.3.1: add z3-9999 using git-3 and fix some error | 2013-11-23 | 1 | -3/+3 | |
* | sci-mathematics/z3-4.3.1: add z3-9999 using git-3 | 2013-11-23 | 1 | -0/+42 |