How to Install and Uninstall libghc-agda-doc Package on Ubuntu 22.10 (Kinetic Kudu)

Last updated: December 23,2024

1. Install "libghc-agda-doc" package

This tutorial shows how to install libghc-agda-doc on Ubuntu 22.10 (Kinetic Kudu)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libghc-agda-doc
            
                    
    
    Copied

2. Uninstall "libghc-agda-doc" package

Please follow the steps below to uninstall libghc-agda-doc on Ubuntu 22.10 (Kinetic Kudu):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libghc-agda-doc
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the libghc-agda-doc package on Ubuntu 22.10 (Kinetic Kudu)

Package: libghc-agda-doc
Architecture: all
Version: 2.6.2.2-1
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: 162426
Provides: haskell-agda-doc
Depends: haddock-interface-38
Recommends: ghc-doc, libghc-aeson-doc, libghc-agda-dev, libghc-async-doc, libghc-case-insensitive-doc, libghc-hashable-doc, libghc-hashtables-doc, libghc-monad-control-doc, libghc-strict-doc, libghc-unordered-containers-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.2.2-1_all.deb
Size: 5999080
MD5sum: dd595f12da7e323fff6c1540c24a47ea
SHA1: 6a406ba9c28ab4f79ce483ac202c749dc595380e
SHA256: 85f378721d778db931a6d782605ad93292dbfba80d973cb16c97cb63cd2a8400
SHA512: e8c5072fc6e11cbc14c2868c252d920ceb775c114fe70c05b157925f3cf3adc0bb1423b46a8c7963ae04e21d67e3db5ea15fd38c9ac5d96de80b0acd8fe581d1
Homepage: https://wiki.portal.chalmers.se/agda/
Description: dependently typed functional programming language; documentation
Description-md5: 42838d7e4b43bdeee8091f83a2111b33