How to Install and Uninstall libghc-bv-sized-doc Package on Ubuntu 23.10 (Mantic Minotaur)

Last updated: May 14,2024

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

This is a short guide on how to install libghc-bv-sized-doc on Ubuntu 23.10 (Mantic Minotaur)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libghc-bv-sized-doc
            
                    
    
    Copied

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

This guide let you learn how to uninstall libghc-bv-sized-doc on Ubuntu 23.10 (Mantic Minotaur):


    
        
            $
        

        
            
                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 Ubuntu 23.10 (Mantic Minotaur)

Package: libghc-bv-sized-doc
Architecture: all
Version: 1.0.4-2build1
Priority: optional
Section: universe/doc
Source: haskell-bv-sized
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Debian Haskell Group
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 1520
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
Filename: pool/universe/h/haskell-bv-sized/libghc-bv-sized-doc_1.0.4-2build1_all.deb
Size: 82460
MD5sum: fce03205e1718ef4e016eb40864e97cf
SHA1: de2bc755a612df5a7ab64a6eee00f150ea847262
SHA256: 14cbcebe7ebed77aab922a24ad42cabf52ff98b19306d376fa12769286c4c934
SHA512: f98334a1fb042128e20b1f27460f03fd843ae489b6e89d239c447b3b993e6061b65d9d17ef3d3691f971dde426b10fdc9a46604c608ac80a9061be24ea48bd16
Homepage: https://github.com/GaloisInc/bv-sized
Description: bitvector datatype parameterized by the vector width; documentation
Description-md5: 7e8eb850da6b8e194283fdefb39d0c6b