commit dc021dc9db33369f5d5a478e20e15dc91d61d12d
Author: Jan Rękorajski <[email protected]>
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
_______________________________________________
pld-cvs-commit mailing list
[email protected]
http://lists.pld-linux.org/mailman/listinfo/pld-cvs-commit
