notbugAs an Amazon Associate I earn from qualifying purchases.
Want a good read? Try FreeBSD Mastery: Jails (IT Mastery Book 15)
Ukraine
Port details
py-claripy Abstraction layer for constraint solvers
9.0.5405 math on this many watch lists=0 search for ports that depend on this port Find issues related to this port Report an issue related to this port View this port on Repology. pkg-fallout 9.0.5405Version of this port present on the latest quarterly branch.
There is no maintainer for this port.
Any concerns regarding this port should be directed to the FreeBSD Ports mailing list via ports@FreeBSD.org search for ports maintained by this maintainer
Port Added: 2020-03-07 00:00:24
Last Update: 2022-01-20 11:20:50
Commit Hash: 40502d0
Also Listed In: devel python
License: BSD2CLAUSE
Description:
SVNWeb : git : Homepage
pkg-plist: as obtained via: make generate-plist
There is no configure plist information for this port.
Dependency lines:
  • ${PYTHON_PKGNAMEPREFIX}claripy>0:math/py-claripy@${PY_FLAVOR}
To install the port:
cd /usr/ports/math/py-claripy/ && make install clean
To add the package, run one of these commands:
  • pkg install math/py-claripy
  • pkg install py38-claripy
NOTE: This is a Python port. Instead of py38-claripy listed in the above command, you can pick from the names under the Packages section.
PKGNAME: py38-claripy
Package flavors (<flavor>: <package>)
  • py38: py38-claripy
distinfo:
Packages (timestamps in pop-ups are UTC):
py37-claripy
ABIlatestquarterly
FreeBSD:11:aarch64-8.20.1.7_1
FreeBSD:11:amd64--
FreeBSD:11:armv6--
FreeBSD:11:i386--
FreeBSD:11:mips--
FreeBSD:11:mips64--
FreeBSD:12:aarch64--
FreeBSD:12:amd64--
FreeBSD:12:armv6-9.0.4446
FreeBSD:12:armv7--
FreeBSD:12:i386--
FreeBSD:12:mips--
FreeBSD:12:mips64--
FreeBSD:12:powerpc64-9.0.5405
FreeBSD:13:aarch64--
FreeBSD:13:amd64--
FreeBSD:13:armv6--
FreeBSD:13:armv7--
FreeBSD:13:i386--
FreeBSD:13:mips--
FreeBSD:13:mips64--
FreeBSD:13:powerpc649.0.4446-
FreeBSD:14:aarch64--
FreeBSD:14:amd64--
FreeBSD:14:armv6--
FreeBSD:14:armv7--
FreeBSD:14:i386--
FreeBSD:14:mips--
FreeBSD:14:mips64--
FreeBSD:14:powerpc649.0.5405-
 
py38-claripy
ABIlatestquarterly
FreeBSD:11:aarch64--
FreeBSD:11:amd649.0.54059.0.5405
FreeBSD:11:armv6--
FreeBSD:11:i386--
FreeBSD:11:mips--
FreeBSD:11:mips64--
FreeBSD:12:aarch64-9.0.5405
FreeBSD:12:amd649.0.54059.0.5405
FreeBSD:12:armv6--
FreeBSD:12:armv7--
FreeBSD:12:i386--
FreeBSD:12:mips--
FreeBSD:12:mips64--
FreeBSD:12:powerpc64--
FreeBSD:13:aarch649.0.54059.0.5405
FreeBSD:13:amd649.0.54059.0.5405
FreeBSD:13:armv6--
FreeBSD:13:armv7-9.0.5405
FreeBSD:13:i386--
FreeBSD:13:mips--
FreeBSD:13:mips64--
FreeBSD:13:powerpc64-9.0.5405
FreeBSD:14:aarch649.0.5405-
FreeBSD:14:amd649.0.5405-
FreeBSD:14:armv6--
FreeBSD:14:armv79.0.5405-
FreeBSD:14:i386--
FreeBSD:14:mips--
FreeBSD:14:mips64--
FreeBSD:14:powerpc64--
 

