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

Last updated: May 11,2024

1. Install "libghc-sbv-dev" package

Please follow the guidance below to install libghc-sbv-dev on Ubuntu 24.04 LTS (Noble Numbat)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libghc-sbv-dev
            
                    
    
    Copied

2. Uninstall "libghc-sbv-dev" package

In this section, we are going to explain the necessary steps to uninstall libghc-sbv-dev on Ubuntu 24.04 LTS (Noble Numbat):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libghc-sbv-dev
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

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

Package: libghc-sbv-dev
Architecture: amd64
Version: 10.2-1
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: 69656
Provides: libghc-sbv-dev-10.2-023b6
Depends: libghc-array-dev-0.5.4.0-0952c, libghc-async-dev-2.2.4-2b734, libghc-base-dev-4.17.2.0-68dfe, libghc-containers-dev-0.6.7-a1650, libghc-deepseq-dev-1.4.8.0-ddf16, libghc-directory-dev-1.3.7.1-e5694, libghc-filepath-dev-1.4.2.2-290a6, libghc-libbf-dev-0.6.6-aa647, libghc-mtl-dev-2.2.2-6f39a, libghc-pretty-dev-1.1.3.6-1aa0a, libghc-process-dev-1.6.17.0-29e15, libghc-quickcheck-dev-2.14.3-69b0e, libghc-random-dev-1.2.1.1-68746, libghc-syb-dev-0.7.2.4-b6299, libghc-template-haskell-dev-2.19.0.0-a5ee2, libghc-text-dev-2.0.2-0847e, libghc-time-dev-1.12.2-491a0, libghc-transformers-dev-0.5.6.2-931c3, libghc-uniplate-dev-1.6.13-e4d40, libc6 (>= 2.29), libgmp10 (>= 2:6.3.0+dfsg)
Filename: pool/universe/h/haskell-sbv/libghc-sbv-dev_10.2-1_amd64.deb
Size: 7586862
MD5sum: 7390b7f7019f4f848619c67558593c4a
SHA1: 56da3f75b456bc007183ef082dc68cd54649d343
SHA256: 5616ff71bfb06a692f60ce2ec258276dbc20184aa0fdddfa3375e98a381a0503
SHA512: 803b7664fa0cad1627290b85055ee5fd50f1ba3a54ee4bfa0793a62839e82146a5977fb50eef3d1304a0c2aa914f72b8d8fd5ddc0e2d7fd904e07540c793cfd3
Homepage: http://leventerkok.github.io/sbv/
Description: symbolic Haskell theorem prover using SMT solving
Description-md5: fb825dee1610b5f96cd67497fb87122e
Ghc-Package: sbv-10.2-H7C8tpOUfNc9yHFfX3krPk