How to Install and Uninstall coq-doc-pdf Package on Linux Mint 21.3 (Virginia)

Last updated: May 16,2024

1. Install "coq-doc-pdf" package

This guide covers the steps necessary to install coq-doc-pdf on Linux Mint 21.3 (Virginia)


    
        
            $
        

        
            
                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 Linux Mint 21.3 (Virginia):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                coq-doc-pdf
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the coq-doc-pdf package on Linux Mint 21.3 (Virginia)

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