How to Install and Uninstall spin Package on Ubuntu 18.04 LTS (Bionic Beaver)

Last updated: May 13,2024

1. Install "spin" package

This guide covers the steps necessary to install spin on Ubuntu 18.04 LTS (Bionic Beaver)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                spin
            
                    
    
    Copied

2. Uninstall "spin" package

Please follow the steps below to uninstall spin on Ubuntu 18.04 LTS (Bionic Beaver):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                spin
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the spin package on Ubuntu 18.04 LTS (Bionic Beaver)

Package: spin
Architecture: amd64
Version: 6.4.6+dfsg-2
Priority: optional
Section: universe/devel
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Tom Lee
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 1734
Depends: libc6 (>= 2.14)
Breaks: staden (<< 2.0.0+b11)
Replaces: staden (<< 2.0.0+b11)
Filename: pool/universe/s/spin/spin_6.4.6+dfsg-2_amd64.deb
Size: 558978
MD5sum: c189351857bd7d25d1be1231cab5fd9d
SHA1: 94ff3cb0cce9f130269505e0b33311995d855045
SHA256: 32ae6c7ef5d2f75d7d0ff8f0711070b8ae1a2ba8c666ffda9da8f02a9c694935
Homepage: http://spinroot.com
Description: formal software verification tool
Description-md5: 6f4b806803aec0404f0de2b0f81b16b3