Index index by Group index by Distribution index by Vendor index by creation date index by Name Mirrors Help Search

cbmc-utils-6.9.0-1.fc45 RPM for aarch64

From Fedora Rawhide for aarch64 / c

Name: cbmc-utils Distribution: Fedora Project
Version: 6.9.0 Vendor: Fedora Project
Release: 1.fc45 Build date: Tue Jun 16 10:22:44 2026
Group: Unspecified Build host: buildvm-a64-47.rdu3.fedoraproject.org
Size: 9356 Source RPM: cbmc-6.9.0-1.fc45.src.rpm
Packager: Fedora Project
Url: https://www.cprover.org/cbmc
Summary: Output conversion utilities for CBMC
 
Output conversion utilities for CBMC (GCC like format).

Provides

Requires

License

BSD-4-Clause

Changelog

* 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

Files

/usr/bin/cbmc-convert-output
/usr/bin/csexec-cbmc
/usr/share/licenses/cbmc-utils
/usr/share/licenses/cbmc-utils/LICENSE

Generated by rpm2html 1.8.1

Fabrice Bellet, Thu Jun 18 22:49:13 2026