How to Install and Uninstall libpplite1 Package on openSUSE Leap

Last updated: November 23,2024

1. Install "libpplite1" package

This guide covers the steps necessary to install libpplite1 on openSUSE Leap


    
        
            $
        

        
            
                sudo zypper refresh
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo zypper install
            
                        
                libpplite1
            
                    
    
    Copied

2. Uninstall "libpplite1" package

This is a short guide on how to uninstall libpplite1 on openSUSE Leap:


    
        
            $
        

        
            
                sudo zypper remove
            
                        
                libpplite1
            
                    
    
    Copied

3. Information about the libpplite1 package on openSUSE Leap

Information for package libpplite1:
-----------------------------------
Repository : Main Repository
Name : libpplite1
Version : 0.7-bp155.1.7
Arch : x86_64
Vendor : openSUSE
Installed Size : 1.1 MiB
Installed : No
Status : not installed
Source package : pplite-0.7-bp155.1.7.src
Upstream URL : https://www.cs.unipr.it/~zaffanella/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.