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

Last updated: November 26,2024

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

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

In this section, we are going to explain the necessary steps to install why3-examples on Ubuntu 22.04 LTS (Jammy Jellyfish)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                why3-examples
            
                    
    
    Copied

2. Uninstall "why3-examples" package

This tutorial shows how to uninstall why3-examples on Ubuntu 22.04 LTS (Jammy Jellyfish):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                why3-examples
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

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

Package: why3-examples
Architecture: all
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: 19225
Depends: tex-common (>= 6.13)
Recommends: why3
Filename: pool/universe/w/why3/why3-examples_1.4.0-3_all.deb
Size: 3647918
MD5sum: 1e11780e1e36ef14b93b5122e968d9c2
SHA1: e383573ea1bc2b26f21a2a2476e86a8cec55927c
SHA256: f506012bbda315356fbdc97e6b70f400fa940fe2854614a2d3a0678e1564ef1a
SHA512: a8c85087901500f89234ac0592ab17cc35e2a838ea157d550e7a51c2eedfd908d8adcae26375f076ad44a3070924dadf151460afec1bb10d486dff80417055e4
Homepage: http://why3.lri.fr/
Description-en: Examples for the why3 verification platform
This package contains examples, both of program verification tasks
and pure logical verification tasks, for the why3 software verification
platform.
Description-md5: 6e4dbbd0dec9f982a2b216d558fd2377