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

Last updated: December 23,2024

You can also install and uninstall the coq-doc-html 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-html" package

This guide covers the steps necessary to install coq-doc-html on Ubuntu 22.04 LTS (Jammy Jellyfish)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                coq-doc-html
            
                    
    
    Copied

2. Uninstall "coq-doc-html" package

This tutorial shows how to uninstall coq-doc-html on Ubuntu 22.04 LTS (Jammy Jellyfish):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                coq-doc-html
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

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

Package: coq-doc-html
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: 19613
Depends: libjs-sphinxdoc (>= 4.3), sphinx-rtd-theme-common (>= 1.0.0+dfsg)
Replaces: coq-doc (<= 8.0pl1.0-1)
Filename: pool/multiverse/c/coq-doc/coq-doc-html_8.15.0-3_all.deb
Size: 1343072
MD5sum: a90b9fb3f183a100acbb9795aaea1d0b
SHA1: 75fb5123aea1fa5af92fb95590a874b922fa2e6e
SHA256: a642c4a018f667477fca9883b913e39ba9fa623afbd11d0c0b982ece3bdcc387
SHA512: 7e08f0d1506959d4f7121a4aa2cc41b01019c9e46a093740de968329539cc0af6a4288766ce64c19ffdb075f5fca2210246a32c1211d144b384acab6d852d3a7
Homepage: http://coq.inria.fr/
Description: documentation for Coq in html format
Description-md5: 2a1cea3031ba67430a5917f291c6087a