How to Install and Uninstall python-claripy Package on Arch Linux

Last updated: November 07,2024

1. Install "python-claripy" package

Please follow the instructions below to install python-claripy on Arch Linux

$ sudo pacman -Sy $ sudo pacman -S python-claripy

2. Uninstall "python-claripy" package

Here is a brief guide to show you how to uninstall python-claripy on Arch Linux:

$ sudo pacman -Rcns python-claripy

3. Information about the python-claripy package on Arch Linux

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