rpms/z3
3
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
19ea46f605
z3/.gitignore

4 lines
51 B
Plaintext
Raw Normal View History

New upstream version.
2015-05-28 16:05:25 +00:00
/z3-4.4.0.tar.gz
New upstream version.
2015-10-09 03:08:13 +00:00
/z3-4.4.1.tar.gz
New upstream version. 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.
2016-11-10 23:07:47 +00:00
/z3-4.5.0.tar.gz
Reference in New Issue Copy Permalink