ID | 218884 |
Package Name | cadical |
Version | 1.5.2 |
Release | 3.fc37 |
Epoch | 1 |
Source | git+https://src.fedoraproject.org/rpms/cadical.git#bdf55967dd19030da1c2157d2a1d494e9be47113 |
Summary |
Description |
Built by | davidlt |
State |
complete
|
Volume |
DEFAULT |
Started | Thu, 10 Nov 2022 11:04:21 UTC |
Completed | Thu, 10 Nov 2022 12:48:17 UTC |
Task | build (f37, /rpms/cadical.git:bdf55967dd19030da1c2157d2a1d494e9be47113) |
Extra | {'source': {'original_url': 'git+https://src.fedoraproject.org/rpms/cadical.git#bdf55967dd19030da1c2157d2a1d494e9be47113'}} |
Tags |
|
RPMs |
|
Logs |
|
Changelog |
* Wed Jul 20 2022 Fedora Release Engineering <releng@fedoraproject.org> - 1:1.5.2-3
- Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild
* Wed Jan 19 2022 Fedora Release Engineering <releng@fedoraproject.org> - 1:1.5.2-2
- Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild
* Thu Oct 28 2021 Jerry James <loganjerry@gmail.com> - 1:1.5.2-1
- Version 1.5.2
* Wed Jul 21 2021 Fedora Release Engineering <releng@fedoraproject.org> - 1:1.4.1-2
- Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild
* Mon Jun 21 2021 Jerry James <loganjerry@gmail.com> - 1:1.4.1-1
- Version 1.4.1
* Sun Feb 14 2021 Jerry James <loganjerry@gmail.com> - 1:1.4.0-1
- Version 1.4.0
* Tue Jan 26 2021 Fedora Release Engineering <releng@fedoraproject.org> - 1:1.3.0-2
- Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild
* Mon Aug 03 2020 Jerry James <loganjerry@gmail.com> - 1:1.3.0-1
- Version 1.3.0
* Mon Jul 27 2020 Fedora Release Engineering <releng@fedoraproject.org> - 1:1.2.1-3
- Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild
|