How to Install and Uninstall spin Package on Ubuntu 20.04 LTS (Focal Fossa)

Last updated: May 14,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