| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | community/z3: upgrade to 4.8.4 | Sören Tempel | 2018-12-26 | 1 | -8/+4 |
| * | community/z3: immintrin.h only available on i386 | Carlo Landmeter | 2018-11-30 | 1 | -2/+2 |
| * | community/z3: fix ppc64le build break to skip use of immintrin.h | Mike Sullivan | 2018-11-27 | 1 | -1/+3 |
| * | 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 | 1 | -4/+6 |
| * | community/z3: move from testing | Sören Tempel | 2018-06-27 | 1 | -0/+56 |
 |
index : aports | |
| Main aports tree | gitolite |
| aboutsummaryrefslogtreecommitdiffstats |