How to Install and Uninstall libghc-these-dev Package on Debian 11 (Bullseye)

Last updated: December 23,2024

1. Install "libghc-these-dev" package

Please follow the step by step instructions below to install libghc-these-dev on Debian 11 (Bullseye)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libghc-these-dev
            
                    
    
    Copied

2. Uninstall "libghc-these-dev" package

Please follow the guidelines below to uninstall libghc-these-dev on Debian 11 (Bullseye):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libghc-these-dev
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the libghc-these-dev package on Debian 11 (Bullseye)

Package: libghc-these-dev
Source: haskell-these
Version: 1.1.1.1-1
Installed-Size: 1277
Maintainer: Debian Haskell Group
Architecture: amd64
Provides: libghc-these-dev-1.1.1.1-13c09
Depends: libghc-assoc-dev-1.0.2-c80b7, libghc-base-dev-4.13.0.0-2f220, libghc-binary-dev-0.8.7.0-943d8, libghc-deepseq-dev-1.4.4.0-9f093, libghc-hashable-dev-1.3.0.0-d5f3c, libc6 (>= 2.2.5), libgmp10
Suggests: libghc-these-doc, libghc-these-prof
Description: either-or-both data type
Description-md5: 8b5bfb267e786658018d451dbc5177a1
Homepage: https://github.com/isomorphism/these
Ghc-Package: these-1.1.1.1-25dnh3zm9N9IlUd0UDqToN
Section: haskell
Priority: optional
Filename: pool/main/h/haskell-these/libghc-these-dev_1.1.1.1-1_amd64.deb
Size: 120480
MD5sum: 4ab4bf34bb5ac0a78fd71866d405ebc9
SHA256: 54f6601ffedc220868029eda2db19a279e067d96935e2fabecf27d7e82ecc8a7