cbmc-6.10.0-1.fc45 | Build Info

Information for build cbmc-6.10.0-1.fc45

1179

Package Name

cbmc

Version

6.10.0

Release

1.fc45

Epoch

Draft

False

Source

git+https://src.fedoraproject.org/rpms/cbmc.git#33f3ba94e8ed7c584fd3ca7b511e5e45576a15f5

Summary

Bounded Model Checker for ANSI-C and C++ programs

Description

CBMC 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 by

guoguo

State

complete

Volume

DEFAULT

Started

Tue, 13 Oct 2026 05:05:48 UTC

Completed

Tue, 13 Oct 2026 08:52:08 UTC

Task

build (f45, /rpms/cbmc.git:33f3ba94e8ed7c584fd3ca7b511e5e45576a15f5)

Extra

{'source': {'original_url': 'git+https://src.fedoraproject.org/rpms/cbmc.git#33f3ba94e8ed7c584fd3ca7b511e5e45576a15f5'}}

Tags

f45

RPMs

src
	cbmc-6.10.0-1.fc45.src.rpm (info) (download)
riscv64
	cbmc-6.10.0-1.fc45.riscv64.rpm (info) (download)
	cbmc-doc-6.10.0-1.fc45.riscv64.rpm (info) (download)
	cbmc-utils-6.10.0-1.fc45.riscv64.rpm (info) (download)
	cbmc-debuginfo-6.10.0-1.fc45.riscv64.rpm (info) (download)
	cbmc-debugsource-6.10.0-1.fc45.riscv64.rpm (info) (download)

Logs

riscv64
	mock_config.log
	state.log
	build.log
	root.log
	dnf5.log
	mock_output.log
	hw_info.log
	installed_pkgs.log

Changelog

* Thu Jul 16 2026 Lukáš Zaoral <lzaoral@redhat.com> - 6.10.0-1 - rebase to the latest upstream release (rhzb#2492168) * Wed Jul 15 2026 Fedora Release Engineering <releng@fedoraproject.org> - 6.9.0-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_45_Mass_Rebuild * Thu Jun 11 2026 Lukáš Zaoral <lzaoral@redhat.com> - 6.9.0-1 - rebase to the latest upstream release (rhbz#2458463) * Fri Jan 16 2026 Fedora Release Engineering <releng@fedoraproject.org> - 6.8.0-3 - Rebuilt for https://fedoraproject.org/wiki/Fedora_44_Mass_Rebuild * Fri Jan 16 2026 Fedora Release Engineering <releng@fedoraproject.org> - 6.8.0-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_44_Mass_Rebuild * Fri Dec 05 2025 Lukáš Zaoral <lzaoral@redhat.com> - 6.8.0-1 - rebase to the latest upstream release (rhbz#2412627) * Wed Jul 23 2025 Fedora Release Engineering <releng@fedoraproject.org> - 6.7.1-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_43_Mass_Rebuild * Fri Jul 11 2025 Lukáš Zaoral <lzaoral@redhat.com> - 6.7.1-1 - rebase to the latest upstream release (rhbz#2379159) * Tue Jul 08 2025 Lukáš Zaoral <lzaoral@redhat.com> - 6.7.0-1 - rebase to the latest upstream release (rhbz#2374934) * Mon May 05 2025 Lukáš Zaoral <lzaoral@redhat.com> - 6.6.0-1 - rebase to the latest upstream release (rhbz#2362802) * Wed Apr 23 2025 Lukáš Zaoral <lzaoral@redhat.com> - 6.5.0-1 - rebase to the latest upstream release (rhbz#2352414) * 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

Main Site Links:

Information for build cbmc-6.10.0-1.fc45