How to Install and Uninstall libghc-agda-doc Package on Ubuntu 23.10 (Mantic Minotaur)

Last updated: November 22,2024

1. Install "libghc-agda-doc" package

Please follow the guidelines below to install libghc-agda-doc on Ubuntu 23.10 (Mantic Minotaur)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libghc-agda-doc
            
                    
    
    Copied

2. Uninstall "libghc-agda-doc" package

This is a short guide on how to uninstall libghc-agda-doc on Ubuntu 23.10 (Mantic Minotaur):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libghc-agda-doc
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the libghc-agda-doc package on Ubuntu 23.10 (Mantic Minotaur)

Package: libghc-agda-doc
Architecture: all
Version: 2.6.2.2-1.1build1
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: 162421
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.1build1_all.deb
Size: 5991684
MD5sum: 881e0438843bf48e9bbb7eb5d40df015
SHA1: dfda61e1c0122c2e586245d10f76b2adebad294c
SHA256: 9c844be2050422ef2fea87c09cd040a679d2d471754c643202bc4bdd6ad9ba6e
SHA512: d7359529e128aa528e7cba4baa25469577c5fa7d94764e17cb0938e4d938a185167b796b35e3a4cd92cea045c9a9b915fde366c0c32ef8f41ce44b09fd880060
Homepage: https://wiki.portal.chalmers.se/agda/
Description: dependently typed functional programming language; documentation
Description-md5: 42838d7e4b43bdeee8091f83a2111b33