How to Install and Uninstall libghc-bv-sized-dev Package on Kali Linux
Last updated: December 28,2024
1. Install "libghc-bv-sized-dev" package
This guide let you learn how to install libghc-bv-sized-dev on Kali Linux
$
sudo apt update
Copied
$
sudo apt install
libghc-bv-sized-dev
Copied
2. Uninstall "libghc-bv-sized-dev" package
In this section, we are going to explain the necessary steps to uninstall libghc-bv-sized-dev on Kali Linux:
$
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 Kali Linux
Package: libghc-bv-sized-dev
Source: haskell-bv-sized (1.0.5-1)
Version: 1.0.5-1+b1
Installed-Size: 1630
Maintainer: Debian Haskell Group
Architecture: amd64
Provides: libghc-bv-sized-dev-1.0.5-8c3ee
Depends: libghc-base-dev-4.17.2.0-68dfe, libghc-bitwise-dev-1.0.0.1-e8e88, libghc-bytestring-dev-0.11.5.2-6590e, libghc-deepseq-dev-1.4.8.0-ddf16, libghc-panic-dev-0.4.0.1-848c2, libghc-parameterized-utils-dev-2.1.7.0-d5dcd, libghc-random-dev-1.2.1.1-68746, libghc-th-lift-dev-0.8.4-e81ed, libc6 (>= 2.2.5), libgmp10 (>= 2:6.3.0+dfsg)
Size: 173932
SHA256: 8b152aa7baf792baef3070119fa0aa60ea91c6a5d64a2e971332bec250adb807
SHA1: ec4c7a1a03b786a528a195be2c220799c365a1ed
MD5sum: 92d789495e5cde4e88b67743803655c8
Description: bitvector datatype parameterized by the vector width
This module defines a width-parameterized bitvector type and various
associated operations.
.
This package provides a library for the Haskell programming language.
See http://www.haskell.org/ for more information on Haskell.
Description-md5:
Homepage: https://github.com/GaloisInc/bv-sized
Ghc-Package: bv-sized-1.0.5-810bPMClhao5uNZBQza1Cf
Section: haskell
Priority: optional
Filename: pool/main/h/haskell-bv-sized/libghc-bv-sized-dev_1.0.5-1+b1_amd64.deb
Source: haskell-bv-sized (1.0.5-1)
Version: 1.0.5-1+b1
Installed-Size: 1630
Maintainer: Debian Haskell Group
Architecture: amd64
Provides: libghc-bv-sized-dev-1.0.5-8c3ee
Depends: libghc-base-dev-4.17.2.0-68dfe, libghc-bitwise-dev-1.0.0.1-e8e88, libghc-bytestring-dev-0.11.5.2-6590e, libghc-deepseq-dev-1.4.8.0-ddf16, libghc-panic-dev-0.4.0.1-848c2, libghc-parameterized-utils-dev-2.1.7.0-d5dcd, libghc-random-dev-1.2.1.1-68746, libghc-th-lift-dev-0.8.4-e81ed, libc6 (>= 2.2.5), libgmp10 (>= 2:6.3.0+dfsg)
Size: 173932
SHA256: 8b152aa7baf792baef3070119fa0aa60ea91c6a5d64a2e971332bec250adb807
SHA1: ec4c7a1a03b786a528a195be2c220799c365a1ed
MD5sum: 92d789495e5cde4e88b67743803655c8
Description: bitvector datatype parameterized by the vector width
This module defines a width-parameterized bitvector type and various
associated operations.
.
This package provides a library for the Haskell programming language.
See http://www.haskell.org/ for more information on Haskell.
Description-md5:
Homepage: https://github.com/GaloisInc/bv-sized
Ghc-Package: bv-sized-1.0.5-810bPMClhao5uNZBQza1Cf
Section: haskell
Priority: optional
Filename: pool/main/h/haskell-bv-sized/libghc-bv-sized-dev_1.0.5-1+b1_amd64.deb