How to Install and Uninstall eprover Package on Ubuntu 24.04 LTS (Noble Numbat)

Last updated: May 21,2024

1. Install "eprover" package

This tutorial shows how to install eprover on Ubuntu 24.04 LTS (Noble Numbat)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                eprover
            
                    
    
    Copied

2. Uninstall "eprover" package

This guide let you learn how to uninstall eprover on Ubuntu 24.04 LTS (Noble Numbat):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                eprover
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the eprover package on Ubuntu 24.04 LTS (Noble Numbat)

Package: eprover
Architecture: amd64
Version: 3.0.03+ds-1
Priority: optional
Section: universe/math
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Debian Math Team
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 11395
Depends: libc6 (>= 2.34), picosat (>= 959)
Filename: pool/universe/e/eprover/eprover_3.0.03+ds-1_amd64.deb
Size: 1624748
MD5sum: ee82dcf31bbbb2d95981588626593676
SHA1: 1c14970c48afa24021c9069a4c5992547c09427b
SHA256: e4bcc9b2864a0f055a62f267615e8745e8dd0f100ec960125a9cc436c141914f
SHA512: de384853aa1120c140ef77d7a77b18c53ce65f8b1215835c10bade17e28eeea60c3824869d676538cfa3fdb1bce727bbfaf664f95494045d390f7ace32cd6366
Homepage: https://eprover.org
Description: Equational theorem prover
Description-md5: 0e7c1235cc3655c49ff9e11c3f5cd2b7