Complete Guide: Installing ispin on Manjaro 2024

1. Install "ispin" package

Please follow the guidance below to install ispin on Manjaro


    
        
            $
        

        
            
                sudo pacman -Sy
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo pacman -S
            
                        
                ispin
            
                    
    
    Copied

2. Uninstall "ispin" package

Please follow the guidelines below to uninstall ispin on Manjaro:


    
        
            $
        

        
            
                sudo pacman -Rcns
            
                        
                ispin
            
                    
    
    Copied

3. Information about the ispin package on Manjaro

Repository : extra
Name : ispin
Version : 6.5.0-2
Description : New Tcl/Tk GUI for Spin replacing xSpin
Architecture : any
URL : https://spinroot.com/
Licenses : custom:SPIN
Groups : None
Provides : None
Depends On : spin>=6.0 tk>=8.5 gcc
Optional Deps : graphviz: recommended, provides dot tool for automata view
curl: for version check information
Conflicts With : None
Replaces : None
Download Size : 50.22 KiB
Installed Size : 222.57 KiB
Packager : Frederik Schwan
Build Date : Tue Jun 30 04:01:03 2020
Validated By : MD5 Sum SHA-256 Sum Signature