How to Install and Uninstall why3-coq Package on Ubuntu 22.04 LTS (Jammy Jellyfish)

Last updated: November 07,2024

Deprecated! Installation of this package may no longer be supported.

You can also install and uninstall the why3-coq on the following distributions in the same way, as they are all based on the Ubuntu system

Kubuntu 22.04 LTS
Lubuntu 22.04 LTS
Xubuntu 22.04 LTS
Ubuntu MATE 22.04 LTS
Ubuntu Studio 22.04 LTS
Pop!_OS 22.04 LTS
Zorin OS 16 / Zorin OS 17
Ubuntu Budgie 22.04

1. Install "why3-coq" package

Please follow the steps below to install why3-coq on Ubuntu 22.04 LTS (Jammy Jellyfish)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                why3-coq
            
                    
    
    Copied

2. Uninstall "why3-coq" package

Please follow the guidance below to uninstall why3-coq on Ubuntu 22.04 LTS (Jammy Jellyfish):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                why3-coq
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the why3-coq package on Ubuntu 22.04 LTS (Jammy Jellyfish)

Package: why3-coq
Architecture: amd64
Version: 1.4.0-3
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: 2589
Depends: coq-8.14.1+4.11.1, tex-common (>= 6.13)
Recommends: why3
Filename: pool/universe/w/why3/why3-coq_1.4.0-3_amd64.deb
Size: 616922
MD5sum: 8382769137c8038adb36ff098bbce8ee
SHA1: e5af5e4e3e40ddc8df8a12ce3582156a5bbe6016
SHA256: 625d74578726b52427f14eb5bfed6fdb9d9abec96ad3cb47c1721d67490faffb
SHA512: bb6c6c3267f01ee19e38985121bee673db1864135df28fd9d8b8cd6098fedfc6d2bb35396840985157a10fe60874d8a63dd6c169b7be0d0389a474f7bf77b180
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