Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Drop leftover from CVS in HEADER | Justin Lecher | 2017-02-25 | 1 | -1/+0 |
* | Convert all $Header$ to $Id$ tags as it has be done in gentoo.git | Justin Lecher | 2015-08-17 | 1 | -1/+1 |
* | sci-mathematics/z3: Correct license to MIT, thanks Daniel GOUJOT | Justin Lecher | 2015-03-29 | 1 | -3/+3 |
* | Sanitize ebuild header | Justin Lecher | 2014-01-30 | 1 | -1/+1 |
* | sci-mathematics/z3: Make build verbose; respect CXX, CXXFLAGS, LDFLAGS; use E... | Justin Lecher | 2013-12-02 | 1 | -8/+39 |
* | Add MSR-LA | Justin Lecher | 2013-12-02 | 1 | -2/+8 |
* | sci-mathematics/z3-4.3.1: add z3-9999 using git-3 and fix some error | Yichao Zhou | 2013-11-23 | 1 | -3/+2 |
* | sci-mathematics/z3-4.3.1: using jlec's snapshot | Yichao Zhou | 2013-11-20 | 1 | -8/+3 |
* | sci-mathematics/z3-4.3.1: using python-r1, remove useless dependency | Yichao Zhou | 2013-11-20 | 1 | -9/+9 |
* | sci-mathematics/z3-4.3.1: new ebuild | Yichao Zhou | 2013-11-19 | 1 | -0/+44 |