aboutsummaryrefslogtreecommitdiffstats
path: root/community/z3/APKBUILD
Commit message (Expand)AuthorAgeFilesLines
* community/z3: fix build with None build typeSören Tempel2020-02-221-2/+4
* community/*: make CMake and meson respect our C{,PP,XX}FLAGSRasmus Thomsen2020-02-211-2/+2
* community/z3: attempt to fix build on some architecturesSören Tempel2019-11-231-2/+4
* community/z3: upgrade to 4.8.7Sören Tempel2019-11-231-5/+5
* community/z3: rebuild against python 3.8Natanael Copa2019-11-051-1/+1
* community/z3: upgrade to 4.8.6Leo2019-11-041-8/+4
* community/z3: upgrade to 4.8.5Sören Tempel2019-06-021-5/+5
* community/z3: rebuild against python 3.7Natanael Copa2019-04-171-1/+1
* community/z3: upgrade to 4.8.4Sören Tempel2018-12-261-8/+4
* community/z3: immintrin.h only available on i386Carlo Landmeter2018-11-301-2/+2
* community/z3: fix ppc64le build break to skip use of immintrin.hMike Sullivan2018-11-271-1/+3
* community/z3: upgrade to 4.8.3Sören Tempel2018-11-221-3/+3
* community/z3: fix ppc64le by setting proper ptr widthMike Sullivan2018-08-031-4/+6
* community/z3: move from testingSören Tempel2018-06-271-0/+56