ID | 185299 |
Package Name | cbmc |
Version | 5.12 |
Release | 2.fc33 |
Epoch | |
Source | git+https://src.fedoraproject.org/rpms/cbmc.git#69d585c3267e52f183e09c2db954051104da1493 |
Summary |
Description |
Built by | davidlt |
State |
failed
|
Volume |
DEFAULT |
Started | Sat, 05 Sep 2020 15:22:58 UTC |
Completed | Sat, 05 Sep 2020 15:39:37 UTC |
Task | build (f33, /rpms/cbmc.git:69d585c3267e52f183e09c2db954051104da1493) |
Extra | {'source': {'original_url': 'git+https://src.fedoraproject.org/rpms/cbmc.git#69d585c3267e52f183e09c2db954051104da1493'}} |
Tags |
No tags
|
RPMs |
No RPMs
|
Changelog |
* Mon Jul 27 2020 Fedora Release Engineering <releng@fedoraproject.org> - 5.12-2
- Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild
* Thu Jul 09 2020 Vincent Mihalkovic <vmihalko@redhat.com> - 5.12-1
- New upstream release. Skipping some of regression tests - temporary f33 build fix
* Tue Jan 28 2020 Fedora Release Engineering <releng@fedoraproject.org> - 5.11-5
- Rebuilt for https://fedoraproject.org/wiki/Fedora_32_Mass_Rebuild
* Fri Sep 27 2019 Jerry James <loganjerry@gmail.com> - 5.11-4
- Drop cudd support due to impending cudd retirement
* Wed Jul 24 2019 Fedora Release Engineering <releng@fedoraproject.org> - 5.11-3
- Rebuilt for https://fedoraproject.org/wiki/Fedora_31_Mass_Rebuild
* Sat Jun 08 2019 Jerry James <loganjerry@gmail.com> - 5.11-2
- Fix man page links (bz 1718287)
* Thu Jan 31 2019 Jerry James <loganjerry@gmail.com> - 5.11-1
- New upstream release
* Thu Jan 31 2019 Fedora Release Engineering <releng@fedoraproject.org> - 5.10-2
- Rebuilt for https://fedoraproject.org/wiki/Fedora_30_Mass_Rebuild
* Wed Sep 26 2018 Jerry James <loganjerry@gmail.com> - 5.10-1
- New upstream release
|