How to Install and Uninstall why3 Package on Ubuntu 18.04 LTS (Bionic Beaver)

Last updated: May 18,2024

1. Install "why3" package

Please follow the guidance below to install why3 on Ubuntu 18.04 LTS (Bionic Beaver)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                why3
            
                    
    
    Copied

2. Uninstall "why3" package

Please follow the guidance below to uninstall why3 on Ubuntu 18.04 LTS (Bionic Beaver):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                why3
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the why3 package on Ubuntu 18.04 LTS (Bionic Beaver)

Package: why3
Architecture: amd64
Version: 0.88.3-1ubuntu4
Priority: optional
Section: universe/math
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Debian OCaml Maintainers
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 99113
Depends: libc6 (>= 2.17), libgdk-pixbuf2.0-0 (>= 2.22.0), libglib2.0-0 (>= 2.35.9), libgtk2.0-0 (>= 2.24.0), libgtksourceview2.0-0 (>= 2.10.0), libpango-1.0-0 (>= 1.14.0), zlib1g (>= 1:1.1.4), ocaml-base-nox-4.05.0, tex-common (>= 6)
Recommends: alt-ergo | cvc3 | cvc4 | why3-coq | spass | z3
Suggests: why3-examples
Filename: pool/universe/w/why3/why3_0.88.3-1ubuntu4_amd64.deb
Size: 20802412
MD5sum: a887a01a0e23b642e50fe3525524a121
SHA1: 37ddbbf1498d8d0c6b92201704e5378ac2bf6842
SHA256: a678b73b5dc7f6d1be8af081b1264e507836ac692a35cfc6fc952d0a01639a68
Homepage: http://why3.lri.fr/
Description: Software verification platform
Description-md5: 42102049a94ca7a372592f978ac2d805