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