How to Install and Uninstall why3-doc-html Package on Ubuntu 21.10 (Impish Indri)

Last updated: November 22,2024

1. Install "why3-doc-html" package

This is a short guide on how to install why3-doc-html on Ubuntu 21.10 (Impish Indri)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                why3-doc-html
            
                    
    
    Copied

2. Uninstall "why3-doc-html" package

This tutorial shows how to uninstall why3-doc-html on Ubuntu 21.10 (Impish Indri):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                why3-doc-html
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the why3-doc-html package on Ubuntu 21.10 (Impish Indri)

Package: why3-doc-html
Architecture: all
Version: 1.3.3-1build5
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: 2363
Depends: tex-common (>= 6.13), libjs-jquery, libjs-underscore, libjs-mathjax, libjs-sphinxdoc
Suggests: why3
Filename: pool/universe/w/why3/why3-doc-html_1.3.3-1build5_all.deb
Size: 687208
MD5sum: dd574a5b1c3794835aa9806890ef09ce
SHA1: 13671a2a8117e47ec3455e9ad8429ae1b3364fff
SHA256: 3f15ddb0ef5646a3e66fb73a6b41f333b5d77ab42ced904b6af51cd7061b4395
SHA512: 9b6f3d93b066d05a8264c8278e13933cc7050d84150b2297bc5980e41f5edbe0a1b7fd6e1bbff2e0c41e434f8cbf97da7a68bb6653f2485f21022362773b2932
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