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

Last updated: May 15,2024

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

Please follow the guidelines below to install libghc-dependent-sum-dev on Ubuntu 23.10 (Mantic Minotaur)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libghc-dependent-sum-dev
            
                    
    
    Copied

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

Learn how to uninstall libghc-dependent-sum-dev on Ubuntu 23.10 (Mantic Minotaur):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libghc-dependent-sum-dev
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

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

Package: libghc-dependent-sum-dev
Architecture: amd64
Version: 0.7.1.0-2build2
Priority: extra
Section: universe/haskell
Source: haskell-dependent-sum
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Debian Haskell Group
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 191
Provides: libghc-dependent-sum-dev-0.7.1.0-2fd03
Depends: libghc-base-dev-4.15.1.0-6a406, libghc-constraints-extras-dev-0.3.2.1-88e87, libghc-some-dev-1.0.3-7becf, libc6 (>= 2.2.5), libgmp10 (>= 2:6.2.1+dfsg1)
Filename: pool/universe/h/haskell-dependent-sum/libghc-dependent-sum-dev_0.7.1.0-2build2_amd64.deb
Size: 24220
MD5sum: 1c5ccec6058514e298ee02ad9de5f8b3
SHA1: 6409257931a949c464f7815327ff94bb0b98a127
SHA256: 4005a06bbf1fc99f247815691b7b6361b973c722c972ac6d2bbaec19385ce717
SHA512: 10a5e264f7f4e2250b7f9b9daaa407680313f03e39b09d8408bded2fe3085cd8850d13bcb440adf42add6bd6607bfb46db83edbfb3e0e1e2157cba8d2f22cf41
Homepage: https://github.com/obsidiansystems/dependent-sum
Description: Dependent sum type
Description-md5: 44266b1bc2fd61aa09f458dbee73e939
Ghc-Package: dependent-sum-0.7.1.0-7YzuUeHZzq8921HSNJFpl5