How to Install and Uninstall why3 Package on Debian 12 (Bookworm)

Last updated: November 22,2024

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

MX Linux 23
SparkyLinux

1. Install "why3" package

This guide let you learn how to install why3 on Debian 12 (Bookworm)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                why3
            
                    
    
    Copied

2. Uninstall "why3" package

Please follow the instructions below to uninstall why3 on Debian 12 (Bookworm):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                why3
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the why3 package on Debian 12 (Bookworm)

Package: why3
Source: why3 (1.5.1-1)
Version: 1.5.1-1+b2
Installed-Size: 47319
Maintainer: Debian OCaml Maintainers
Architecture: amd64
Depends: libc6 (>= 2.35), libcairo2 (>= 1.2.4), libgdk-pixbuf-2.0-0 (>= 2.22.0), libglib2.0-0 (>= 2.35.9), libgtk-3-0 (>= 3.11.5), libgtksourceview-3.0-1 (>= 2.91.4), libpango-1.0-0 (>= 1.14.0), zlib1g (>= 1:1.1.4), libcairo2-ocaml-gl0g4, liblablgtk3-ocaml-0um05, liblablgtksourceview3-ocaml-3azu2, ocaml-base-4.13.1, tex-common (>= 6.13)
Recommends: cvc4 (<< 1.9) | spass | z3 (<< 4.11.1) | alt-ergo (>= 2.0.0)
Suggests: why3-examples
Description: Software verification platform
Description-md5: 42102049a94ca7a372592f978ac2d805
Homepage: http://why3.lri.fr/
Tag: uitoolkit::gtk, uitoolkit::ncurses
Section: math
Priority: optional
Filename: pool/main/w/why3/why3_1.5.1-1+b2_amd64.deb
Size: 10013096
MD5sum: ca0a68ab2ad3a2c77555b2a1a7c8e867
SHA256: 5824b5ed6f4fe9fc50f3e82d6bcd259e6d543eb3b06227fad6861b358d350c17