Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | sci-mathematics/z3: Adopt to recent changes in git-r3.eclass | Justin Lecher | 2014-03-06 | 2 | -0/+4 |
* | sci-mathematics/z3: Adopt to recent changes in git-r3.eclass | Justin Lecher | 2014-03-06 | 2 | -3/+4 |
* | Sanitize ebuild header | Justin Lecher | 2014-01-30 | 2 | -2/+2 |
* | sci-mathematics/z3: Make build verbose; respect CXX, CXXFLAGS, LDFLAGS; use E... | Justin Lecher | 2013-12-02 | 4 | -18/+103 |
* | 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 | 2 | -6/+5 |
* | sci-mathematics/z3-4.3.1: add z3-9999 using git-3 | Yichao Zhou | 2013-11-23 | 1 | -0/+42 |
* | sci-mathematics/z3-4.3.1: using jlec's snapshot | Yichao Zhou | 2013-11-20 | 2 | -8/+4 |
* | 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 |