Complete Guide: Installing why3-coq on Ubuntu 20.10 (Groovy Gorilla) 2024

1. Install "why3-coq" package

Learn how to install why3-coq on Ubuntu 20.10 (Groovy Gorilla)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                why3-coq
            
                    
    
    Copied

2. Uninstall "why3-coq" package

This guide covers the steps necessary to uninstall why3-coq on Ubuntu 20.10 (Groovy Gorilla):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                why3-coq
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the why3-coq package on Ubuntu 20.10 (Groovy Gorilla)

Package: why3-coq
Architecture: amd64
Version: 1.3.3-1build1
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.08.1, tex-common (>= 6.13)
Recommends: why3
Filename: pool/universe/w/why3/why3-coq_1.3.3-1build1_amd64.deb
Size: 740836
MD5sum: 3e7c6d4f98038b17304535ef2535cc1f
SHA1: 04ac0bd933ad806dfad30b1a4e455a2909bda24d
SHA256: 9c194c7ab13133a7160b77d304786b6593762fdd74a06b87c0728b32ba0a2b1f
SHA512: 84c33e23fe22d17cdaec15e47fa0a790249e40e870261b56b82938b7af44b16be5b1c9b7e43bc3f0d5ec1906bd48419f9f75a27dd78b2e15f0dedab778130600
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