How to Install and Uninstall libghc-copilot-theorem-doc Package on Ubuntu 24.04 LTS (Noble Numbat)

Last updated: November 07,2024

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

Please follow the instructions below to install libghc-copilot-theorem-doc on Ubuntu 24.04 LTS (Noble Numbat)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libghc-copilot-theorem-doc
            
                    
    
    Copied

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

Please follow the guidelines below to uninstall libghc-copilot-theorem-doc on Ubuntu 24.04 LTS (Noble Numbat):


    
        
            $
        

        
            
                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 24.04 LTS (Noble Numbat)

Package: libghc-copilot-theorem-doc
Architecture: all
Version: 3.18.1-2
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: 4429
Depends: haddock-interface-41
Recommends: ghc-doc, libghc-bimap-doc, libghc-bv-sized-doc, libghc-copilot-core-doc, libghc-copilot-prettyprinter-doc, libghc-copilot-theorem-dev, libghc-data-default-doc, libghc-libbf-doc, libghc-panic-doc, libghc-parameterized-utils-doc, libghc-random-doc, libghc-what4-doc, libghc-xml-doc, libjs-mathjax
Suggests: libghc-copilot-theorem-prof
Filename: pool/universe/h/haskell-copilot-theorem/libghc-copilot-theorem-doc_3.18.1-2_all.deb
Size: 191800
MD5sum: 9b5355ee2d7e30677204ac3a808c0e4d
SHA1: f2c199b34a7a5ef6f7c0870ea64282eaf465a498
SHA256: 8eabe493becf9ecd69da3afa165bff31c2f6a289c5936b55553f1b5e13cf4c40
SHA512: 22c433c8caf9db61d74e0fb3ebbb28fe6e87c44cf3ff605cf72157ea0fe51671a0c4ceef120cd66aff61d7557ac56bc68d90cd5257e52af450432926e8434d40
Homepage: https://copilot-language.github.io
Description: k-induction for Copilot.; documentation
Description-md5: 00a10fc284b030084d3270da9fc69c55