How to Install and Uninstall spin Package on Debian 12 (Bookworm)

Last updated: February 24,2025

You can also install and uninstall the spin on the following distributions in the same way, as they are all based on the Debian system

MX Linux 23
SparkyLinux

1. Install "spin" package

In this section, we are going to explain the necessary steps to install spin on Debian 12 (Bookworm)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                spin
            
                    
    
    Copied

2. Uninstall "spin" package

This tutorial shows how to uninstall spin on Debian 12 (Bookworm):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                spin
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the spin package on Debian 12 (Bookworm)

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