1afb4a3f9f
Also: - All patches except -sse2 have been upstreamed; drop them. - Upstream now ships __init__.py; drop our version. - Drop all the buildroot tricks; Makefile supports DESTDIR now. - Use C.UTF-8 instead of en_US.UTF-8. |
||
---|---|---|
.gitignore | ||
sources | ||
z3-sse2.patch | ||
z3.spec |