Complete Guide: Installing why3-coq on Ubuntu 21.10 (Impish Indri) 2024

1. Install "why3-coq" package

Learn how to install why3-coq on Ubuntu 21.10 (Impish Indri)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                why3-coq
            
                    
    
    Copied

2. Uninstall "why3-coq" package

Please follow the guidelines below to uninstall why3-coq on Ubuntu 21.10 (Impish Indri):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                why3-coq
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

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

Package: why3-coq
Architecture: amd64
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: 3816
Depends: coq-8.12.0+4.11.1, tex-common (>= 6.13)
Recommends: why3
Filename: pool/universe/w/why3/why3-coq_1.3.3-1build5_amd64.deb
Size: 740408
MD5sum: 3c1d1c4c326d4a282bb21216a7e6b33b
SHA1: f947ef179cd7fac38c9c13ffb4f304e6f5f3f2fd
SHA256: 58bffd6e17f2339d7918d2a2a13362dbb117da6c72e452d6fc119568f8e92bf2
SHA512: 4cd0c00551938d0bb1a02398a292be92ab4401f32bb4bb6be99655fd40ac4ce65c5ade8943d5aa0d5771dbc4cdaddcccd7bbfafe33a2a7f3ab10b8833fb8f261
Homepage: http://why3.lri.fr/
Description-en: Coq support for the why3 verification platform
This package contains the compiled coq files that are necessary to
use the coq proof assistant together with the why3 deductive
verification platform.
Description-md5: fca3e9b7fd6d16509065220d24994dd5