ID | 152719 |
Package Name | cbmc |
Version | 5.11 |
Release | 5.fc33 |
Epoch | |
Source | git+https://src.fedoraproject.org/rpms/cbmc.git#0a09247d61b7487d62ae1ba95c68ecb7d4c9784f |
Summary |
Description |
Built by | davidlt |
State |
complete
|
Volume |
DEFAULT |
Started | Sat, 28 Mar 2020 15:24:22 UTC |
Completed | Sat, 28 Mar 2020 23:00:18 UTC |
Task | build (f33, /rpms/cbmc.git:0a09247d61b7487d62ae1ba95c68ecb7d4c9784f) |
Extra | {'source': {'original_url': 'git+https://src.fedoraproject.org/rpms/cbmc.git#0a09247d61b7487d62ae1ba95c68ecb7d4c9784f'}} |
Tags |
|
RPMs |
|
Logs |
|
Changelog |
* 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
* Thu Jul 12 2018 Fedora Release Engineering <releng@fedoraproject.org> - 5.9-2
- Rebuilt for https://fedoraproject.org/wiki/Fedora_29_Mass_Rebuild
* Fri Jun 22 2018 Jerry James <loganjerry@gmail.com> - 5.9-1
- New upstream release
- Drop upstreamed -float128 and -vec patches
- Musketeer and symex have been removed; do not try to build them
* Mon Jun 11 2018 Jerry James <loganjerry@gmail.com> - 5.8-4
- Fix out of bounds vector accesses
* Sat Jun 02 2018 Jerry James <loganjerry@gmail.com> - 5.8-3
- Rebuild for glpk 4.65
|