How to Install and Uninstall spass Package on Ubuntu 22.04 LTS (Jammy Jellyfish)

Last updated: December 23,2024

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

Kubuntu 22.04 LTS
Lubuntu 22.04 LTS
Xubuntu 22.04 LTS
Ubuntu MATE 22.04 LTS
Ubuntu Studio 22.04 LTS
Pop!_OS 22.04 LTS
Zorin OS 16 / Zorin OS 17
Ubuntu Budgie 22.04

1. Install "spass" package

Learn how to install spass on Ubuntu 22.04 LTS (Jammy Jellyfish)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                spass
            
                    
    
    Copied

2. Uninstall "spass" package

Learn how to uninstall spass on Ubuntu 22.04 LTS (Jammy Jellyfish):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                spass
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the spass package on Ubuntu 22.04 LTS (Jammy Jellyfish)

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