How to Install and Uninstall spin Package on Ubuntu 20.04 LTS (Focal Fossa)
Last updated: November 26,2024
1. Install "spin" package
Please follow the guidelines below to install spin on Ubuntu 20.04 LTS (Focal Fossa)
$
sudo apt update
Copied
$
sudo apt install
spin
Copied
2. Uninstall "spin" package
Please follow the guidelines below to uninstall spin on Ubuntu 20.04 LTS (Focal Fossa):
$
sudo apt remove
spin
Copied
$
sudo apt autoclean && sudo apt autoremove
Copied
3. Information about the spin package on Ubuntu 20.04 LTS (Focal Fossa)
Package: spin
Architecture: amd64
Version: 6.4.9+dfsg-1
Priority: optional
Section: universe/devel
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Tom Lee
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 1590
Depends: libc6 (>= 2.14)
Breaks: staden (<< 2.0.0+b11)
Replaces: staden (<< 2.0.0+b11)
Filename: pool/universe/s/spin/spin_6.4.9+dfsg-1_amd64.deb
Size: 405376
MD5sum: 992c0e91ca116ace31a1ed0d5140d252
SHA1: c8037cfecb9e6985ae2fbbd5f5e064f54ed93901
SHA256: d694d1d29359bf2d87942ae7412fc66b3e77acdeac71d32472ffcc7d11845f48
Homepage: http://spinroot.com
Description: formal software verification tool
Description-md5: 6f4b806803aec0404f0de2b0f81b16b3
Architecture: amd64
Version: 6.4.9+dfsg-1
Priority: optional
Section: universe/devel
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Tom Lee
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 1590
Depends: libc6 (>= 2.14)
Breaks: staden (<< 2.0.0+b11)
Replaces: staden (<< 2.0.0+b11)
Filename: pool/universe/s/spin/spin_6.4.9+dfsg-1_amd64.deb
Size: 405376
MD5sum: 992c0e91ca116ace31a1ed0d5140d252
SHA1: c8037cfecb9e6985ae2fbbd5f5e064f54ed93901
SHA256: d694d1d29359bf2d87942ae7412fc66b3e77acdeac71d32472ffcc7d11845f48
Homepage: http://spinroot.com
Description: formal software verification tool
Description-md5: 6f4b806803aec0404f0de2b0f81b16b3