How to Install and Uninstall eprover Package on Ubuntu 22.10 (Kinetic Kudu)

Last updated: November 22,2024

1. Install "eprover" package

Please follow the guidelines below to install eprover on Ubuntu 22.10 (Kinetic Kudu)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                eprover
            
                    
    
    Copied

2. Uninstall "eprover" package

Please follow the guidance below to uninstall eprover on Ubuntu 22.10 (Kinetic Kudu):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                eprover
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the eprover package on Ubuntu 22.10 (Kinetic Kudu)

Package: eprover
Architecture: amd64
Version: 2.6+ds-3
Priority: optional
Section: universe/math
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Debian Math Team
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 12026
Depends: libc6 (>= 2.34), picosat (>= 959)
Filename: pool/universe/e/eprover/eprover_2.6+ds-3_amd64.deb
Size: 1097372
MD5sum: 8048da9db14261885d9408b8a0b069a7
SHA1: 697a818c9a83b55987576834b6860b90224fc561
SHA256: 181dd61e104f1dbfaea00ea82b543f6e1ba4dfc6fb9206734398e720416bffde
SHA512: 5fee837a2ba745ae3a42eb7419c120eff6b7d582335d81ee34089ecd3e4c0180dab1e6c2e59540b300a5e72eb611abbfabeb707a663d9d9c94e30bca8780732f
Homepage: https://eprover.org
Description: Equational theorem prover
Description-md5: 0e7c1235cc3655c49ff9e11c3f5cd2b7