How to Install and Uninstall python-claripy Package on Manjaro

Last updated: November 26,2024

1. Install "python-claripy" package

Please follow the guidance below to install python-claripy on Manjaro


    
        
            $
        

        
            
                sudo pacman -Sy
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo pacman -S
            
                        
                python-claripy
            
                    
    
    Copied

2. Uninstall "python-claripy" package

In this section, we are going to explain the necessary steps to uninstall python-claripy on Manjaro:


    
        
            $
        

        
            
                sudo pacman -Rcns
            
                        
                python-claripy
            
                    
    
    Copied

3. Information about the python-claripy package on Manjaro

Repository : extra
Name : python-claripy
Version : 9.2.69-1
Description : Abstraction layer for constraint solvers
Architecture : any
URL : https://github.com/angr/claripy
Licenses : custom:BSD2
Groups : None
Provides : None
Depends On : python python-cachetools python-decorator python-pysmt
python-z3-solver
Optional Deps : None
Conflicts With : None
Replaces : None
Download Size : 360.00 KiB
Installed Size : 2453.92 KiB
Packager : Antonio Rojas
Build Date : Sat Sep 23 09:46:50 2023
Validated By : MD5 Sum SHA-256 Sum Signature