How to Install and Uninstall libghc-what4-doc Package on Debian 12 (Bookworm)

Last updated: January 11,2025

You can also install and uninstall the libghc-what4-doc on the following distributions in the same way, as they are all based on the Debian system

MX Linux 23
SparkyLinux

1. Install "libghc-what4-doc" package

This tutorial shows how to install libghc-what4-doc on Debian 12 (Bookworm)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libghc-what4-doc
            
                    
    
    Copied

2. Uninstall "libghc-what4-doc" package

This guide let you learn how to uninstall libghc-what4-doc on Debian 12 (Bookworm):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libghc-what4-doc
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the libghc-what4-doc package on Debian 12 (Bookworm)

Package: libghc-what4-doc
Source: haskell-what4
Version: 1.3-4
Installed-Size: 36176
Maintainer: Debian Haskell Group
Architecture: all
Depends: haddock-interface-38
Recommends: ghc-doc, libghc-attoparsec-doc, libghc-bv-sized-doc, libghc-hashable-doc, libghc-hashtables-doc, libghc-io-streams-doc, libghc-lens-doc, libghc-libbf-doc, libghc-panic-doc, libghc-parameterized-utils-doc, libghc-prettyprinter-doc, libghc-scientific-doc, libghc-vector-doc, libghc-versions-doc, libghc-what4-dev, libjs-mathjax
Suggests: libghc-what4-prof
Description: Solver-agnostic symbolic values support for issuing queries; documentation
Description-md5: 0acd570d66960b52842a7e792b975d9f
Homepage: https://github.com/GaloisInc/what4
Section: doc
Priority: optional
Filename: pool/main/h/haskell-what4/libghc-what4-doc_1.3-4_all.deb
Size: 1432668
MD5sum: 148a99436cb24f64b2cdb030983d7f74
SHA256: bafec67abf41bab1d1f65c423f3106f4ff51c8e90e4cc2b85bd6e0a148728371