How to Install and Uninstall libghc-bv-sized-doc Package on Debian 12 (Bookworm)

Last updated: May 10,2024

You can also install and uninstall the libghc-bv-sized-doc on the following distributions in the same way, as they are all based on the Debian system

MX Linux 23
SparkyLinux

1. Install "libghc-bv-sized-doc" package

In this section, we are going to explain the necessary steps to install libghc-bv-sized-doc on Debian 12 (Bookworm)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libghc-bv-sized-doc
            
                    
    
    Copied

2. Uninstall "libghc-bv-sized-doc" package

Learn how to uninstall libghc-bv-sized-doc on Debian 12 (Bookworm):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libghc-bv-sized-doc
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the libghc-bv-sized-doc package on Debian 12 (Bookworm)

Package: libghc-bv-sized-doc
Source: haskell-bv-sized
Version: 1.0.4-2
Installed-Size: 1530
Maintainer: Debian Haskell Group
Architecture: all
Depends: haddock-interface-38
Recommends: ghc-doc, libghc-bv-sized-dev, libghc-parameterized-utils-doc, libghc-random-doc, libjs-mathjax
Suggests: libghc-bv-sized-prof
Description: bitvector datatype parameterized by the vector width; documentation
Description-md5: 7e8eb850da6b8e194283fdefb39d0c6b
Homepage: https://github.com/GaloisInc/bv-sized
Section: doc
Priority: optional
Filename: pool/main/h/haskell-bv-sized/libghc-bv-sized-doc_1.0.4-2_all.deb
Size: 98360
MD5sum: 6d78f2676bc961d26907c2fce168cada
SHA256: 08ca82d4516c127288904928c10390765d353ec8d89015cd5047b7497e87dcd2