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

Last updated: May 18,2024

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

You can also install and uninstall the why3 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" package

Learn how to install why3 on Ubuntu 22.04 LTS (Jammy Jellyfish)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                why3
            
                    
    
    Copied

2. Uninstall "why3" package

Please follow the step by step instructions below to uninstall why3 on Ubuntu 22.04 LTS (Jammy Jellyfish):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                why3
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

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

Package: why3
Architecture: amd64
Version: 1.4.0-3
Priority: optional
Section: universe/math
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Debian OCaml Maintainers
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 33603
Depends: libc6 (>= 2.34), libcairo2 (>= 1.2.4), libgdk-pixbuf-2.0-0 (>= 2.22.0), libglib2.0-0 (>= 2.35.9), libgtk-3-0 (>= 3.1.4), libgtksourceview-3.0-1 (>= 2.91.4), libpango-1.0-0 (>= 1.14.0), zlib1g (>= 1:1.1.4), libcairo2-ocaml-vwag2, liblablgtk3-ocaml-x0f80, liblablgtksourceview3-ocaml-5j5o8, ocaml-base-nox-4.11.1, tex-common (>= 6.13)
Recommends: cvc4 (<< 1.9) | why3-coq | spass | z3 (<< 4.8.11) | alt-ergo (>= 2.0.0)
Suggests: why3-examples
Filename: pool/universe/w/why3/why3_1.4.0-3_amd64.deb
Size: 8971222
MD5sum: 57ac1a620d193ffe2d9d8c22a337518e
SHA1: 680f91930a2e52756a999e88dd4ea954c7223ce1
SHA256: 59467ef69ef77f0c7d56f7dc74f395337d417136c98ad9b922595525b9a753be
SHA512: 4e0ebc19b7735f46f5d6014c0563de50ed5e0a7aaa77c6bded131f8aa31227ddcdde5ef1ee25d5ec8af6c44ea73fc2a2228d06c23a658d09a83401f36c581060
Homepage: http://why3.lri.fr/
Description-en: Software verification platform
Why3 is a platform for deductive program verification. It provides a
rich language for specification and programming, called WhyML, and
relies on external theorem provers, both automated and interactive,
to discharge verification conditions. Why3 comes with a standard
library of logical theories (integer and real arithmetic, Boolean
operations, sets and maps, etc.) and basic programming data
structures (arrays, queues, hash tables, etc.). A user can write
WhyML programs directly and get correct-by-construction OCaml
programs through an automated extraction mechanism. WhyML is also
used as an intermediate language for the verification of C, Java, or
Ada programs.
.
Why3 is a complete reimplementation of the former Why platform. Among
the new features are: numerous extensions to the input language, a
new architecture for calling external provers, and a well-designed
API, allowing to use Why3 as a software library. An important
emphasis is put on modularity and genericity, giving the end user a
possibility to easily reuse Why3 formalizations or to add support for
a new external prover if wanted.
Description-md5: 42102049a94ca7a372592f978ac2d805