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

Last updated: May 19,2024

1. Install "libghc-copilot-language-doc" package

This tutorial shows how to install libghc-copilot-language-doc on Ubuntu 23.10 (Mantic Minotaur)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libghc-copilot-language-doc
            
                    
    
    Copied

2. Uninstall "libghc-copilot-language-doc" package

Please follow the steps below to uninstall libghc-copilot-language-doc on Ubuntu 23.10 (Mantic Minotaur):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libghc-copilot-language-doc
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

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

Package: libghc-copilot-language-doc
Architecture: all
Version: 3.13-1build1
Priority: optional
Section: universe/doc
Source: haskell-copilot-language
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Debian Haskell Group
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 5727
Depends: haddock-interface-38
Recommends: ghc-doc, libghc-copilot-core-doc, libghc-copilot-language-dev, libghc-copilot-theorem-doc, libjs-mathjax
Suggests: libghc-copilot-language-prof
Filename: pool/universe/h/haskell-copilot-language/libghc-copilot-language-doc_3.13-1build1_all.deb
Size: 202390
MD5sum: f157d99d15a6f4e5d551ef4bc472f6e7
SHA1: 77177d50cc0f6780dc0ef6f6ee6d95d747d5d804
SHA256: b09d2bfb954ac9f7db30bdf1cae0c351300c91d6e3310ec515eefd2cddb94bf5
SHA512: 3e5ac17975d1adc0bcac1607f6ad898fd45b441a65671f675c4975302a847708b61273e3079990d35077b6d741a78054338d39041946e14e50ea19363df4895e
Homepage: https://copilot-language.github.io
Description: DSL for monitoring hard real-time distributed systems.; documentation
Description-md5: 5c64d147910a0fc1bf15f4b46393a64e