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

Last updated: October 05,2024

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

MX Linux 23
SparkyLinux

1. Install "prooftree" package

This is a short guide on how to install prooftree on Debian 12 (Bookworm)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                prooftree
            
                    
    
    Copied

2. Uninstall "prooftree" package

Please follow the guidance below to uninstall prooftree on Debian 12 (Bookworm):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                prooftree
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

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

Package: prooftree
Source: prooftree (0.13-2)
Version: 0.13-2+b2
Installed-Size: 4973
Maintainer: Debian OCaml Maintainers
Architecture: amd64
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)
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+b2_amd64.deb
Size: 1084116
MD5sum: 4f5a51e1f7e50d15a6b75fdb90b5b324
SHA256: d69f374154c0892f5ae871d57ee1d74bb42a3a45555111ce04d71687cc67f088