How to Install and Uninstall libghc-agda-doc Package on Linux Mint 20.3 (Una)

Last updated: December 23,2024

1. Install "libghc-agda-doc" package

Please follow the step by step instructions below to install libghc-agda-doc on Linux Mint 20.3 (Una)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libghc-agda-doc
            
                    
    
    Copied

2. Uninstall "libghc-agda-doc" package

Please follow the step by step instructions below to uninstall libghc-agda-doc on Linux Mint 20.3 (Una):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libghc-agda-doc
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the libghc-agda-doc package on Linux Mint 20.3 (Una)

Package: libghc-agda-doc
Architecture: all
Version: 2.6.0.1-1build4
Priority: extra
Section: universe/doc
Source: agda
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Debian Haskell Group
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 92099
Provides: haskell-agda-doc
Depends: haddock-interface-33
Recommends: ghc-doc, libghc-aeson-doc, libghc-async-doc, libghc-blaze-html-doc, libghc-boxes-doc, libghc-data-hash-doc, libghc-edison-core-doc, libghc-edit-distance-doc, libghc-equivalence-doc, libghc-exceptions-doc, libghc-geniplate-mirror-doc, libghc-gitrev-doc, libghc-hashable-doc, libghc-hashtables-doc, libghc-ieee754-doc, libghc-murmur-hash-doc, libghc-regex-tdfa-doc, libghc-split-doc, libghc-strict-doc, libghc-unordered-containers-doc, libghc-uri-encode-doc, libghc-zlib-doc, libjs-mathjax
Conflicts: haskell-agda-doc (<< 2.2.6-5)
Replaces: haskell-agda-doc
Filename: pool/universe/a/agda/libghc-agda-doc_2.6.0.1-1build4_all.deb
Size: 4206940
MD5sum: 33708b7f24c946f3edc2e9ed0d1d08fc
SHA1: 71cacb26484e0476ca9b5e661595c3d0a5a48152
SHA256: 1e71b4e32e227336ebc602eff498452f8cb5dc2e78bef51d393fdf74d9002296
Homepage: http://wiki.portal.chalmers.se/agda/
Description: dependently typed functional programming language; documentation
Description-md5: 42838d7e4b43bdeee8091f83a2111b33