How to Install and Uninstall ppl-dev Package on Debian 12 (Bookworm)

Last updated: February 24,2025

You can also install and uninstall the ppl-dev on the following distributions in the same way, as they are all based on the Debian system

MX Linux 23
SparkyLinux

1. Install "ppl-dev" package

This is a short guide on how to install ppl-dev on Debian 12 (Bookworm)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                ppl-dev
            
                    
    
    Copied

2. Uninstall "ppl-dev" package

This guide let you learn how to uninstall ppl-dev on Debian 12 (Bookworm):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                ppl-dev
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the ppl-dev package on Debian 12 (Bookworm)

Package: ppl-dev
Source: ppl (1:1.2-8.1)
Version: 1:1.2-8.1+b1
Installed-Size: 324
Maintainer: Debian Science Team
Architecture: amd64
Replaces: libppl0.11-dev
Depends: libppl-dev (= 1:1.2-8.1+b1), libc6 (>= 2.34), libgcc-s1 (>= 3.0), 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-8.1+b1_amd64.deb
Size: 220816
MD5sum: babd49f636a42737daf6e0b720a9dc6d
SHA256: 7f1ae99e7ecc05d47913b26e07ffc0c4a645c8c83f405eb53870f0e48085b504