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

Signed-off-by: David Abdurachmanov <davidlt@rivosinc.com>

stp.spec

@@ -1,6 +1,6 @@
 Name:		stp
 Version:	2.3.3
-Release:	27%{?dist}
+Release:	27.rvre0%{?dist}
 Summary:	Constraint solver/decision procedure
 
 # MIT: the project as a whole
@@ -127,6 +127,9 @@ mv %{buildroot}%{_prefix}/man %{buildroot}%{_datadir}/man
 %{python3_sitelib}/%{name}/
 
 %changelog
+* Wed Jan 10 2024 David Abdurachmanov <davidlt@rivosinc.com> - 2.3.3-27.rvre0
+- Rebuilt for Fedora/RISCV (riscv64)
+
 * Sat Jul 22 2023 Fedora Release Engineering <releng@fedoraproject.org> - 2.3.3-27
 - Rebuilt for https://fedoraproject.org/wiki/Fedora_39_Mass_Rebuild