How to Install and Uninstall coq-doc-pdf Package on Ubuntu 22.04 LTS (Jammy Jellyfish)

Last updated: November 22,2024

You can also install and uninstall the coq-doc-pdf on the following distributions in the same way, as they are all based on the Ubuntu system

Kubuntu 22.04 LTS
Lubuntu 22.04 LTS
Xubuntu 22.04 LTS
Ubuntu MATE 22.04 LTS
Ubuntu Studio 22.04 LTS
Pop!_OS 22.04 LTS
Zorin OS 16 / Zorin OS 17
Ubuntu Budgie 22.04

1. Install "coq-doc-pdf" package

Please follow the step by step instructions below to install coq-doc-pdf on Ubuntu 22.04 LTS (Jammy Jellyfish)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                coq-doc-pdf
            
                    
    
    Copied

2. Uninstall "coq-doc-pdf" package

Please follow the steps below to uninstall coq-doc-pdf on Ubuntu 22.04 LTS (Jammy Jellyfish):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                coq-doc-pdf
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the coq-doc-pdf package on Ubuntu 22.04 LTS (Jammy Jellyfish)

Package: coq-doc-pdf
Architecture: all
Version: 8.15.0-3
Priority: optional
Section: multiverse/doc
Source: coq-doc
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Debian OCaml Maintainers
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 3981
Replaces: coq-doc (<= 8.0pl1.0-1)
Filename: pool/multiverse/c/coq-doc/coq-doc-pdf_8.15.0-3_all.deb
Size: 4062240
MD5sum: 9b6ba18a0b81ecec281a03cda04d8f97
SHA1: 77d96ba60b65baddaa2db96e7614943850892523
SHA256: 591682dfa6472b1de34931e7705b462dc11f5d7524a8bd91ea66629e5ebf43f7
SHA512: bde4b2412f5954b03389365c19eb20f9d322dba376c1184293a441d4cb48c6e55048b7c4d155aaf4fb3def1fab1dd5bc897bc30a4ace9cc13b0378072d7ec351
Homepage: http://coq.inria.fr/
Description: documentation for Coq in pdf format
Description-md5: 6406c20f936aa913c3dfc9f90c15fc8a