How to Install and Uninstall libpplite4 Package on openSuSE Tumbleweed
Last updated: November 08,2024
1. Install "libpplite4" package
This is a short guide on how to install libpplite4 on openSuSE Tumbleweed
$
sudo zypper refresh
Copied
$
sudo zypper install
libpplite4
Copied
2. Uninstall "libpplite4" package
Please follow the guidelines below to uninstall libpplite4 on openSuSE Tumbleweed:
$
sudo zypper remove
libpplite4
Copied
3. Information about the libpplite4 package on openSuSE Tumbleweed
Information for package libpplite4:
-----------------------------------
Repository : openSUSE-Tumbleweed-Oss
Name : libpplite4
Version : 0.11-1.3
Arch : x86_64
Vendor : openSUSE
Installed Size : 1.7 MiB
Installed : No
Status : not installed
Source package : pplite-0.11-1.3.src
Upstream URL : https://github.com/ezaffanella/PPLite/
Summary : Library for computations with polyhedra
Description :
PPLite is a C++ library implementing the abstract domain of convex polyhedra,
to be used in tools for static analysis and verification.
-----------------------------------
Repository : openSUSE-Tumbleweed-Oss
Name : libpplite4
Version : 0.11-1.3
Arch : x86_64
Vendor : openSUSE
Installed Size : 1.7 MiB
Installed : No
Status : not installed
Source package : pplite-0.11-1.3.src
Upstream URL : https://github.com/ezaffanella/PPLite/
Summary : Library for computations with polyhedra
Description :
PPLite is a C++ library implementing the abstract domain of convex polyhedra,
to be used in tools for static analysis and verification.