ID | 300275 |
Package Name | cbmc |
Version | 5.95.1 |
Release | 4.fc40 |
Epoch | |
Source | git+https://src.fedoraproject.org/rpms/cbmc.git#54983a8e24f9ff20ea7a6a2022c6154b431228ae |
Summary |
Description |
Built by | davidlt |
State |
complete
|
Volume |
DEFAULT |
Started | Wed, 20 Mar 2024 05:21:16 UTC |
Completed | Wed, 20 Mar 2024 09:14:35 UTC |
Task | build (f40, /rpms/cbmc.git:54983a8e24f9ff20ea7a6a2022c6154b431228ae) |
Extra | {'source': {'original_url': 'git+https://src.fedoraproject.org/rpms/cbmc.git#54983a8e24f9ff20ea7a6a2022c6154b431228ae'}} |
Tags |
|
RPMs |
|
Logs |
|
Changelog |
* Fri Feb 09 2024 Lukáš Zaoral <lzaoral@redhat.com> - 5.95.1-4
- fix FTBFS on Rawhide (rhbz#2259235)
* Tue Jan 23 2024 Fedora Release Engineering <releng@fedoraproject.org> - 5.95.1-3
- Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild
* Fri Jan 19 2024 Fedora Release Engineering <releng@fedoraproject.org> - 5.95.1-2
- Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild
* Tue Nov 21 2023 Lukáš Zaoral <lzaoral@redhat.com> - 5.95.1-1
- Update to 5.95.1 (rhbz#2239079)
* Fri Jul 21 2023 Lukáš Zaoral <lzaoral@redhat.com> - 5.50.0-6
- Exclude installation of test dependencies on non-x86_64 architectures
* Wed Jul 19 2023 Fedora Release Engineering <releng@fedoraproject.org> - 5.50.0-5
- Rebuilt for https://fedoraproject.org/wiki/Fedora_39_Mass_Rebuild
* Sun Jan 29 2023 Lukáš Zaoral <lzaoral@redhat.com> - 5.50.0-4
- Fix rawhide FTBFS
- Use SPDX license format
- Modernize the spec a bit
* Wed Jan 18 2023 Fedora Release Engineering <releng@fedoraproject.org> - 5.50.0-3
- Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild
* Wed Jul 20 2022 Fedora Release Engineering <releng@fedoraproject.org> - 5.50.0-2
- Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild
* Wed Feb 09 2022 Vincent Mihalkovic <vmihalko@redhat.com> - 5.50.0-1
- New upstream release of cbmc and also cbmc-utils
- Add "--add-cmd-line-arg" option for goto-instrument
|