How to Install and Uninstall libghc-sbv-dev Package on Debian 11 (Bullseye)

Last updated: May 19,2024

1. Install "libghc-sbv-dev" package

Please follow the guidance below to install libghc-sbv-dev on Debian 11 (Bullseye)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libghc-sbv-dev
            
                    
    
    Copied

2. Uninstall "libghc-sbv-dev" package

This tutorial shows how to uninstall libghc-sbv-dev on Debian 11 (Bullseye):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libghc-sbv-dev
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the libghc-sbv-dev package on Debian 11 (Bullseye)

Package: libghc-sbv-dev
Source: haskell-sbv (8.7-1)
Version: 8.7-1+b1
Installed-Size: 66019
Maintainer: Debian Haskell Group
Architecture: amd64
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
Description: symbolic Haskell theorem prover using SMT solving
Description-md5: fb825dee1610b5f96cd67497fb87122e
Homepage: http://leventerkok.github.com/sbv/
Ghc-Package: sbv-8.7-9mSEXJN8olRBwPWTmi3EMV
Section: haskell
Priority: optional
Filename: pool/main/h/haskell-sbv/libghc-sbv-dev_8.7-1+b1_amd64.deb
Size: 5995676
MD5sum: fb313f2d2c513851ee05d3069059b416
SHA256: b159450a5091f3f19ccc367560a3c56d516c2726572ad6a345a2ffeb2ae8192f