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
Copied
$
sudo dnf install
lfsc-devel.x86_64
Copied
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
Copied
$
sudo dnf autoremove
Copied
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.
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.