How to Install and Uninstall ppl-dev Package on Ubuntu 23.10 (Mantic Minotaur)

Last updated: May 21,2024

1. Install "ppl-dev" package

This is a short guide on how to install ppl-dev on Ubuntu 23.10 (Mantic Minotaur)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                ppl-dev
            
                    
    
    Copied

2. Uninstall "ppl-dev" package

Please follow the guidelines below to uninstall ppl-dev on Ubuntu 23.10 (Mantic Minotaur):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                ppl-dev
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the ppl-dev package on Ubuntu 23.10 (Mantic Minotaur)

Package: ppl-dev
Architecture: amd64
Version: 1:1.2-8.1build3
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: 323
Depends: libppl-dev (= 1:1.2-8.1build3), libc6 (>= 2.34), libgcc-s1 (>= 3.3.1), libppl14, libstdc++6 (>= 5.2)
Replaces: libppl0.11-dev
Filename: pool/universe/p/ppl/ppl-dev_1.2-8.1build3_amd64.deb
Size: 38194
MD5sum: ad071554509c94c7a6de33af31cf1bf6
SHA1: 546b98c71a51e812d342ee7d6cc2d7bbc9b0edf6
SHA256: 785f70d23b4cf3b3b9accca2325bf62016e20c020e766f01206d9572327517db
SHA512: a1e611666a2281c49bf76ccdb01a510d42e208a82986e7b8664d42c58761d458794bf116d7b9f8442fc1bcfde67c46d2731f9ae514b644f1e76f427a940af606
Homepage: http://www.cs.unipr.it/ppl/
Description: Parma Polyhedra Library (development binaries)
Description-md5: c3e473b9c4ef451e4f19dc97f6d27453