How to Install and Uninstall ppl-dev Package on Ubuntu 18.04 LTS (Bionic Beaver)

Last updated: November 07,2024

1. Install "ppl-dev" package

This is a short guide on how to install ppl-dev on Ubuntu 18.04 LTS (Bionic Beaver)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                ppl-dev
            
                    
    
    Copied

2. Uninstall "ppl-dev" package

Please follow the guidance below to uninstall ppl-dev on Ubuntu 18.04 LTS (Bionic Beaver):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                ppl-dev
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the ppl-dev package on Ubuntu 18.04 LTS (Bionic Beaver)

Package: ppl-dev
Architecture: amd64
Version: 1:1.2-2build4
Priority: optional
Section: universe/devel
Source: ppl
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Debian Science Team
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 324
Depends: libppl-dev (= 1:1.2-2build4), libc6 (>= 2.14), libgcc1 (>= 1:3.0), libppl14, libstdc++6 (>= 5.2)
Replaces: libppl0.11-dev
Filename: pool/universe/p/ppl/ppl-dev_1.2-2build4_amd64.deb
Size: 34828
MD5sum: a849441278f9ef98fed1052d4ab00131
SHA1: 2f8dfc5c78878910810509f48614abda64c89392
SHA256: 54160f666d68623805161ae66be50356eead771527adb8affb5788fd091ecc47
Homepage: http://www.cs.unipr.it/ppl/
Description: Parma Polyhedra Library (development binaries)
Description-md5: c3e473b9c4ef451e4f19dc97f6d27453