Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | sci-mathematics/z3: Adopt to recent changes in git-r3.eclass | 2014-03-06 | 2 | -0/+4 | |
* | sci-mathematics/z3: Adopt to recent changes in git-r3.eclass | 2014-03-06 | 2 | -3/+4 | |
* | Sanitize ebuild header | 2014-01-30 | 2 | -2/+2 | |
* | sci-mathematics/z3: Make build verbose; respect CXX, CXXFLAGS, LDFLAGS; use E... | 2013-12-02 | 4 | -18/+103 | |
* | Add MSR-LA | 2013-12-02 | 1 | -2/+8 | |
* | sci-mathematics/z3-4.3.1: add z3-9999 using git-3 and fix some error | 2013-11-23 | 2 | -6/+5 | |
* | sci-mathematics/z3-4.3.1: add z3-9999 using git-3 | 2013-11-23 | 1 | -0/+42 | |
* | sci-mathematics/z3-4.3.1: using jlec's snapshot | 2013-11-20 | 2 | -8/+4 | |
* | sci-mathematics/z3-4.3.1: using python-r1, remove useless dependency | 2013-11-20 | 1 | -9/+9 | |
* | sci-mathematics/z3-4.3.1: new ebuild | 2013-11-19 | 1 | -0/+44 |