How to Install and Uninstall libpplite1 Package on openSuSE Tumbleweed
Last updated: February 03,2025
Deprecated! Installation of this package may no longer be supported.
1. Install "libpplite1" package
This tutorial shows how to install libpplite1 on openSuSE Tumbleweed
$
sudo zypper refresh
Copied
$
sudo zypper install
libpplite1
Copied
2. Uninstall "libpplite1" package
Please follow the instructions below to uninstall libpplite1 on openSuSE Tumbleweed:
$
sudo zypper remove
libpplite1
Copied
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.
-----------------------------------
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.