How to Install and Uninstall spin Package on Debian 10 (Buster)

Last updated: December 23,2024

1. Install "spin" package

Here is a brief guide to show you how to install spin on Debian 10 (Buster)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                spin
            
                    
    
    Copied

2. Uninstall "spin" package

Please follow the instructions below to uninstall spin on Debian 10 (Buster):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                spin
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the spin package on Debian 10 (Buster)

Package: spin
Version: 6.4.9+dfsg-1
Installed-Size: 1582
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.4.9+dfsg-1_amd64.deb
Size: 403392
MD5sum: 8a185c83785dc831aea43fab63b47334
SHA256: 6c4f5e66519488cf710072b3cee5b95040e819e7df452521be97269b0b23cff4