How to Install and Uninstall spin Package on Debian 11 (Bullseye)
Last updated: March 14,2025
1. Install "spin" package
This guide covers the steps necessary to install spin on Debian 11 (Bullseye)
$
sudo apt update
Copied
$
sudo apt install
spin
Copied
2. Uninstall "spin" package
Here is a brief guide to show you how to uninstall spin on Debian 11 (Bullseye):
$
sudo apt remove
spin
Copied
$
sudo apt autoclean && sudo apt autoremove
Copied
3. Information about the spin package on Debian 11 (Bullseye)
Package: spin
Version: 6.5.2+dfsg-1
Installed-Size: 1543
Maintainer: Tom Lee
Architecture: amd64
Replaces: staden (<< 2.0.0+b11)
Depends: libc6 (>= 2.14)
Breaks: staden (<< 2.0.0+b11)
Description: formal software verification tool
Description-md5: 6f4b806803aec0404f0de2b0f81b16b3
Homepage: http://spinroot.com
Section: devel
Priority: optional
Filename: pool/main/s/spin/spin_6.5.2+dfsg-1_amd64.deb
Size: 445228
MD5sum: 5801fbec38d2ece0a660f6513cfd0cd5
SHA256: 55452ba139bae09a165363fdee18fe496913b4ae441d122280fbcbb48556502f
Version: 6.5.2+dfsg-1
Installed-Size: 1543
Maintainer: Tom Lee
Architecture: amd64
Replaces: staden (<< 2.0.0+b11)
Depends: libc6 (>= 2.14)
Breaks: staden (<< 2.0.0+b11)
Description: formal software verification tool
Description-md5: 6f4b806803aec0404f0de2b0f81b16b3
Homepage: http://spinroot.com
Section: devel
Priority: optional
Filename: pool/main/s/spin/spin_6.5.2+dfsg-1_amd64.deb
Size: 445228
MD5sum: 5801fbec38d2ece0a660f6513cfd0cd5
SHA256: 55452ba139bae09a165363fdee18fe496913b4ae441d122280fbcbb48556502f