fedora
Click here to visit the old openkoji buildsystem (Archived)

Information for build cbmc-5.95.1-4.fc41

ID6361
Package Namecbmc
Links Fedora Package Sources | Fedora Official Koji Buildsystem | Rocks RISC-V Koji Buildsystem | Fedora RISC-V GitHub | Old Koji Buildsystem
Version5.95.1
Release4.fc41
Epoch
DraftFalse
Sourcegit+https://src.fedoraproject.org/rpms/cbmc.git#54983a8e24f9ff20ea7a6a2022c6154b431228ae
SummaryBounded Model Checker for ANSI-C and C++ programs
DescriptionCBMC generates traces that demonstrate how an assertion can be violated, or proves that the assertion cannot be violated within a given number of loop iterations.
Built bykojiadmin
State complete
Volume DEFAULT
StartedTue, 07 May 2024 07:07:52 CST
CompletedTue, 07 May 2024 11:15:50 CST
Taskbuild (f41, /rpms/cbmc.git:54983a8e24f9ff20ea7a6a2022c6154b431228ae)
Extra{'source': {'original_url': 'git+https://src.fedoraproject.org/rpms/cbmc.git#54983a8e24f9ff20ea7a6a2022c6154b431228ae'}}
Tags
f41
RPMs
src
cbmc-5.95.1-4.fc41.src.rpm (info) (download)
riscv64
cbmc-5.95.1-4.fc41.riscv64.rpm (info) (download)
cbmc-doc-5.95.1-4.fc41.riscv64.rpm (info) (download)
cbmc-utils-5.95.1-4.fc41.riscv64.rpm (info) (download)
cbmc-debuginfo-5.95.1-4.fc41.riscv64.rpm (info) (download)
cbmc-debugsource-5.95.1-4.fc41.riscv64.rpm (info) (download)
Logs
riscv64
state.log
installed_pkgs.log
root.log
hw_info.log
build.log
mock_output.log
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