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

Last updated: February 24,2025

1. Install "libppl-dev" package

Please follow the guidelines below to install libppl-dev on Debian 10 (Buster)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libppl-dev
            
                    
    
    Copied

2. Uninstall "libppl-dev" package

This is a short guide on how to uninstall libppl-dev on Debian 10 (Buster):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libppl-dev
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

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

Package: libppl-dev
Source: ppl
Version: 1:1.2-7
Installed-Size: 19877
Maintainer: Debian Science Team
Architecture: amd64
Replaces: libppl0.12-dev, libppl7 (<< 0.10~pre27-4), libppl9
Provides: libppl-c-dev, libppl0.12-dev
Depends: libppl-c4 (= 1:1.2-7), libppl14 (= 1:1.2-7)
Recommends: libgmp-dev
Suggests: libppl-doc
Conflicts: libppl0.10-dev, libppl0.11-dev, libppl0.12-dev
Breaks: libppl7 (<< 0.10~pre27-4), libppl9
Description: Parma Polyhedra Library (development)
Description-md5: 4fa45d1b24bb1abf6f705e66d3cc4f4a
Multi-Arch: same
Homepage: http://www.cs.unipr.it/ppl/
Tag: devel::library, role::devel-lib
Section: libdevel
Priority: optional
Filename: pool/main/p/ppl/libppl-dev_1.2-7_amd64.deb
Size: 2122980
MD5sum: a1ed26c46d8b39dcb8cb6fd81498f32c
SHA256: b8a221cbb0f7734e8cb38f15031c9f1d574eb6eb1d78586d87cb567b44199cce