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

Fedora Release Engineering 6ca61cb935 - Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild ... Signed-off-by: Fedora Release Engineering <releng@fedoraproject.org>		2021-01-28 00:37:04 +00: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.9.	2020-09-11 10:11:15 -06: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 https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild	2021-01-28 00:37:04 +00:00