How to Install and Uninstall libghc-presburger-dev Package on Ubuntu 22.04 LTS (Jammy Jellyfish)

Last updated: December 25,2024

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

Kubuntu 22.04 LTS
Lubuntu 22.04 LTS
Xubuntu 22.04 LTS
Ubuntu MATE 22.04 LTS
Ubuntu Studio 22.04 LTS
Pop!_OS 22.04 LTS
Zorin OS 16 / Zorin OS 17
Ubuntu Budgie 22.04

1. Install "libghc-presburger-dev" package

This tutorial shows how to install libghc-presburger-dev on Ubuntu 22.04 LTS (Jammy Jellyfish)


    
        
            $
        

        
            
                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 22.04 LTS (Jammy Jellyfish):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libghc-presburger-dev
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the libghc-presburger-dev package on Ubuntu 22.04 LTS (Jammy Jellyfish)

Package: libghc-presburger-dev
Architecture: amd64
Version: 1.3.1-8build2
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: 1364
Provides: libghc-presburger-dev-1.3.1-d4a8f
Depends: libghc-base-dev-4.13.0.0-2f220, libghc-containers-dev-0.6.2.1-ab1cf, libghc-pretty-dev-1.1.3.6-33019, libc6 (>= 2.2.5), libgmp10
Suggests: libghc-presburger-doc, libghc-presburger-prof
Filename: pool/universe/h/haskell-presburger/libghc-presburger-dev_1.3.1-8build2_amd64.deb
Size: 158460
MD5sum: 3ee655818f07e4a54e86ee12e37b4f93
SHA1: e0fa6416a8fc9f8507aa27d1ba6c2f0133b57e69
SHA256: abc1435f846d68c3ace8cb2a8b62d2b0e925bb1374ce3a78cd4b55e054160d47
SHA512: f57cf465107fe5c36e6357e7010b1ac20adeccd6a1c95f6934f957fc461d16396b59a3fa89616b8705d8e56f48f3c85f29a573adeb7db0a872e7e5722b2cd6f3
Homepage: https://github.com/yav/presburger
Description: decision procedure for quantifier-free linear arithmetic
Description-md5: d2cf82876a32b1e247dedf100b045d3f
Ghc-Package: presburger-1.3.1-HS4YxAvqvrfIPnN1V4opZK