How to Install and Uninstall libghc-what4-doc Package on Ubuntu 24.04 LTS (Noble Numbat)

Last updated: November 26,2024

1. Install "libghc-what4-doc" package

Please follow the guidance below to install libghc-what4-doc on Ubuntu 24.04 LTS (Noble Numbat)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libghc-what4-doc
            
                    
    
    Copied

2. Uninstall "libghc-what4-doc" package

This guide covers the steps necessary to uninstall libghc-what4-doc on Ubuntu 24.04 LTS (Noble Numbat):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libghc-what4-doc
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the libghc-what4-doc package on Ubuntu 24.04 LTS (Noble Numbat)

Package: libghc-what4-doc
Architecture: all
Version: 1.5.1-3
Priority: optional
Section: universe/doc
Source: haskell-what4
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Debian Haskell Group
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 41706
Depends: haddock-interface-41
Recommends: ghc-doc, libghc-async-doc, libghc-attoparsec-doc, libghc-bifunctors-doc, libghc-bimap-doc, libghc-boundedchan-doc, libghc-bv-sized-doc, libghc-concurrent-extra-doc, libghc-config-value-doc, libghc-deriving-compat-doc, libghc-fingertree-doc, libghc-hashable-doc, libghc-hashtables-doc, libghc-io-streams-doc, libghc-lens-doc, libghc-libbf-doc, libghc-megaparsec-doc, libghc-ordered-containers-doc, libghc-panic-doc, libghc-parameterized-utils-doc, libghc-prettyprinter-doc, libghc-s-cargot-doc, libghc-scientific-doc, libghc-th-lift-doc, libghc-th-lift-instances-doc, libghc-unliftio-doc, libghc-unordered-containers-doc, libghc-utf8-string-doc, libghc-vector-doc, libghc-versions-doc, libghc-what4-dev, libghc-zenc-doc, libjs-mathjax
Suggests: libghc-what4-prof
Filename: pool/universe/h/haskell-what4/libghc-what4-doc_1.5.1-3_all.deb
Size: 1449858
MD5sum: cebada049f28792342dc0a9784635995
SHA1: 3a4f4b18594e2c3eeb5885c77bbe26e87163b4e9
SHA256: 01aff30ab7c9d535cee79a0ad899b8358cd0510c303a0bab2b5bf2cda14de2aa
SHA512: 002b2a086194fe63132ac528855580d64bb9076e4b7a3085390d5d2eb13f54195e3f4e9c69503391db12b2ea0f1a19c3dbb11f44d32bd15fd95ed037b6457c27
Homepage: https://github.com/GaloisInc/what4
Description: Solver-agnostic symbolic values support for issuing queries; documentation
Description-md5: d7a2a60b60d2dc168fddef787e1a48c2