ID | 302759 |
Package Name | minisat2 |
Version | 2.2.1 |
Release | 19.fc40 |
Epoch | |
Source | git+https://src.fedoraproject.org/rpms/minisat2.git#5fce1d07a79a89f12eabc0748b73e4d413b2d5f1 |
Summary |
Description |
Built by | davidlt |
State |
complete
|
Volume |
DEFAULT |
Started | Thu, 28 Mar 2024 12:50:26 UTC |
Completed | Thu, 28 Mar 2024 13:30:58 UTC |
Task | build (f40, /rpms/minisat2.git:5fce1d07a79a89f12eabc0748b73e4d413b2d5f1) |
Extra | {'source': {'original_url': 'git+https://src.fedoraproject.org/rpms/minisat2.git#5fce1d07a79a89f12eabc0748b73e4d413b2d5f1'}} |
Tags |
|
RPMs |
src | |
|
minisat2-2.2.1-19.fc40.src.rpm (info) (download) |
riscv64 |
|
minisat2-2.2.1-19.fc40.riscv64.rpm (info) (download)
|
|
minisat2-devel-2.2.1-19.fc40.riscv64.rpm (info) (download)
|
|
minisat2-libs-2.2.1-19.fc40.riscv64.rpm (info) (download)
|
|
minisat2-debuginfo-2.2.1-19.fc40.riscv64.rpm (info) (download)
|
|
minisat2-debugsource-2.2.1-19.fc40.riscv64.rpm (info) (download)
|
|
minisat2-libs-debuginfo-2.2.1-19.fc40.riscv64.rpm (info) (download)
|
|
Logs |
|
Changelog |
* Thu Jan 25 2024 Fedora Release Engineering <releng@fedoraproject.org> - 2.2.1-19
- Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild
* Sun Jan 21 2024 Fedora Release Engineering <releng@fedoraproject.org> - 2.2.1-18
- Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild
* Thu Jul 20 2023 Fedora Release Engineering <releng@fedoraproject.org> - 2.2.1-17
- Rebuilt for https://fedoraproject.org/wiki/Fedora_39_Mass_Rebuild
* 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
|