How to Install and Uninstall prooftree Package on Ubuntu 16.04 LTS (Xenial Xerus)

Last updated: May 18,2024

1. Install "prooftree" package

In this section, we are going to explain the necessary steps to install prooftree on Ubuntu 16.04 LTS (Xenial Xerus)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                prooftree
            
                    
    
    Copied

2. Uninstall "prooftree" package

Please follow the guidance below to uninstall prooftree on Ubuntu 16.04 LTS (Xenial Xerus):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                prooftree
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the prooftree package on Ubuntu 16.04 LTS (Xenial Xerus)

Package: prooftree
Priority: optional
Section: universe/science
Installed-Size: 2677
Maintainer: Ubuntu Developers
Original-Maintainer: Debian OCaml Maintainers
Architecture: amd64
Version: 0.12-2build1
Depends: proofgeneral (>= 4.3~pre130510), coq (>= 8.4), libc6 (>= 2.15), libgdk-pixbuf2.0-0 (>= 2.22.0), libglib2.0-0 (>= 2.35.9), libgtk2.0-0 (>= 2.24.0), libpango-1.0-0 (>= 1.14.0)
Filename: pool/universe/p/prooftree/prooftree_0.12-2build1_amd64.deb
Size: 606832
MD5sum: 226419a36870a520d0b8cc60225fe96a
SHA1: 55095937fc219bfd08631b862b4a678d5900e5ed
SHA256: d1432641a3c197fc89676cfa5df6699947dba90f7e7926fe2003a46ecbae9deb
Description-en: proof-tree visualization for Proof General
Prooftree draws proof trees during interactive proof development
with Proof General. One can inspect goals and proof commands
and check where existential variables were introduced and
instantiated. Currently, Prooftree does only work for Coq.
Description-md5: b27f2d4918792b35e6871a08a544fafa
Homepage: http://askra.de/software/prooftree
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Origin: Ubuntu