Dependencies
NOTE: FreshPorts displays only information on required and default dependencies. Optional dependencies are not covered.
Build dependencies:
  1. py38-setuptools>0 : devel/py-setuptools@py38
  2. python3.8 : lang/python38
Runtime dependencies:
  1. py38-cachetools>0 : devel/py-cachetools@py38
  2. py38-decorator>0 : devel/py-decorator@py38
  3. py38-future>0 : devel/py-future@py38
  4. py38-pysmt>0 : math/py-pysmt@py38
  5. py38-z3-solver>4.8.5.0 : math/py-z3-solver@py38
  6. py38-setuptools>0 : devel/py-setuptools@py38
  7. python3.8 : lang/python38
This port is required by:
for Run
  1. security/py-angr

Configuration Options:
Options name:

USES:

FreshPorts was unable to extract/find any pkg message
Master Sites:
Expand this list (1 items)
Collapse this list.
  1. https://codeload.github.com/angr/claripy/tar.gz/v9.0.5405?dummy=/
Collapse this list.

Number of commits found: 9

Commit History - (may be incomplete: see SVNWeb link above for full details)
DateByDescription
20 Jan 2022 11:20:50
 files touched by this commit commit hash:40502d0d506067f33a0c31b0bb50035a94bfd505  9.0.5405
Mateusz Piotrowski (0mp) search for other commits by this committer
angr: Return angr framework ports to the pool
13 Jul 2021 13:39:44
 files touched by this commit commit hash:eae623906cbfce158dc40f64793f738c4d3a6a42  9.0.5405
Mateusz Piotrowski (0mp) search for other commits by this committer
*: Use angr.mk in the ports tree
07 Apr 2021 08:09:01
 files touched by this commit commit hash:cf118ccf875508b9a1c570044c93cfcc82bd455c  9.0.5405
Mathieu Arnold (mat) search for other commits by this committer
One more small cleanup, forgotten yesterday.
Reported by:	lwhsu
06 Apr 2021 14:31:07
 files touched by this commit commit hash:305f148f482daf30dcf728039d03d019f88344eb  9.0.5405
Mathieu Arnold (mat) search for other commits by this committer
Remove # $FreeBSD$ from Makefiles.
16 Jan 2021 21:57:39
Original commit files touched by this commit Revision:561764  9.0.5405
0mp search for other commits by this committer
Update the Angr framework to 9.0.5405

- Angr binaries are now tagged as well. We may consider removing
  ANGR_BINARIES_TAGNAME in the future.
- Remove restrictions on the unicorn version for now. This should prevent
  the port from breaking again in the foreseeable future.

PR:		252042
Reported by:	nc
Event:		January 2021 Bugathon
25 Sep 2020 12:08:25
Original commit files touched by this commit Revision:550018  9.0.4446
0mp search for other commits by this committer
Update angr and its dependencies to 9.0.4446

Reported by:	Portscout
24 Sep 2020 16:08:35
Original commit files touched by this commit Revision:549925  9.0.4378
0mp search for other commits by this committer
Update the angr project ports to 9.0.4378

This patch introduces security/py-angr/Makefile.version file, which stores
the shared version of all the angr ports (as ANGR_VERSION). It also stores
the tagname of a distribution file, which is required for testing
(ANGR_BINARIES_TAGNAME).
08 Mar 2020 16:18:05
Original commit files touched by this commit Revision:528050  8.20.1.7_1
0mp search for other commits by this committer
Rename math/py-PySMT to math/py-pysmt

This is done in order to follow the policy set out by the Python team:
https://wiki.freebsd.org/Python/PortsPolicy#PORTNAME

Reported by:	koobs
07 Mar 2020 00:00:17
Original commit files touched by this commit Revision:527905  8.20.1.7
0mp search for other commits by this committer
New port: math/py-claripy

Claripy is an abstracted constraint-solving wrapper for Python.

It is being developed by the Angr project.

WWW: https://github.com/angr/claripy

PR:		244562

Number of commits found: 9