How to Install and Uninstall libghc-sbv-prof Package on Ubuntu 22.04 LTS (Jammy Jellyfish)

Last updated: May 12,2024

You can also install and uninstall the libghc-sbv-prof on the following distributions in the same way, as they are all based on the Ubuntu system

Kubuntu 22.04 LTS
Lubuntu 22.04 LTS
Xubuntu 22.04 LTS
Ubuntu MATE 22.04 LTS
Ubuntu Studio 22.04 LTS
Pop!_OS 22.04 LTS
Zorin OS 16 / Zorin OS 17
Ubuntu Budgie 22.04

1. Install "libghc-sbv-prof" package

Please follow the guidance below to install libghc-sbv-prof on Ubuntu 22.04 LTS (Jammy Jellyfish)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libghc-sbv-prof
            
                    
    
    Copied

2. Uninstall "libghc-sbv-prof" package

This tutorial shows how to uninstall libghc-sbv-prof on Ubuntu 22.04 LTS (Jammy Jellyfish):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libghc-sbv-prof
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the libghc-sbv-prof package on Ubuntu 22.04 LTS (Jammy Jellyfish)

Package: libghc-sbv-prof
Architecture: amd64
Version: 8.7-1build3
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: 64847
Provides: libghc-sbv-prof-8.7-b655d
Depends: libghc-sbv-dev (= 8.7-1build3), libghc-quickcheck-prof-2.13.2-3e7ed, libghc-array-prof-0.5.4.0-ddbb2, libghc-async-prof-2.2.2-97ad7, libghc-base-prof-4.13.0.0-2f220, libghc-containers-prof-0.6.2.1-ab1cf, libghc-cracknum-prof-2.3-05103, libghc-deepseq-prof-1.4.4.0-9f093, libghc-directory-prof-1.3.6.0-49fdf, libghc-filepath-prof-1.4.2.1-103b6, libghc-generic-deriving-prof-1.13.1-8a7ec, libghc-mtl-prof-2.2.2-7208c, libghc-pretty-prof-1.1.3.6-33019, libghc-process-prof-1.6.9.0-88a89, libghc-random-prof-1.1-523a8, libghc-syb-prof-0.7.1-bb80c, libghc-template-haskell-prof-2.15.0.0-80f0d, libghc-time-prof-1.9.3-1ee94, libghc-transformers-prof-0.5.6.2-59c2c
Filename: pool/universe/h/haskell-sbv/libghc-sbv-prof_8.7-1build3_amd64.deb
Size: 5185668
MD5sum: 4d080550fe11755452ec78c67c6aa56c
SHA1: 47e3d339631362ca2a33513ef109f41a3c4c352e
SHA256: 32d4a3d8211dd2617b0739be9711d4d9b2a3507d557edd788fd546e45527ad18
SHA512: c2a06bed674df8d9b98392d2cce7eb016a70e965987060b95c3881d8d5c9e2856ca4d0255bf168ab2b67ee7f1809dbb65501bd06417a375ea7e312247c2f276b
Homepage: http://leventerkok.github.com/sbv/
Description: symbolic Haskell theorem prover using SMT solving; profiling libraries
Description-md5: 72226d4fbd831fbab742cc510773f81a