How to Install and Uninstall libpplite4 Package on openSuSE Tumbleweed

Last updated: May 19,2024

1. Install "libpplite4" package

This is a short guide on how to install libpplite4 on openSuSE Tumbleweed

$ sudo zypper refresh $ sudo zypper install libpplite4

2. Uninstall "libpplite4" package

Please follow the guidelines below to uninstall libpplite4 on openSuSE Tumbleweed:

$ sudo zypper remove libpplite4

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.