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
Copied
$
sudo dnf install
cbmc-utils.x86_64
Copied
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
Copied
$
sudo dnf autoremove
Copied
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).
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).