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

Information for build cbmc-6.4.1-2.fc42

ID115403
Package Namecbmc
Links Fedora Package Sources | Fedora Official Koji Buildsystem | Rocks RISC-V Koji Buildsystem | Fedora RISC-V GitHub | Old Koji Buildsystem
Version6.4.1
Release2.fc42
Epoch
DraftFalse
Sourcegit+https://src.fedoraproject.org/rpms/cbmc.git#b608b6352a16b88d813d0dd1b6de2afebd24a41a
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
StartedThu, 06 Mar 2025 23:07:05 CST
CompletedFri, 07 Mar 2025 08:59:25 CST
Taskbuild (f42, /rpms/cbmc.git:b608b6352a16b88d813d0dd1b6de2afebd24a41a)
Extra{'source': {'original_url': 'git+https://src.fedoraproject.org/rpms/cbmc.git#b608b6352a16b88d813d0dd1b6de2afebd24a41a'}}
Tags
f42
RPMs
src
cbmc-6.4.1-2.fc42.src.rpm (info) (download)
riscv64
cbmc-6.4.1-2.fc42.riscv64.rpm (info) (download)
cbmc-doc-6.4.1-2.fc42.riscv64.rpm (info) (download)
cbmc-utils-6.4.1-2.fc42.riscv64.rpm (info) (download)
cbmc-debuginfo-6.4.1-2.fc42.riscv64.rpm (info) (download)
cbmc-debugsource-6.4.1-2.fc42.riscv64.rpm (info) (download)
Logs
riscv64
installed_pkgs.log
build.log
state.log
hw_info.log
mock_config.log
root.log
dnf5.log
mock_output.log
Changelog * Thu Jan 16 2025 Fedora Release Engineering <releng@fedoraproject.org> - 6.4.1-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_42_Mass_Rebuild * Fri Nov 29 2024 Lukáš Zaoral <lzaoral@redhat.com> - 6.4.1-1 - rebase to latest upstream version (rhbz#2292926) * Wed Jul 17 2024 Fedora Release Engineering <releng@fedoraproject.org> - 5.95.1-5 - Rebuilt for https://fedoraproject.org/wiki/Fedora_41_Mass_Rebuild * 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