How to Install and Uninstall why3-coq Package on Debian 11 (Bullseye)

Last updated: May 06,2024

1. Install "why3-coq" package

This guide covers the steps necessary to install why3-coq on Debian 11 (Bullseye)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                why3-coq
            
                    
    
    Copied

2. Uninstall "why3-coq" package

Please follow the step by step instructions below to uninstall why3-coq on Debian 11 (Bullseye):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                why3-coq
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the why3-coq package on Debian 11 (Bullseye)

Package: why3-coq
Source: why3 (1.3.3-1)
Version: 1.3.3-1+b4
Installed-Size: 3830
Maintainer: Debian OCaml Maintainers
Architecture: amd64
Depends: coq-8.12.0+4.11.1, tex-common (>= 6.13)
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.3.3-1+b4_amd64.deb
Size: 757188
MD5sum: 0e434c0e82ab013c74e52e9a18cdc850
SHA256: 53dc0f9cbd4143453e603c82a2363a268bde00ca0de40f13ab6709ca1ed5c1ec