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

Last updated: December 23,2024

1. Install "spass" package

This tutorial shows how to install spass on Ubuntu 22.10 (Kinetic Kudu)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                spass
            
                    
    
    Copied

2. Uninstall "spass" package

In this section, we are going to explain the necessary steps to uninstall spass on Ubuntu 22.10 (Kinetic Kudu):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                spass
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

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

Package: spass
Architecture: amd64
Version: 3.9-1.1
Priority: optional
Section: universe/science
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Debian Science Maintainers
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 770
Depends: libc6 (>= 2.14)
Filename: pool/universe/s/spass/spass_3.9-1.1_amd64.deb
Size: 295864
MD5sum: 060f496783014c0ecd0ebdc8f37b0d4c
SHA1: da3b5557228e8fdae5c9f3b1cdb24f138496c733
SHA256: ec0687747ff745c90be09d3a12e2afabfdaee3a340be6ee0622483f1e4ccbf20
SHA512: cacc937a9679c3ab3c153e375796d56f24e9d4c84b6c786c411365040e65f7656b2a493bcb2c3d32ea320db721d8bccb32b4cd3d67346b4af6de95f187966fb0
Homepage: http://www.mpi-inf.mpg.de/departments/automation-of-logic/software/spass-workbench/classic-spass-theorem-prover/
Description: automated theorem prover for first-order logic with equality
Description-md5: bc89b2923428eac81fa58fc7ea00984e