How to Install and Uninstall libghc-dependent-sum-doc Package on Ubuntu 23.10 (Mantic Minotaur)

Last updated: November 07,2024

1. Install "libghc-dependent-sum-doc" package

This guide covers the steps necessary to install libghc-dependent-sum-doc on Ubuntu 23.10 (Mantic Minotaur)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libghc-dependent-sum-doc
            
                    
    
    Copied

2. Uninstall "libghc-dependent-sum-doc" package

Please follow the guidance below to uninstall libghc-dependent-sum-doc on Ubuntu 23.10 (Mantic Minotaur):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libghc-dependent-sum-doc
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the libghc-dependent-sum-doc package on Ubuntu 23.10 (Mantic Minotaur)

Package: libghc-dependent-sum-doc
Architecture: all
Version: 0.7.1.0-2build2
Priority: extra
Section: universe/doc
Source: haskell-dependent-sum
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Debian Haskell Group
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 240
Depends: haddock-interface-38
Recommends: ghc-doc, libghc-constraints-extras-doc, libghc-dependent-sum-dev, libghc-some-doc, libjs-mathjax
Suggests: libghc-dependent-sum-prof
Filename: pool/universe/h/haskell-dependent-sum/libghc-dependent-sum-doc_0.7.1.0-2build2_all.deb
Size: 33352
MD5sum: 3d3d14341e4cdc82538dbf05939fe492
SHA1: aeecc854449f8ce8f569a83bfd3434150afb5b1a
SHA256: 8d20f855ad82899952d85642d691fbe027e99e25e0ad902709476f427371c791
SHA512: 6659892a3466a2aef958b0850e43f1647c3f82d03d66e23930438a876a3085736dbf5b44fa3e3087b1f00ec460d02988b02cff4ee4b5205b253c256206e28df7
Homepage: https://github.com/obsidiansystems/dependent-sum
Description: Dependent sum type; documentation
Description-md5: 3e14b36595c70457ce187984ba6132f5