How to Install and Uninstall coq-doc Package on Ubuntu 23.10 (Mantic Minotaur)

Last updated: May 18,2024

1. Install "coq-doc" package

This guide covers the steps necessary to install coq-doc on Ubuntu 23.10 (Mantic Minotaur)


    
        
            $
        

        
            
                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 23.10 (Mantic Minotaur):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                coq-doc
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the coq-doc package on Ubuntu 23.10 (Mantic Minotaur)

Package: coq-doc
Architecture: all
Version: 8.17.1-1
Priority: optional
Section: multiverse/doc
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Debian OCaml Maintainers
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 20
Depends: coq-doc-html (>= 8.17.1-1), coq-doc-pdf (>= 8.17.1-1)
Filename: pool/multiverse/c/coq-doc/coq-doc_8.17.1-1_all.deb
Size: 4006
MD5sum: 331870fc57ffa0d2ef1cf54b6d260687
SHA1: 5c764893ce8000395252c37d76ad48038d6a5458
SHA256: 92737a5d998097c7bf77a9d51f3ff01de0faa555c460d3b31047b8c225494ed0
SHA512: d2f4511e36c7e114aced4f8928a7345b5d9d41957b498557f36a40e8b9ffff3d2ff2d81282c7b90d303d4198d844308fda33f5acacdaa57de1cd72bc274fa809
Homepage: http://coq.inria.fr/
Description: documentation for Coq
Description-md5: 8162cc95ca212365bc0155b6cfef283a