How to Install and Uninstall libpplite1 Package on openSuSE Tumbleweed

Last updated: May 18,2024

1. Install "libpplite1" package

This tutorial shows how to install libpplite1 on openSuSE Tumbleweed

$ sudo zypper refresh $ sudo zypper install libpplite1

2. Uninstall "libpplite1" package

Please follow the instructions below to uninstall libpplite1 on openSuSE Tumbleweed:

$ sudo zypper remove libpplite1

3. Information about the libpplite1 package on openSuSE Tumbleweed

Information for package libpplite1:
-----------------------------------
Repository : openSUSE-Tumbleweed-Oss
Name : libpplite1
Version : 0.7-1.3
Arch : x86_64
Vendor : openSUSE
Installed Size : 1,1 MiB
Installed : No
Status : not installed
Source package : pplite-0.7-1.3.src
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.

5. The same packages on other Linux Distributions