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

Last updated: November 13,2024

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

MX Linux 23
SparkyLinux

1. Install "eprover" package

Please follow the instructions below to install eprover on Debian 12 (Bookworm)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                eprover
            
                    
    
    Copied

2. Uninstall "eprover" package

This is a short guide on how to uninstall eprover on Debian 12 (Bookworm):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                eprover
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

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

Package: eprover
Version: 2.6+ds-3
Installed-Size: 11346
Maintainer: Debian Math Team
Architecture: amd64
Depends: libc6 (>= 2.33), picosat (>= 959)
Description: Equational theorem prover
Description-md5: 0e7c1235cc3655c49ff9e11c3f5cd2b7
Homepage: https://eprover.org
Section: math
Priority: optional
Filename: pool/main/e/eprover/eprover_2.6+ds-3_amd64.deb
Size: 978592
MD5sum: 5d88e87a2c1e813ac23974a7ab063099
SHA256: b3468fd0b0c59c451ea05867f4820af40ba826ac2ce2577533a6059a658b4c55