How to Install and Uninstall agda Package on Manjaro

Last updated: May 14,2024

1. Install "agda" package

Please follow the guidelines below to install agda on Manjaro


    
        
            $
        

        
            
                sudo pacman -Sy
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo pacman -S
            
                        
                agda
            
                    
    
    Copied

2. Uninstall "agda" package

Please follow the guidelines below to uninstall agda on Manjaro:


    
        
            $
        

        
            
                sudo pacman -Rcns
            
                        
                agda
            
                    
    
    Copied

3. Information about the agda package on Manjaro

Repository : extra
Name : agda
Version : 2.6.4-9
Description : A dependently typed functional programming language and proof
assistant
Architecture : x86_64
URL : https://wiki.portal.chalmers.se/agda/
Licenses : custom
Groups : None
Provides : None
Depends On : ghc-libs ghc haskell-stmonadtrans haskell-aeson
haskell-ansi-terminal haskell-async haskell-blaze-html
haskell-boxes haskell-case-insensitive haskell-cpphs
haskell-data-hash haskell-dlist haskell-edit-distance
haskell-equivalence haskell-gitrev haskell-hashable
haskell-monad-control haskell-murmur-hash haskell-parallel
haskell-peano haskell-regex-tdfa haskell-split
haskell-strict haskell-time-compat
haskell-unordered-containers haskell-uri-encode
haskell-vector haskell-vector-hashtables haskell-zlib
haskell-text-icu
Optional Deps : agda-stdlib: for standard library
Conflicts With : None
Replaces : None
Download Size : 29.03 MiB
Installed Size : 313.84 MiB
Packager : Felix Yan
Build Date : Wed Jan 10 17:42:41 2024
Validated By : MD5 Sum SHA-256 Sum Signature