How to Install and Uninstall lfsc-devel.x86_64 Package on Fedora 38

Last updated: October 08,2024

1. Install "lfsc-devel.x86_64" package

Please follow the step by step instructions below to install lfsc-devel.x86_64 on Fedora 38

$ sudo dnf update $ sudo dnf install lfsc-devel.x86_64

2. Uninstall "lfsc-devel.x86_64" package

This is a short guide on how to uninstall lfsc-devel.x86_64 on Fedora 38:

$ sudo dnf remove lfsc-devel.x86_64 $ sudo dnf autoremove

3. Information about the lfsc-devel.x86_64 package on Fedora 38

Last metadata expiration check: 2:52:07 ago on Sun Mar 17 04:59:58 2024.
Available Packages
Name : lfsc-devel
Version : 0.20210305
Release : 5.fc38
Architecture : x86_64
Size : 8.3 k
Source : lfsc-0.20210305-5.fc38.src.rpm
Repository : fedora
Summary : Files needed to compile side conditions
URL : https://github.com/cvc5/LFSC
License : BSD-3-Clause
Description : This package contains the files needed to compile a version of lfsc that
: can execute a side condition.