How to Install and Uninstall prooftree Package on Ubuntu 21.10 (Impish Indri)

Last updated: May 18,2024

1. Install "prooftree" package

This tutorial shows how to install prooftree on Ubuntu 21.10 (Impish Indri)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                prooftree
            
                    
    
    Copied

2. Uninstall "prooftree" package

Please follow the steps below to uninstall prooftree on Ubuntu 21.10 (Impish Indri):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                prooftree
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the prooftree package on Ubuntu 21.10 (Impish Indri)

Package: prooftree
Architecture: amd64
Version: 0.13-2build3
Priority: optional
Section: universe/science
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Debian OCaml Maintainers
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 4995
Depends: proofgeneral (>= 4.3~pre130510), coq (>= 8.4), libc6 (>= 2.29), libgdk-pixbuf-2.0-0 (>= 2.22.0), libglib2.0-0 (>= 2.35.9), libgtk2.0-0 (>= 2.24.0), libpango-1.0-0 (>= 1.22.0)
Filename: pool/universe/p/prooftree/prooftree_0.13-2build3_amd64.deb
Size: 1084792
MD5sum: 9b435e744efc265e60932878ee46d899
SHA1: b828143ad05a0ffcde1a2f6f91dbbf3f271c1c6a
SHA256: 9e340eec7e49c860c866becc059bc51b26252b05fc9a7b60e4c53cc90a082558
SHA512: f296f481d688695d2d1dd9befd4f5168926370e5c0821f890f86be333e97a0dfe1238059bd3445e6ed11d0bdbe03110211cbc47ddd965d8978789035484c8d7a
Homepage: http://askra.de/software/prooftree
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