How to Install and Uninstall libpoly.x86_64 Package on Fedora 38
Last updated: October 09,2024
1. Install "libpoly.x86_64" package
This guide covers the steps necessary to install libpoly.x86_64 on Fedora 38
$
sudo dnf update
Copied
$
sudo dnf install
libpoly.x86_64
Copied
2. Uninstall "libpoly.x86_64" package
Please follow the guidance below to uninstall libpoly.x86_64 on Fedora 38:
$
sudo dnf remove
libpoly.x86_64
Copied
$
sudo dnf autoremove
Copied
3. Information about the libpoly.x86_64 package on Fedora 38
Last metadata expiration check: 1:36:56 ago on Sun Mar 17 04:59:58 2024.
Available Packages
Name : libpoly
Version : 0.1.11
Release : 5.fc38
Architecture : x86_64
Size : 186 k
Source : libpoly-0.1.11-5.fc38.src.rpm
Repository : fedora
Summary : C library for manipulating polynomials
URL : https://sri-csl.github.io/libpoly/
License : LGPL-3.0-or-later
Description : LibPoly is a C library for manipulating polynomials. The target
: applications are symbolic reasoning engines, such as SMT solvers, that
: need to reason about polynomial constraints.
Available Packages
Name : libpoly
Version : 0.1.11
Release : 5.fc38
Architecture : x86_64
Size : 186 k
Source : libpoly-0.1.11-5.fc38.src.rpm
Repository : fedora
Summary : C library for manipulating polynomials
URL : https://sri-csl.github.io/libpoly/
License : LGPL-3.0-or-later
Description : LibPoly is a C library for manipulating polynomials. The target
: applications are symbolic reasoning engines, such as SMT solvers, that
: need to reason about polynomial constraints.