How to Install and Uninstall cbmc-utils.x86_64 Package on Fedora 39

Last updated: November 27,2024

1. Install "cbmc-utils.x86_64" package

In this section, we are going to explain the necessary steps to install cbmc-utils.x86_64 on Fedora 39

$ sudo dnf update $ sudo dnf install cbmc-utils.x86_64

2. Uninstall "cbmc-utils.x86_64" package

Learn how to uninstall cbmc-utils.x86_64 on Fedora 39:

$ sudo dnf remove cbmc-utils.x86_64 $ sudo dnf autoremove

3. Information about the cbmc-utils.x86_64 package on Fedora 39

Last metadata expiration check: 0:01:17 ago on Thu Mar 7 11:44:58 2024.
Available Packages
Name : cbmc-utils
Version : 5.50.0
Release : 6.fc39
Architecture : x86_64
Size : 12 k
Source : cbmc-5.50.0-6.fc39.src.rpm
Repository : fedora
Summary : Output conversion utilities for CBMC
URL : https://www.cprover.org/cbmc
License : BSD-4-Clause
Description : Output conversion utilities for CBMC (GCC like format).