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

Last updated: May 19,2024

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

Please follow the steps below to install libghc-copilot-theorem-doc on Ubuntu 23.10 (Mantic Minotaur)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libghc-copilot-theorem-doc
            
                    
    
    Copied

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

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


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libghc-copilot-theorem-doc
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

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

Package: libghc-copilot-theorem-doc
Architecture: all
Version: 3.13-1
Priority: optional
Section: universe/doc
Source: haskell-copilot-theorem
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Debian Haskell Group
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 4230
Depends: haddock-interface-38
Recommends: ghc-doc, libghc-copilot-core-doc, libghc-copilot-theorem-dev, libghc-data-default-doc, libghc-parameterized-utils-doc, libghc-what4-doc, libjs-mathjax
Suggests: libghc-copilot-theorem-prof
Filename: pool/universe/h/haskell-copilot-theorem/libghc-copilot-theorem-doc_3.13-1_all.deb
Size: 186426
MD5sum: b480501359486a34204a0aad6a8e0f7c
SHA1: 0c2c7e89ffa14cfe598e2f5b61b1c57ebe42fd5d
SHA256: 370953564e388c802a9d305d295d68533bfe2550c9d7d4b70e4faab171c7d7e8
SHA512: b277e03799f7eb0a450c9a9f21296887bd6e43c7dd722a5b1132bf1948f17f0925f869fad2b7aad648fa78d55019f4a81f2e71590cb45baae63c5ecc0a1195b8
Homepage: https://copilot-language.github.io
Description: k-induction for Copilot.; documentation
Description-md5: 00a10fc284b030084d3270da9fc69c55