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

Fedora Release Engineering 969a5ffd21 - Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild ... Signed-off-by: Fedora Release Engineering <releng@fedoraproject.org>		2021-07-23 22:12:33 +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.12.	2021-07-13 13:11:43 -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_35_Mass_Rebuild	2021-07-23 22:12:33 +00:00