cbmc-5.95.1-5.fc41 | Build Info

Information for build cbmc-5.95.1-5.fc41

330595

Package Name

cbmc

Version

5.95.1

Release

5.fc41

Epoch

Source

git+https://src.fedoraproject.org/rpms/cbmc.git#04010a05804d4527a27e47485e245512bde34297

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

davidlt

State

complete

Volume

DEFAULT

Started

Tue, 06 Aug 2024 15:17:11 UTC

Completed

Wed, 07 Aug 2024 01:28:41 UTC

Task

build (f41, /rpms/cbmc.git:04010a05804d4527a27e47485e245512bde34297)

Extra

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

Tags

f41

f42

RPMs

src
	cbmc-5.95.1-5.fc41.src.rpm (info) (download)
riscv64
	cbmc-5.95.1-5.fc41.riscv64.rpm (info) (download)
	cbmc-doc-5.95.1-5.fc41.riscv64.rpm (info) (download)
	cbmc-utils-5.95.1-5.fc41.riscv64.rpm (info) (download)
	cbmc-debuginfo-5.95.1-5.fc41.riscv64.rpm (info) (download)
	cbmc-debugsource-5.95.1-5.fc41.riscv64.rpm (info) (download)

Logs

riscv64
	state.log
	build.log
	root.log
	hw_info.log
	mock_output.log

Changelog

* 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 * Wed Jul 20 2022 Fedora Release Engineering <releng@fedoraproject.org> - 5.50.0-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild

Main Site Links:

Information for build cbmc-5.95.1-5.fc41