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
Copied
$
sudo pacman -S
python-claripy
Copied
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
Copied
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
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