How to Install and Uninstall prooftree Package on Debian 11 (Bullseye)

Last updated: May 17,2024

1. Install "prooftree" package

Please follow the guidelines below to install prooftree on Debian 11 (Bullseye)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                prooftree
            
                    
    
    Copied

2. Uninstall "prooftree" package

This guide covers the steps necessary to uninstall prooftree on Debian 11 (Bullseye):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                prooftree
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the prooftree package on Debian 11 (Bullseye)

Package: prooftree
Source: prooftree (0.13-2)
Version: 0.13-2+b1
Installed-Size: 4973
Maintainer: Debian OCaml Maintainers
Architecture: amd64
Depends: proofgeneral (>= 4.3~pre130510), coq (>= 8.4), libc6 (>= 2.29), libgdk-pixbuf2.0-0 (>= 2.22.0), libglib2.0-0 (>= 2.35.9), libgtk2.0-0 (>= 2.24.32), libpango-1.0-0 (>= 1.22.0)
Description: proof-tree visualization for Proof General
Description-md5: b27f2d4918792b35e6871a08a544fafa
Homepage: http://askra.de/software/prooftree
Tag: uitoolkit::gtk
Section: science
Priority: optional
Filename: pool/main/p/prooftree/prooftree_0.13-2+b1_amd64.deb
Size: 1086312
MD5sum: fb8ac8f8a4298c5c5cdd21ba9a51efd7
SHA256: 2fc089bfa925b16a1d123728241eca06a24ceb33c73c2b13d683e4e4e2f27fef