How to Install and Uninstall libghc-bv-sized-dev Package on Ubuntu 22.10 (Kinetic Kudu)

Last updated: May 17,2024

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

Here is a brief guide to show you how to install libghc-bv-sized-dev on Ubuntu 22.10 (Kinetic Kudu)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libghc-bv-sized-dev
            
                    
    
    Copied

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

This guide covers the steps necessary to uninstall libghc-bv-sized-dev on Ubuntu 22.10 (Kinetic Kudu):


    
        
            $
        

        
            
                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 22.10 (Kinetic Kudu)

Package: libghc-bv-sized-dev
Architecture: amd64
Version: 1.0.4-2
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: 1615
Provides: libghc-bv-sized-dev-1.0.4-c0a2f
Depends: libghc-base-dev-4.15.1.0-7ed7d, libghc-bitwise-dev-1.0.0.1-cd48a, libghc-bytestring-dev-0.10.12.1-2b657, libghc-deepseq-dev-1.4.5.0-5b6f4, libghc-panic-dev-0.4.0.1-eebc7, libghc-parameterized-utils-dev-2.1.5.0-a7e4e, libghc-random-dev-1.2.1.1-038fa, libghc-th-lift-dev-0.8.2-a20b1, libc6 (>= 2.2.5), libgmp10 (>= 2:6.2.1+dfsg1)
Filename: pool/universe/h/haskell-bv-sized/libghc-bv-sized-dev_1.0.4-2_amd64.deb
Size: 177342
MD5sum: b5bce68bdb0c8f5c9792df561ec6eb42
SHA1: 243d78dfdd3f63adb852168474d2dd5b3dc2727c
SHA256: 005406af02f8d84c86179429c2bbf45871633b405e805cc2b33647b2096a386d
SHA512: 4118f32925343d114af8759a99e02084585bef2daf63237739dbb368ce2e523f5003091a8c02e2d2e6aac7527cfd29d4d1fbf04d70dfced7e5d0319c8c59d1a5
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-EkTV3ucxDgMFKwnvb47lFT