How to Install and Uninstall spin Package on Manjaro

Last updated: November 23,2024

1. Install "spin" package

Here is a brief guide to show you how to install spin on Manjaro


    
        
            $
        

        
            
                sudo pacman -Sy
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo pacman -S
            
                        
                spin
            
                    
    
    Copied

2. Uninstall "spin" package

Please follow the steps below to uninstall spin on Manjaro:


    
        
            $
        

        
            
                sudo pacman -Rcns
            
                        
                spin
            
                    
    
    Copied

3. Information about the spin package on Manjaro

Repository : extra
Name : spin
Version : 6.5.2-4
Description : Tool for the formal verification of distributed software
systems
Architecture : x86_64
URL : https://spinroot.com/
Licenses : custom:BSD3
Groups : None
Provides : None
Depends On : glibc
Optional Deps : tcl: ispin graphical interface
swarm: improved performance on large verification problems
ispin: GUI for Spin
Conflicts With : None
Replaces : None
Download Size : 399.71 KiB
Installed Size : 1398.72 KiB
Packager : Frederik Schwan
Build Date : Tue Jun 30 03:58:24 2020
Validated By : MD5 Sum SHA-256 Sum Signature