How to Install and Uninstall libghc-agda-doc Package on Debian 11 (Bullseye)

Last updated: November 22,2024

1. Install "libghc-agda-doc" package

Please follow the guidance below to install libghc-agda-doc on Debian 11 (Bullseye)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libghc-agda-doc
            
                    
    
    Copied

2. Uninstall "libghc-agda-doc" package

Please follow the guidance below to uninstall libghc-agda-doc on Debian 11 (Bullseye):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libghc-agda-doc
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the libghc-agda-doc package on Debian 11 (Bullseye)

Package: libghc-agda-doc
Source: agda
Version: 2.6.1-1
Installed-Size: 130629
Maintainer: Debian Haskell Group
Architecture: all
Replaces: haskell-agda-doc
Provides: haskell-agda-doc
Depends: haddock-interface-35
Recommends: libghc-aeson-doc, libghc-async-doc, libghc-blaze-html-doc, libghc-equivalence-doc, libghc-exceptions-doc, libghc-geniplate-mirror-doc, libghc-hashable-doc, libghc-hashtables-doc, libghc-strict-doc, libghc-unordered-containers-doc, libjs-mathjax
Conflicts: haskell-agda-doc (<< 2.2.6-5)
Description: dependently typed functional programming language; documentation
Description-md5: 42838d7e4b43bdeee8091f83a2111b33
Homepage: https://wiki.portal.chalmers.se/agda/
Tag: devel::doc, made-of::html, role::documentation
Section: doc
Priority: optional
Filename: pool/main/a/agda/libghc-agda-doc_2.6.1-1_all.deb
Size: 5799636
MD5sum: fe3ee9ac0d903c4b8b83dab183283615
SHA256: 17fc17b505d40edd97332cc2faed6648bf0527e57bae43ce9e655143391030c4