ID | 242972 |
Package Name | minisat2 |
Version | 2.2.1 |
Release | 16.fc38 |
Epoch | |
Source | git+https://src.fedoraproject.org/rpms/minisat2.git#68fd9e2777824ec610212a86c5b2c07130b9f1be |
Summary |
Description |
Built by | davidlt |
State |
complete
|
Volume |
DEFAULT |
Started | Thu, 30 Mar 2023 14:49:39 UTC |
Completed | Thu, 30 Mar 2023 15:05:30 UTC |
Task | build (f38, /rpms/minisat2.git:68fd9e2777824ec610212a86c5b2c07130b9f1be) |
Extra | {'source': {'original_url': 'git+https://src.fedoraproject.org/rpms/minisat2.git#68fd9e2777824ec610212a86c5b2c07130b9f1be'}} |
Tags |
|
RPMs |
src | |
|
minisat2-2.2.1-16.fc38.src.rpm (info) (download) |
riscv64 |
|
minisat2-2.2.1-16.fc38.riscv64.rpm (info) (download)
|
|
minisat2-devel-2.2.1-16.fc38.riscv64.rpm (info) (download)
|
|
minisat2-libs-2.2.1-16.fc38.riscv64.rpm (info) (download)
|
|
minisat2-debuginfo-2.2.1-16.fc38.riscv64.rpm (info) (download)
|
|
minisat2-debugsource-2.2.1-16.fc38.riscv64.rpm (info) (download)
|
|
minisat2-libs-debuginfo-2.2.1-16.fc38.riscv64.rpm (info) (download)
|
|
Logs |
|
Changelog |
* Thu Jan 19 2023 Fedora Release Engineering <releng@fedoraproject.org> - 2.2.1-16
- Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild
* Mon Nov 28 2022 Jerry James <loganjerry@gmail.com> - 2.2.1-15
- Do not glob the library name
* Thu Jul 21 2022 Fedora Release Engineering <releng@fedoraproject.org> - 2.2.1-15
- Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild
* Thu Jan 20 2022 Fedora Release Engineering <releng@fedoraproject.org> - 2.2.1-14
- Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild
* Thu Jul 22 2021 Fedora Release Engineering <releng@fedoraproject.org> - 2.2.1-13
- Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild
* Tue Jan 26 2021 Fedora Release Engineering <releng@fedoraproject.org> - 2.2.1-12
- Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild
|