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

Last updated: November 26,2024

1. Install "libghc-sbv-prof" package

This tutorial shows how to install libghc-sbv-prof on Debian 10 (Buster)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libghc-sbv-prof
            
                    
    
    Copied

2. Uninstall "libghc-sbv-prof" package

Learn how to uninstall libghc-sbv-prof on Debian 10 (Buster):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libghc-sbv-prof
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

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

Package: libghc-sbv-prof
Source: haskell-sbv (7.12-2)
Version: 7.12-2+b2
Installed-Size: 39875
Maintainer: Debian Haskell Group
Architecture: amd64
Provides: libghc-sbv-prof-7.12-3ec05
Depends: libghc-sbv-dev (= 7.12-2+b2), libghc-quickcheck-prof-2.11.3-b5682, libghc-array-prof-0.5.2.0-03a64, libghc-async-prof-2.2.1-e4f49, libghc-base-prof-4.11.1.0-5dd74, libghc-containers-prof-0.5.11.0-e0faa, libghc-cracknum-prof-2.2-ea2a3, libghc-deepseq-prof-1.4.3.0-17e4f, libghc-directory-prof-1.3.1.5-a6230, libghc-filepath-prof-1.4.2-27f5e, libghc-generic-deriving-prof-1.12.2-ddd46, libghc-ghc-prof-8.4.4-06393, libghc-mtl-prof-2.2.2-28a8b, libghc-pretty-prof-1.1.3.6-aea39, libghc-process-prof-1.6.3.0-5105e, libghc-random-prof-1.1-1827c, libghc-reinterpret-cast-prof-0.1.0-cb0af, libghc-syb-prof-0.7-eee7c, libghc-template-haskell-prof-2.13.0.0-87d93, libghc-time-prof-1.8.0.2-2ae9f
Description: symbolic Haskell theorem prover using SMT solving; profiling libraries
Description-md5: 72226d4fbd831fbab742cc510773f81a
Homepage: http://leventerkok.github.com/sbv/
Section: haskell
Priority: optional
Filename: pool/main/h/haskell-sbv/libghc-sbv-prof_7.12-2+b2_amd64.deb
Size: 3378420
MD5sum: 4849ca2ec71b72c663f1fbaed7d32074
SHA256: ef855960aee7d9ef9711f30d8fe27a274b8bc3632b574a05d4675ca7513a3cae