How to Install and Uninstall libghc-sbv-prof Package on Ubuntu 22.10 (Kinetic Kudu)

Last updated: December 24,2024

1. Install "libghc-sbv-prof" package

This guide let you learn how to install libghc-sbv-prof on Ubuntu 22.10 (Kinetic Kudu)

$ sudo apt update $ sudo apt install libghc-sbv-prof

2. Uninstall "libghc-sbv-prof" package

Please follow the guidelines below to uninstall libghc-sbv-prof on Ubuntu 22.10 (Kinetic Kudu):

$ sudo apt remove libghc-sbv-prof $ sudo apt autoclean && sudo apt autoremove

3. Information about the libghc-sbv-prof package on Ubuntu 22.10 (Kinetic Kudu)

Package: libghc-sbv-prof
Architecture: amd64
Version: 8.17-1
Priority: extra
Section: universe/haskell
Source: haskell-sbv
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Debian Haskell Group
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 69692
Provides: libghc-sbv-prof-8.17-70da3
Depends: libghc-array-prof-0.5.4.0-05687, libghc-async-prof-2.2.4-ed369, libghc-base-prof-4.15.1.0-7ed7d, libghc-containers-prof-0.6.4.1-51a1d, libghc-deepseq-prof-1.4.5.0-5b6f4, libghc-directory-prof-1.3.6.2-c0653, libghc-filepath-prof-1.4.2.1-0176a, libghc-libbf-prof-0.6.3-fe3ad, libghc-mtl-prof-2.2.2-30320, libghc-pretty-prof-1.1.3.6-36e42, libghc-process-prof-1.6.13.2-c4cd2, libghc-quickcheck-prof-2.14.2-b6e6c, libghc-random-prof-1.2.1.1-038fa, libghc-sbv-dev (= 8.17-1), libghc-syb-prof-0.7.2.1-f8f1e, libghc-template-haskell-prof-2.17.0.0-64722, libghc-text-prof-1.2.5.0-31fc1, libghc-time-prof-1.9.3-5dfdf, libghc-transformers-prof-0.5.6.2-90456, libghc-uniplate-prof-1.6.13-18d12
Filename: pool/universe/h/haskell-sbv/libghc-sbv-prof_8.17-1_amd64.deb
Size: 6600612
MD5sum: 016b6e43db7e702442680c4bcda7e862
SHA1: 7d1551c195eaae75f50c3ed630ac878b21db3e11
SHA256: 321025410909809321da977ea84b94cbaa9441c8bb136c7de9103f3766ef0a10
SHA512: 4988924657e3de4deb0ce3f5b803488a1b9d89d1b7d221f98f291a11331fc08773942d34fc2e5c7d7338a28d6fb6b056b5e3f82902cc0566aff7cc612e6b96b8
Homepage: http://leventerkok.github.io/sbv/
Description: symbolic Haskell theorem prover using SMT solving; profiling libraries
Description-md5: 72226d4fbd831fbab742cc510773f81a