How to Install and Uninstall why3-doc-html Package on Debian 10 (Buster)

Last updated: January 23,2025

1. Install "why3-doc-html" package

Please follow the instructions below to install why3-doc-html on Debian 10 (Buster)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                why3-doc-html
            
                    
    
    Copied

2. Uninstall "why3-doc-html" package

Here is a brief guide to show you how to uninstall why3-doc-html on Debian 10 (Buster):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                why3-doc-html
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the why3-doc-html package on Debian 10 (Buster)

Package: why3-doc-html
Source: why3
Version: 1.2.0-1
Installed-Size: 1335
Maintainer: Debian OCaml Maintainers
Architecture: all
Depends: tex-common (>= 6)
Suggests: why3
Description: HTML Documentation of the why3 verification platform
Description-md5: dfe9f02c0fe254a61046f478fb97b4db
Homepage: http://why3.lri.fr/
Section: math
Priority: optional
Filename: pool/main/w/why3/why3-doc-html_1.2.0-1_all.deb
Size: 362080
MD5sum: 1d1be699feceee601a6f43a63c377d81
SHA256: b99afd268eff194bdb1e4c955f3589085a3e24e7e4a99097635a6dbec149afbd