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

Last updated: May 22,2024

1. Install "why3-coq" package

Please follow the guidance below to install why3-coq on Debian 10 (Buster)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                why3-coq
            
                    
    
    Copied

2. Uninstall "why3-coq" package

This guide let you learn how to uninstall why3-coq on Debian 10 (Buster):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                why3-coq
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

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

Package: why3-coq
Source: why3
Version: 1.2.0-1
Installed-Size: 2714
Maintainer: Debian OCaml Maintainers
Architecture: amd64
Depends: coq-8.9.0+4.05.0, tex-common (>= 6)
Recommends: why3
Description: Coq support for the why3 verification platform
Description-md5: fca3e9b7fd6d16509065220d24994dd5
Homepage: http://why3.lri.fr/
Section: math
Priority: optional
Filename: pool/main/w/why3/why3-coq_1.2.0-1_amd64.deb
Size: 596752
MD5sum: 2cc691ebde76e9981fad0519eb236cec
SHA256: 3a7c4c517f70cc2c0f66311e40060d36669e7b80cf4b1186b0c0a696fcafd295