How to Install and Uninstall libghc-sbv-dev Package on Debian 10 (Buster)

Last updated: May 19,2024

1. Install "libghc-sbv-dev" package

This is a short guide on how to install libghc-sbv-dev on Debian 10 (Buster)


    
        
            $
        

        
            
                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 Debian 10 (Buster):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libghc-sbv-dev
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the libghc-sbv-dev package on Debian 10 (Buster)

Package: libghc-sbv-dev
Source: haskell-sbv (7.12-2)
Version: 7.12-2+b2
Installed-Size: 43193
Maintainer: Debian Haskell Group
Architecture: amd64
Provides: libghc-sbv-dev-7.12-3ec05
Depends: libghc-quickcheck-dev-2.11.3-b5682, libghc-array-dev-0.5.2.0-03a64, libghc-async-dev-2.2.1-e4f49, libghc-base-dev-4.11.1.0-5dd74, libghc-containers-dev-0.5.11.0-e0faa, libghc-cracknum-dev-2.2-ea2a3, libghc-deepseq-dev-1.4.3.0-17e4f, libghc-directory-dev-1.3.1.5-a6230, libghc-filepath-dev-1.4.2-27f5e, libghc-generic-deriving-dev-1.12.2-ddd46, libghc-ghc-dev-8.4.4-06393, libghc-mtl-dev-2.2.2-28a8b, libghc-pretty-dev-1.1.3.6-aea39, libghc-process-dev-1.6.3.0-5105e, libghc-random-dev-1.1-1827c, libghc-reinterpret-cast-dev-0.1.0-cb0af, libghc-syb-dev-0.7-eee7c, libghc-template-haskell-dev-2.13.0.0-87d93, libghc-time-dev-1.8.0.2-2ae9f, libatomic1 (>= 4.8), libc6 (>= 2.27), libgmp10, libtinfo6 (>= 6)
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-7.12-CXHGLVeo4rlFiQxiVF4zdr
Section: haskell
Priority: optional
Filename: pool/main/h/haskell-sbv/libghc-sbv-dev_7.12-2+b2_amd64.deb
Size: 3999972
MD5sum: 60dc507261a58fb46497dcee545293c8
SHA256: 5a2c077503542f481af90c4645db8ea0ae7ebb38fa80bc88502dbbe9c61d35a1