summaryrefslogtreecommitdiff
path: root/user/z3/_trailing_zeros32.patch
AgeCommit message (Expand)AuthorFilesLines
2020-07-07user/z3: Update to 4.8.8A. Wilcox1-23/+0
2020-06-16user/z3: fix build on 32-bit archesMax Rees1-0/+23