Arch Linux User Repository

Search Criteria

Enter search criteria

Search by

Keywords

Out of Date

Sort by

Sort order

Per page

Package Details: python-claripy-git 8.20.7.27.r2075.d04d9177-1

Package Actions

Git Clone URL:	https://aur.archlinux.org/python-claripy-git.git (read-only, click to copy)
Package Base:	python-claripy-git
Description:	An abstraction layer for constraint solvers.
Upstream URL:	https://github.com/angr/claripy
Licenses:	BSD
Conflicts:	python-claripy
Provides:	python-claripy
Submitter:	lockshaw
Maintainer:	ldr709
Last Packager:	ldr709
Votes:	0
Popularity:	0.000000
First Submitted:	2019-02-05 04:28 (UTC)
Last Updated:	2022-10-23 03:37 (UTC)

Dependencies (8)

python (python32^AUR, python37^AUR, python310^AUR)
python-cachetools
python-future
python-z3-solver (z3-git^AUR)
git (git-git^AUR) (make)
python-build (make)
python-installer (python-installer-git^AUR) (make)
python-wheel (make)

Required by (2)

python-angr (requires python-claripy)
python-angr-git

Sources (1)

python-claripy-git

Latest Comments

MarsSeed commented on 2023-08-03 15:52 (UTC)

Dependency python-future is no longer required.

ldr709 commented on 2021-01-17 02:24 (UTC)

Now that the python-z3-solver-angr package is gone, could you please change the dependencies?

ldr709 commented on 2020-02-02 03:42 (UTC)

I got the following error when using this package to add constraints to angr.

AttributeError: module 'z3' has no attribute 'Z3_get_symbol_string_bytes'

When I locally switched the dependency to python3-z3 instead, the problem went away. Could you either switch the dependency on this package or update python-z3-solver-angr?