[packages/z3] rebuild with separate debuginfo build-ids

[baggins]

commit dc021dc9db33369f5d5a478e20e15dc91d61d12d
Author: Jan Rękorajski <baggins at pld-linux.org>
Date:   Sat Nov 20 23:09:15 2021 +0100

    rebuild with separate debuginfo build-ids
    
    Release 4 (by relup.sh)

 z3.spec | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)
---
diff --git a/z3.spec b/z3.spec
index b4a448f..c6d238b 100644
--- a/z3.spec
+++ b/z3.spec
@@ -14,7 +14,7 @@ Summary:	High-performance theorem prover developed at Microsoft Research
 Summary(pl.UTF-8):	Wydajne narzędzie do dowodzenia twierdzeń tworzone przez Microsoft Research
 Name:		z3
 Version:	4.8.7
-Release:	3
+Release:	4
 License:	MIT
 Group:		Applications/Engineering
 #Source0Download: https://github.com/Z3Prover/z3/releases
================================================================

---- gitweb:

http://git.pld-linux.org/gitweb.cgi/packages/z3.git/commitdiff/dc021dc9db33369f5d5a478e20e15dc91d61d12d