How to Install and Uninstall libghc-copilot-theorem-doc Package on Debian 12 (Bookworm)

Last updated: May 19,2024

You can also install and uninstall the libghc-copilot-theorem-doc on the following distributions in the same way, as they are all based on the Debian system

MX Linux 23
SparkyLinux

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

This tutorial shows how to install libghc-copilot-theorem-doc on Debian 12 (Bookworm)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libghc-copilot-theorem-doc
            
                    
    
    Copied

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

In this section, we are going to explain the necessary steps to uninstall libghc-copilot-theorem-doc on Debian 12 (Bookworm):


    
        
            $
        

        
            
                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 Debian 12 (Bookworm)

Package: libghc-copilot-theorem-doc
Source: haskell-copilot-theorem
Version: 3.13-1
Installed-Size: 4186
Maintainer: Debian Haskell Group
Architecture: all
Depends: haddock-interface-38
Recommends: ghc-doc, libghc-copilot-core-doc, libghc-copilot-theorem-dev, libghc-data-default-doc, libjs-mathjax
Suggests: libghc-copilot-theorem-prof
Description: k-induction for Copilot.; documentation
Description-md5: 00a10fc284b030084d3270da9fc69c55
Homepage: https://copilot-language.github.io
Section: doc
Priority: optional
Filename: pool/main/h/haskell-copilot-theorem/libghc-copilot-theorem-doc_3.13-1_all.deb
Size: 213864
MD5sum: b3ff964ccffeb8056d7601d0c66ad8d5
SHA256: b6807d58657f79197c71a228c6679d43f3d4f22a69cef51615342b510c9d0061