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

Last updated: December 24,2024

1. Install "coq-doc" package

Please follow the steps below to install coq-doc on Linux Mint 21.3 (Virginia)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                coq-doc
            
                    
    
    Copied

2. Uninstall "coq-doc" package

In this section, we are going to explain the necessary steps to uninstall coq-doc on Linux Mint 21.3 (Virginia):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                coq-doc
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

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

Package: coq-doc
Architecture: all
Version: 8.15.0-3
Priority: optional
Section: multiverse/doc
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Debian OCaml Maintainers
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 22
Depends: coq-doc-html (>= 8.15.0-3), coq-doc-pdf (>= 8.15.0-3)
Filename: pool/multiverse/c/coq-doc/coq-doc_8.15.0-3_all.deb
Size: 4012
MD5sum: 304262619bf3f1e8445208f56b3ae6c6
SHA1: e1638c65e78fc71d8ea513cd56ff126536c9144c
SHA256: a670ee5fee7bc1170c5567f2cbc998353d47913986aa51c583597b703ca08c39
SHA512: 293d691bd87fc0301f613e385b50fcb681c01ab1c3ca65a553c9d0c95c62f4699ec1762b78f39691fb4dd140a46f335bfd29eba89f0ea740294b4080e4dda8c7
Homepage: http://coq.inria.fr/
Description: documentation for Coq
Description-md5: 8162cc95ca212365bc0155b6cfef283a