How to Install and Uninstall pplite-devel Package on openSuSE Tumbleweed

Last updated: November 23,2024

1. Install "pplite-devel" package

This tutorial shows how to install pplite-devel on openSuSE Tumbleweed


    
        
            $
        

        
            
                sudo zypper refresh
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo zypper install
            
                        
                pplite-devel
            
                    
    
    Copied

2. Uninstall "pplite-devel" package

Please follow the instructions below to uninstall pplite-devel on openSuSE Tumbleweed:


    
        
            $
        

        
            
                sudo zypper remove
            
                        
                pplite-devel
            
                    
    
    Copied

3. Information about the pplite-devel package on openSuSE Tumbleweed

Information for package pplite-devel:
-------------------------------------
Repository : openSUSE-Tumbleweed-Oss
Name : pplite-devel
Version : 0.11-1.3
Arch : x86_64
Vendor : openSUSE
Installed Size : 498.9 KiB
Installed : No
Status : not installed
Source package : pplite-0.11-1.3.src
Upstream URL : https://github.com/ezaffanella/PPLite/
Summary : Headers and generators for pplite
Description :
PPLite is a C++ library implementing the abstract domain of convex polyhedra,
to be used in tools for static analysis and verification.
The main characteristics of PPLite:
* Both closed and NNC rational convex polyhedra are supported.
* Exact computations are based on FLINT.