BSD Portsmath/py-claripy 9.2.219_2 FreeBSD
Abstraction layer for constraint solvers
- System
- FreeBSD
- Repository
- FreeBSD ports
- Maintainer
- [email protected]
- Last update
- Commit
c3ee0d25f0- License
- BSD2CLAUSE
- Categories
- math, devel, python
- Package size
- 316.3 KiB, 2149.2 KiB installed
Description
Claripy is an abstracted constraint-solving wrapper for Python.
It is being developed by the Angr project.
In the other systems
| System | Port | Version |
|---|---|---|
| FreeBSD | math/py-claripy | 9.2.219_2 |
| NetBSD | math/py-claripy | 9.2.150 |
| DragonFly | math/py-claripy | 9.0.5405 |
Install
Binary package:
pkg install py312-claripyFrom the ports tree:
cd /usr/ports/math/py-claripy/ && make install cleanTo depend on this port in another port's Makefile:
RUN_DEPENDS= py312-claripy>0:math/py-claripyPackages
The version each package repository carries. “-” means the repository builds no package of it, “n/a” that there is no such repository.
| Repository | aarch64 | amd64 | armv6 | armv7 | i386 |
|---|---|---|---|---|---|
| FreeBSD:14:latest | 9.2.219_2 | 9.2.219_2 | 9.0.5405 | 9.0.5405_1 | 9.2.219_2 |
| FreeBSD:14:quarterly | 9.2.219_2 | 9.2.219_2 | n/a | 9.0.5405_1 | 9.2.219_2 |
| FreeBSD:15:latest | 9.2.219_2 | 9.2.219_2 | n/a | 9.0.5405_1 | 9.0.5405_1 |
| FreeBSD:15:quarterly | 9.2.219_2 | 9.2.219_2 | n/a | n/a | n/a |
| FreeBSD:16:latest | 9.2.219_2 | 9.2.219_2 | n/a | n/a | n/a |
| FreeBSD:16:quarterly | n/a | n/a | n/a | n/a | n/a |
Dependencies
As this port's Makefile names them.
Build 1
${PYTHON_PKGNAMEPREFIX}wheel>0: devel/py-wheel
Runtime 2
${PYTHON_PKGNAMEPREFIX}cachetools>0: devel/py-cachetools${PYTHON_PKGNAMEPREFIX}z3-solver>=4.13.0.0: math/py-z3-solver
Test 1
z3>4.8.5.0: math/z3
The full lists below include those, and their dependencies in turn.
Build dependencies 16
Run dependencies 10
Required by 1
Configuration
No options to configure.
- USES
- angr:nose python
- Service scripts
- none
Files
distinfo 1
| File | Size | SHA256 |
|---|---|---|
| angr-claripy-v9.2.219_GH0.tar.gz | 176149 | 231ab1ebd35cb1d3b347533018fc147c23c935679c1650ee74650fde7c5129b5 |
Commit history 3
| Date | Commit | Credits | Log message |
|---|---|---|---|
c3ee0d25f0 |
Älven | math/z3: Update 5.0.0.0 => 5.1.0.0 Approved by: arrowd@ (maintainer)
Approved by: db@, yuri@ (Mentors, implicit)
Differential Revision: https://reviews.freebsd.org/D58886 |
|
dfa5362257 |
Yuri Victorovich | math/z3: update 4.16.0.0 → 5.0.0.0 PR: 297106
Approved by: Gleb Popov <[email protected]> (maintainer) |
|
a34402e65a |
Muhammad Moinur Rahman | math/py-claripy: Update version 9.0.5405=>9.2.219 - Adopt port
Changelog: https://github.com/angr/claripy/releases/tag/v9.2.219 |