How to Install and Uninstall spass Package on Linux Mint 21.3 (Virginia)

Last updated: May 17,2024

1. Install "spass" package

Please follow the steps below to install spass on Linux Mint 21.3 (Virginia)

$ sudo apt update $ sudo apt install spass

2. Uninstall "spass" package

Please follow the guidance below to uninstall spass on Linux Mint 21.3 (Virginia):

$ sudo apt remove spass $ sudo apt autoclean && sudo apt autoremove

3. Information about the spass package on Linux Mint 21.3 (Virginia)

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