How to Install and Uninstall why3-doc-html Package on Ubuntu 24.04 LTS (Noble Numbat)

Last updated: May 11,2024

1. Install "why3-doc-html" package

Please follow the guidelines below to install why3-doc-html on Ubuntu 24.04 LTS (Noble Numbat)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                why3-doc-html
            
                    
    
    Copied

2. Uninstall "why3-doc-html" package

Please follow the instructions below to uninstall why3-doc-html on Ubuntu 24.04 LTS (Noble Numbat):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                why3-doc-html
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the why3-doc-html package on Ubuntu 24.04 LTS (Noble Numbat)

Package: why3-doc-html
Architecture: all
Version: 1.6.0-1build4
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: 2932
Depends: tex-common (>= 6.13), libjs-jquery, libjs-underscore, libjs-mathjax, libjs-sphinxdoc
Suggests: why3
Filename: pool/universe/w/why3/why3-doc-html_1.6.0-1build4_all.deb
Size: 770970
MD5sum: abee9c9d6852b465ca46d855800d799e
SHA1: 1cf58e903acb6304d593e6b8421bedf70e38fe61
SHA256: 392dbb4dd6a57d2a8b3c57a5fdaf9e6fd86570a12d8e34d19234daf752b5e8c9
SHA512: 45a60a23595d4af8ab64cf2c01c30bc85de4cb4d5e3d580f33a2c1cf8cd3c56f8f905cc0ac409ad92536d51033fd72199712be8f86046439788e8ab90eddff93
Homepage: http://why3.lri.fr/
Description: HTML Documentation of the why3 verification platform
Description-md5: dfe9f02c0fe254a61046f478fb97b4db