How to Install and Uninstall prooftree Package on Linux Mint 21.3 (Virginia)

Last updated: November 26,2024

1. Install "prooftree" package

This tutorial shows how to install prooftree on Linux Mint 21.3 (Virginia)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                prooftree
            
                    
    
    Copied

2. Uninstall "prooftree" package

This guide covers the steps necessary to uninstall prooftree on Linux Mint 21.3 (Virginia):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                prooftree
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the prooftree package on Linux Mint 21.3 (Virginia)

Package: prooftree
Architecture: amd64
Version: 0.13-2build4
Priority: optional
Section: universe/science
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Debian OCaml Maintainers
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 5150
Depends: proofgeneral (>= 4.3~pre130510), coq (>= 8.4), libc6 (>= 2.34), 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-2build4_amd64.deb
Size: 1312732
MD5sum: d1804081f31fa9e500c441ff5fa8f15c
SHA1: c154e35f001adb77e620654c764915f1bc9ba868
SHA256: 00d9579a7e3acde1c0e1c9deb717321b50717e987d2eac0561b2e36c4cfe5994
SHA512: afeb66aa85841bc7492c530d18fe1841de96ca889b7761e3f58124d52a4675c766c13f06d6f8a11b33f8cbe8f24d4720725248288b09b0e01e09ab90687b87f9
Homepage: http://askra.de/software/prooftree
Description: proof-tree visualization for Proof General
Description-md5: b27f2d4918792b35e6871a08a544fafa