Rebuilt for Fedora/RISCV (riscv64); adding .rvreX to Release:

Signed-off-by: David Abdurachmanov <davidlt@rivosinc.com>
Sync with upstream branch
2023-12-31 17:00:00 +02:00 · 2023-12-31 16:59:53 +02:00 · 2023-11-13 12:56:22 +02:00
1 changed files with 4 additions and 1 deletions
--- a/z3.spec
+++ b/z3.spec
@ -13,7 +13,7 @@

 Name:           z3
 Version:        4.12.4
-Release:        4%{?dist}
+Release:        4.rvre0%{?dist}
 Summary:        Satisfiability Modulo Theories (SMT) solver

 License:        MIT
@ -309,6 +309,9 @@ cd -
 %{python3_sitelib}/z3/

 %changelog
+* Sun Dec 31 2023 David Abdurachmanov <davidlt@rivosinc.com> - 4.12.4-4.rvre0
+- Rebuilt for Fedora/RISCV (riscv64)
+
 * Thu Dec 21 2023 Jerry James <loganjerry@gmail.com> - 4.12.4-4
 - Fix python package library load name (bz 2255464)
Author	SHA1	Message	Date
David Abdurachmanov	042e9c8a1d	Rebuilt for Fedora/RISCV (riscv64); adding .rvreX to Release: Signed-off-by: David Abdurachmanov <davidlt@rivosinc.com>	2023-12-31 17:00:00 +02:00
David Abdurachmanov	6ba09b736c	Sync with upstream branch Signed-off-by: David Abdurachmanov <davidlt@rivosinc.com>	2023-12-31 16:59:53 +02:00
David Abdurachmanov	3ea0fe040c	Rebuilt for Fedora/RISCV (riscv64); adding .rvreX to Release: Signed-off-by: David Abdurachmanov <davidlt@rivosinc.com>	2023-11-13 12:56:22 +02:00