How to Install and Uninstall ppl-dev Package on Debian 10 (Buster)

Last updated: May 11,2024

1. Install "ppl-dev" package

Learn how to install ppl-dev on Debian 10 (Buster)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                ppl-dev
            
                    
    
    Copied

2. Uninstall "ppl-dev" package

Here is a brief guide to show you how to uninstall ppl-dev on Debian 10 (Buster):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                ppl-dev
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the ppl-dev package on Debian 10 (Buster)

Package: ppl-dev
Source: ppl
Version: 1:1.2-7
Installed-Size: 329
Maintainer: Debian Science Team
Architecture: amd64
Replaces: libppl0.11-dev
Depends: libppl-dev (= 1:1.2-7), libc6 (>= 2.14), libgcc1 (>= 1:3.0), libgmp10, libgmpxx4ldbl, libppl14, libstdc++6 (>= 5.2)
Description: Parma Polyhedra Library (development binaries)
Description-md5: c3e473b9c4ef451e4f19dc97f6d27453
Homepage: http://www.cs.unipr.it/ppl/
Section: devel
Priority: optional
Filename: pool/main/p/ppl/ppl-dev_1.2-7_amd64.deb
Size: 226892
MD5sum: c7365d669abd36540af3392e2c0f8625
SHA256: a0dbe25e5b97f24ebba70309915cbeee6c3f6f98da3fdce10261460bc4ceecbc