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

Last updated: May 20,2024

Deprecated! Installation of this package may no longer be supported.

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

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


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                why3-doc-html
            
                    
    
    Copied

2. Uninstall "why3-doc-html" package

This guide let you learn how to uninstall why3-doc-html on Ubuntu 22.04 LTS (Jammy Jellyfish):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                why3-doc-html
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

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

Package: why3-doc-html
Architecture: all
Version: 1.4.0-3
Priority: optional
Section: universe/math
Source: why3
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Debian OCaml Maintainers
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 2481
Depends: tex-common (>= 6.13), libjs-jquery, libjs-underscore, libjs-mathjax, libjs-sphinxdoc
Suggests: why3
Filename: pool/universe/w/why3/why3-doc-html_1.4.0-3_all.deb
Size: 692108
MD5sum: 4e11302e9dfc28f4da0d74ec2bbb5757
SHA1: 40a67fb332de667c6a293942df24ad649576420a
SHA256: 1bf4be81a1f2da8ad6cc14c67388530e8d9193e7eafabf41d3143bfb7b40657e
SHA512: c72cf19278b703906e26e480c32dfc6adf8e5c21418609b86d706337a7ec3c7287f2a306f301b8bd83a45d6797ca869051e4bf4e909400bb095f23b50dd3dc9e
Homepage: http://why3.lri.fr/
Description-en: HTML Documentation of the why3 verification platform
This package contains the tutorial and reference manual of the
why3 verification platform in HTML format.
Description-md5: dfe9f02c0fe254a61046f478fb97b4db