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

cbmc-utils-5.95.1-4.fc40 RPM for x86_64

From Fedora Rawhide for x86_64 / c

Name: cbmc-utils Distribution: Fedora Project
Version: 5.95.1 Vendor: Fedora Project
Release: 4.fc40 Build date: Mon Feb 12 14:54:16 2024
Group: Unspecified Build host: buildhw-x86-15.iad2.fedoraproject.org
Size: 9356 Source RPM: cbmc-5.95.1-4.fc40.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

* 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

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, Tue Apr 30 00:06:39 2024