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

Last updated: December 23,2024

You can also install and uninstall the libghc-presburger-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-presburger-doc" package

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


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libghc-presburger-doc
            
                    
    
    Copied

2. Uninstall "libghc-presburger-doc" package

This is a short guide on how to uninstall libghc-presburger-doc on Debian 12 (Bookworm):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libghc-presburger-doc
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

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

Package: libghc-presburger-doc
Source: haskell-presburger
Version: 1.3.1-9
Installed-Size: 884
Maintainer: Debian Haskell Group
Architecture: all
Depends: haddock-interface-38, sgml-base (>= 1.28)
Recommends: ghc-doc, libghc-presburger-dev, libjs-mathjax
Suggests: libghc-presburger-prof
Description: decision procedure for quantifier-free linear arithmetic; documentation
Description-md5: e434a1e32313ca6c5e662d5b6484a49c
Homepage: https://github.com/yav/presburger
Section: doc
Priority: optional
Filename: pool/main/h/haskell-presburger/libghc-presburger-doc_1.3.1-9_all.deb
Size: 72940
MD5sum: c87197e92e4e04f5e0ef52169060ea80
SHA256: 83a43d9b31ddbaa4cb8df4970d5d145b33a63805553ba98cf35433de18c9a2a3