Home
Packages
Forums
Bugs
Mailing List
Download
Arch Linux Official
Send patches - preferably formatted by
git format-patch
- to
patches at archlinux32 dot org
.
index
:
packages
auto-pentium4
i486
libdrm
master
savage
Archlinux32 package modifications
gitolite user
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
community
/
z3
/
z3-z3-4.8.7-gnu-trailing_zeroes32-intrinsic.patch
Age
Commit message (
Expand
)
Author
2020-05-11
community/z3: patch was upstreamed (?)
Erich Eckner
2019-12-13
community/z3: added trailing_zeroes32-intrinsic patch
Andreas Baumann