How to Install and Uninstall spass Package on Linux Mint 20.3 (Una)

Last updated: December 23,2024

1. Install "spass" package

This guide let you learn how to install spass on Linux Mint 20.3 (Una)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                spass
            
                    
    
    Copied

2. Uninstall "spass" package

Please follow the instructions below to uninstall spass on Linux Mint 20.3 (Una):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                spass
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the spass package on Linux Mint 20.3 (Una)

Package: spass
Architecture: amd64
Version: 3.7-4
Priority: optional
Section: universe/science
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Debian Science Maintainers
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 3849
Depends: dpkg (>= 1.15.4) | install-info, libc6 (>= 2.14)
Filename: pool/universe/s/spass/spass_3.7-4_amd64.deb
Size: 1003264
MD5sum: 4a8411fde525b48a34634cb8eace18ea
SHA1: 3e632f7a4916dbd79dd62602fac4a26852f2b08c
SHA256: b58c9db85481cc7f6ee7751588c072aa2a18187c042307cb0f4889f0e140b132
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