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

Last updated: May 20,2024

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

MX Linux 23
SparkyLinux

1. Install "spass" package

Please follow the steps below to install spass on Debian 12 (Bookworm)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                spass
            
                    
    
    Copied

2. Uninstall "spass" package

This guide covers the steps necessary to uninstall spass on Debian 12 (Bookworm):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                spass
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

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

Package: spass
Version: 3.9-1.1
Installed-Size: 758
Maintainer: Debian Science Maintainers
Architecture: amd64
Depends: libc6 (>= 2.14)
Description: automated theorem prover for first-order logic with equality
Description-md5: bc89b2923428eac81fa58fc7ea00984e
Homepage: http://www.mpi-inf.mpg.de/departments/automation-of-logic/software/spass-workbench/classic-spass-theorem-prover/
Tag: field::mathematics
Section: science
Priority: optional
Filename: pool/main/s/spass/spass_3.9-1.1_amd64.deb
Size: 293032
MD5sum: 0990b08c9b029caf6aa61f2a238f522b
SHA256: c3479f5954b4208fe6e70de259864749a6ff13bb329ecf5288c67d644e23d882