How to Install and Uninstall libghc-presburger-dev Package on Ubuntu 24.04 LTS (Noble Numbat)

Last updated: December 24,2024

1. Install "libghc-presburger-dev" package

This guide let you learn how to install libghc-presburger-dev on Ubuntu 24.04 LTS (Noble Numbat)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libghc-presburger-dev
            
                    
    
    Copied

2. Uninstall "libghc-presburger-dev" package

Please follow the step by step instructions below to uninstall libghc-presburger-dev on Ubuntu 24.04 LTS (Noble Numbat):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libghc-presburger-dev
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the libghc-presburger-dev package on Ubuntu 24.04 LTS (Noble Numbat)

Package: libghc-presburger-dev
Architecture: amd64
Version: 1.3.1-10
Priority: extra
Section: universe/haskell
Source: haskell-presburger
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Debian Haskell Group
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 1261
Provides: libghc-presburger-dev-1.3.1-bc039
Depends: libghc-base-dev-4.17.2.0-68dfe, libghc-containers-dev-0.6.7-a1650, libghc-pretty-dev-1.1.3.6-1aa0a, libc6 (>= 2.2.5), libgmp10 (>= 2:6.3.0+dfsg)
Filename: pool/universe/h/haskell-presburger/libghc-presburger-dev_1.3.1-10_amd64.deb
Size: 170650
MD5sum: 6d89a607b5b9e2144c933dd91dd8f512
SHA1: 0cb34e756c52c418302030f658527264c14e4a7f
SHA256: 2d7c487c2f924885d058347adf5c4de86ff93a45261c36382d46ec07c6fc94e9
SHA512: b4ab33f0852c7d1747b738bdbedd51598dedce88f4fe293b6f5551673ab73ab6d394f9128d14490c33cdca66a1d816dc53f17477183600ffeb0cafb42337066c
Homepage: https://github.com/yav/presburger
Description: decision procedure for quantifier-free linear arithmetic
Description-md5: d2cf82876a32b1e247dedf100b045d3f
Ghc-Package: presburger-1.3.1-3Y2Tz9UlgMj3c0ONzJx2Se