Clone of https://src.fedoraproject.org/rpms/z3

Python Maint 306bdba1f5 Rebuilt for Python 3.10		2021-06-04 21:20:40 +02:00
.gitignore	Put cmake files in the lookaside cache instead of in git.	2020-05-15 10:42:32 -06:00
sources	Version 4.8.10.	2021-02-13 09:47:28 -07:00
z3-python.patch	Fix the python interface (bz 1910923).	2020-12-26 07:44:31 -07:00
z3.rpmlintrc	New upstream version.	2019-11-21 14:44:32 -07:00
z3.spec	Rebuilt for Python 3.10	2021-06-04 21:20:40 +02:00