| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | community/z3: attempt to fix build on some architectures | Sören Tempel | 2019-11-23 | 2 | -2/+28 |
| * | community/z3: upgrade to 4.8.7 | Sören Tempel | 2019-11-23 | 1 | -5/+5 |
| * | community/z3: rebuild against python 3.8 | Natanael Copa | 2019-11-05 | 1 | -1/+1 |
| * | community/z3: upgrade to 4.8.6 | Leo | 2019-11-04 | 1 | -8/+4 |
| * | community/z3: upgrade to 4.8.5 | Sören Tempel | 2019-06-02 | 1 | -5/+5 |
| * | community/z3: rebuild against python 3.7 | Natanael Copa | 2019-04-17 | 1 | -1/+1 |
| * | community/z3: upgrade to 4.8.4 | Sören Tempel | 2018-12-26 | 3 | -31/+4 |
| * | community/z3: immintrin.h only available on i386 | Carlo Landmeter | 2018-11-30 | 2 | -3/+3 |
| * | community/z3: fix ppc64le build break to skip use of immintrin.h | Mike Sullivan | 2018-11-27 | 2 | -1/+15 |
| * | community/z3: upgrade to 4.8.3 | Sören Tempel | 2018-11-22 | 1 | -3/+3 |
| * | community/z3: fix ppc64le by setting proper ptr width | Mike Sullivan | 2018-08-03 | 2 | -4/+17 |
| * | community/z3: move from testing | Sören Tempel | 2018-06-27 | 1 | -0/+56 |
 |
index : aports | |
| Main aports tree | gitolite |
| aboutsummaryrefslogtreecommitdiffstats |