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

Last updated: November 26,2024

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

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


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libghc-bv-sized-dev
            
                    
    
    Copied

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

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


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libghc-bv-sized-dev
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the libghc-bv-sized-dev package on Ubuntu 23.10 (Mantic Minotaur)

Package: libghc-bv-sized-dev
Architecture: amd64
Version: 1.0.4-2build1
Priority: optional
Section: universe/haskell
Source: haskell-bv-sized
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Debian Haskell Group
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 1607
Provides: libghc-bv-sized-dev-1.0.4-317a5
Depends: libghc-base-dev-4.15.1.0-6a406, libghc-bitwise-dev-1.0.0.1-dbfa6, libghc-bytestring-dev-0.10.12.1-ced9a, libghc-deepseq-dev-1.4.5.0-118cf, libghc-panic-dev-0.4.0.1-95384, libghc-parameterized-utils-dev-2.1.5.0-18eea, libghc-random-dev-1.2.1.1-f840d, libghc-th-lift-dev-0.8.2-fd5f2, libc6 (>= 2.2.5), libgmp10 (>= 2:6.2.1+dfsg1)
Filename: pool/universe/h/haskell-bv-sized/libghc-bv-sized-dev_1.0.4-2build1_amd64.deb
Size: 177508
MD5sum: 372e2ca42849a1bc83a3cc2a514aea1e
SHA1: 3922d9d19636923b2b8305c78bc98939eb9393ce
SHA256: 1ec7c62e79a2d046249a83141658d64f63565f9ab5b9e739cd8f5ba59c6a2119
SHA512: f3b1af472c83e8694fe315b9c7a55d4d89667591c4afb9a2a2e7dd3b5cf9024f6aec7b0e4b5ee225fb618599ce6a5d0a30f6eeff36a11500c8fd284df31fc516
Homepage: https://github.com/GaloisInc/bv-sized
Description: bitvector datatype parameterized by the vector width
Description-md5: 3e154d3cb33d061bc9db856a47d09a03
Ghc-Package: bv-sized-1.0.4-UQnKmVmsTGKS4DRWPhjuK