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

Last updated: May 19,2024

1. Install "libppl-dev" package

This guide covers the steps necessary to install libppl-dev on Ubuntu 23.10 (Mantic Minotaur)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libppl-dev
            
                    
    
    Copied

2. Uninstall "libppl-dev" package

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


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libppl-dev
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

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

Package: libppl-dev
Architecture: amd64
Version: 1:1.2-8.1build3
Multi-Arch: same
Priority: optional
Section: universe/libdevel
Source: ppl
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Debian Science Team
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 16667
Provides: libppl-c-dev, libppl0.12-dev
Depends: libppl-c4 (= 1:1.2-8.1build3), libppl14 (= 1:1.2-8.1build3)
Recommends: libgmp-dev
Suggests: libppl-doc
Conflicts: libppl0.10-dev, libppl0.11-dev, libppl0.12-dev
Breaks: libppl7 (<< 0.10~pre27-4), libppl9
Replaces: libppl0.12-dev, libppl7 (<< 0.10~pre27-4), libppl9
Filename: pool/universe/p/ppl/libppl-dev_1.2-8.1build3_amd64.deb
Size: 1844712
MD5sum: 16f4139476fee38dfbd02293dd491388
SHA1: 8b2478c8cc05896110094a7135142df819016d87
SHA256: 669ddf3b30ea25ef767cf577a4d4a5c38629ae836592b605677131bc1216a58a
SHA512: c9cbec28cfb5c0d89f0027ab9cae8bb01b7026c98159713e2a789f26d026c267de017d3cac77185b4765d9c1993679f9d9dc1245c7eb573c631d5bedb49cba11
Homepage: http://www.cs.unipr.it/ppl/
Description: Parma Polyhedra Library (development)
Description-md5: 4fa45d1b24bb1abf6f705e66d3cc4f4a