index
:
aports
1.10-stable
1.9
2.0-stable
2.1-stable
2.2-stable
2.3-stable
2.4-stable
2.5-stable
2.6-stable
2.7-stable
3.0-stable
3.1-stable
3.10-stable
3.11-stable
3.2-stable
3.3-stable
3.4-stable
3.5-stable
3.6-stable
3.7-stable
3.8-stable
3.9-stable
master
uacme-upgrade
v3.0-wip
z3-upgrade
Main aports tree
gitolite
about
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
path:
root
/
community
/
z3
/
APKBUILD
Commit message (
Expand
)
Author
Age
Files
Lines
*
community/z3: fix build with None build type
Sören Tempel
2020-02-22
1
-2
/
+4
*
community/*: make CMake and meson respect our C{,PP,XX}FLAGS
Rasmus Thomsen
2020-02-21
1
-2
/
+2
*
community/z3: attempt to fix build on some architectures
Sören Tempel
2019-11-23
1
-2
/
+4
*
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
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
