rpms
/
stp
2
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

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

Signed-off-by: David Abdurachmanov <davidlt@rivosinc.com>
This commit is contained in:
David Abdurachmanov 2024-01-10 18:35:33 +02:00
parent 1f828e7f6c
commit 8a50060d65
Signed by: davidlt
GPG Key ID: 8B7F1DA0E2C9FDBB
1 changed files with 4 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
stp.spec
View File

@ -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