tla-tools on AUR (Arch User Repository)

Last updated: November 07,2024

1. Install "tla-tools" effortlessly via AUR with the help of a helper(YAY)

a. Install YAY (https://github.com/Jguer/yay)


    
        
            $
        

        
            
                sudo pacman -S --needed git base-devel && git clone https://aur.archlinux.org/yay.git && cd yay && makepkg -si
            
                    
    
    Copied

b. Install tla-tools on Arch using YAY

* (Optional) Uninstall tla-tools on Arch using YAY

2. Manually Install "tla-tools" via AUR

a. Ensure you have the base development tools and git installed with:


    
        
            $
        

        
            
                sudo pacman -S --needed
            
                        
                base-devel git
            
                    
    
    Copied

b. Clone tla-tools's git locally


    
        
            $
        

        
            
                git clone https://aur.archlinux.org/tla-tools.git 
            
                        
                ~/tla-tools
            
                    
    
    Copied

c. Go to ~/tla-tools folder and install it


   
    
        
            $
        

        
            
                cd
            
                        
                ~/tla-tools
            
                    
    
    Copied

    

   
    
        
            $
        

        
            
                makepkg -si
            
                    
    
    Copied

3. Information about the tla-tools package on Arch User Repository (AUR)

ID: 1230047
Name: tla-tools
PackageBaseID: 48247
PackageBase: tla-tools
Version: 1.7.3-1
Description: Tools for the TLA+2 language (SANY, TLC, PlusCal translator and TLATeX)
URL: http://research.microsoft.com/en-us/um/people/lamport/tla/tools.html
NumVotes: 8
Popularity: 0.208524
OutOfDate:
Maintainer: japgolly
Submitter: alub
FirstSubmitted: 1302818841
LastModified: 1679425215
URLPath: /cgit/aur.git/snapshot/tla-tools.tar.gz