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

Last updated: December 27,2024

You can also install and uninstall the libghc-sbv-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-sbv-dev" package

In this section, we are going to explain the necessary steps to install libghc-sbv-dev on Ubuntu 22.04 LTS (Jammy Jellyfish)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libghc-sbv-dev
            
                    
    
    Copied

2. Uninstall "libghc-sbv-dev" package

Please follow the guidance below to uninstall libghc-sbv-dev on Ubuntu 22.04 LTS (Jammy Jellyfish):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libghc-sbv-dev
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

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

Package: libghc-sbv-dev
Architecture: amd64
Version: 8.7-1build3
Priority: extra
Section: universe/haskell
Source: haskell-sbv
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Debian Haskell Group
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 65978
Provides: libghc-sbv-dev-8.7-b655d
Depends: libghc-quickcheck-dev-2.13.2-3e7ed, libghc-array-dev-0.5.4.0-ddbb2, libghc-async-dev-2.2.2-97ad7, libghc-base-dev-4.13.0.0-2f220, libghc-containers-dev-0.6.2.1-ab1cf, libghc-cracknum-dev-2.3-05103, libghc-deepseq-dev-1.4.4.0-9f093, libghc-directory-dev-1.3.6.0-49fdf, libghc-filepath-dev-1.4.2.1-103b6, libghc-generic-deriving-dev-1.13.1-8a7ec, libghc-mtl-dev-2.2.2-7208c, libghc-pretty-dev-1.1.3.6-33019, libghc-process-dev-1.6.9.0-88a89, libghc-random-dev-1.1-523a8, libghc-syb-dev-0.7.1-bb80c, libghc-template-haskell-dev-2.15.0.0-80f0d, libghc-time-dev-1.9.3-1ee94, libghc-transformers-dev-0.5.6.2-59c2c, libc6 (>= 2.29), libgmp10
Suggests: libghc-sbv-doc, libghc-sbv-prof
Filename: pool/universe/h/haskell-sbv/libghc-sbv-dev_8.7-1build3_amd64.deb
Size: 5948068
MD5sum: 4e4878e410e52efda5d4d4c7aba0b3d7
SHA1: 1d0c70647b443034bf791626367c5d72d72d01ef
SHA256: 9ccaf7caab37da705471f1130581d0b2e86c8dcecf15ef4a9d4065f9413cf72c
SHA512: 3e897e3972f0205ba7d13d4ebe6e2119a192c0bc7a82a0a63b95abca5f1bd08d25fdad13139acac653cfb43abdf4fa6f56074c8ae65aaf164d2d9b72da358462
Homepage: http://leventerkok.github.com/sbv/
Description: symbolic Haskell theorem prover using SMT solving
Description-md5: fb825dee1610b5f96cd67497fb87122e
Ghc-Package: sbv-8.7-9mSEXJN8olRBwPWTmi3EMV