| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | community/z3: upgrade to 4.8.4 | Sören Tempel | 2018-12-26 | 1 | -8/+4 |
| | | | | | | | | | | | Both patches should no longer be needed: immintrin-i386-only.patch: has been applied upstream [0]. fix-ppc64le-ptr-size.patch: checks for __LP64__ now [1] which covers our cases. [0]: https://github.com/Z3Prover/z3/commit/a3ece29628501b405cb065f535ab0a003672fec0 [1]: https://github.com/Z3Prover/z3/commit/51a947b73d9d597029c30c62fe8d59d013a48f3c | ||||
| * | 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 |