How to Install and Uninstall coq-doc Package on Ubuntu 22.10 (Kinetic Kudu)

Last updated: November 22,2024

1. Install "coq-doc" package

Here is a brief guide to show you how to install coq-doc on Ubuntu 22.10 (Kinetic Kudu)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                coq-doc
            
                    
    
    Copied

2. Uninstall "coq-doc" package

This guide let you learn how to uninstall coq-doc on Ubuntu 22.10 (Kinetic Kudu):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                coq-doc
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the coq-doc package on Ubuntu 22.10 (Kinetic Kudu)

Package: coq-doc
Architecture: all
Version: 8.15.2-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.2-3), coq-doc-pdf (>= 8.15.2-3)
Filename: pool/multiverse/c/coq-doc/coq-doc_8.15.2-3_all.deb
Size: 3998
MD5sum: 4e137d7574a599d17a7861098045f1b5
SHA1: e50d36f17888e4746364c272ec779ea085d83f04
SHA256: 185efec0f05235b6546cc6ac70d509e62c88cb1dd220cda326e85af0760c1278
SHA512: a71144798282a71e13fb7e9b7f4e5893ed915d9dd9f1bd94843337aa1fe66acda8ab9ad3688607d7f92ae2e56e6d0c05e6b10c853fe7361f7e0264146f1cc6c3
Homepage: http://coq.inria.fr/
Description: documentation for Coq
Description-md5: 8162cc95ca212365bc0155b6cfef283a