security/py-ailment 9.0.5405_3 FreeBSD
AIL, the angr Intermediate Language
- System
- FreeBSD
- Repository
- FreeBSD ports
- Maintainer
- [email protected]
- Last update
- Commit
c3ee0d25f0- License
- BSD2CLAUSE
- Categories
- security, devel, python
- Package size
- 35.0 KiB, 200.8 KiB installed
Description
AIL is the angr intermediate language.
It is developed within the angr project.
In the other systems
| System | Port | Version |
|---|---|---|
| FreeBSD | security/py-ailment | 9.0.5405_3 |
| DragonFly | security/py-ailment | 9.0.5405_1 |
Install
Binary package:
pkg install py312-ailmentFrom the ports tree:
cd /usr/ports/security/py-ailment/ && make install cleanTo depend on this port in another port's Makefile:
RUN_DEPENDS= py312-ailment>0:security/py-ailmentPackages
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.0.5405_3 | 9.0.5405_3 | 9.0.5405 | 9.0.5405_1 | 9.0.5405_3 |
| FreeBSD:14:quarterly | 9.0.5405_3 | 9.0.5405_3 | n/a | 9.0.5405_1 | 9.0.5405_3 |
| FreeBSD:15:latest | 9.0.5405_3 | 9.0.5405_3 | n/a | 9.0.5405_1 | 9.0.5405_1 |
| FreeBSD:15:quarterly | 9.0.5405_3 | 9.0.5405_3 | n/a | n/a | n/a |
| FreeBSD:16:latest | 9.0.5405_3 | 9.0.5405_3 | 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.
Test 4
${PYTHON_PKGNAMEPREFIX}angr>=${ANGR_VERSION}: security/py-angr${PYTHON_PKGNAMEPREFIX}archinfo>=${ANGR_VERSION}: devel/py-archinfo${PYTHON_PKGNAMEPREFIX}pyvex>=${ANGR_VERSION}: security/py-pyvexz3>0: math/z3
The full lists below include those, and their dependencies in turn.
Build dependencies 12
Run dependencies 7
Required by 1
Configuration
No options to configure.
- USES
- angr:binaries,nose gmake localbase python
- Service scripts
- none
Message after installing
===> NOTICE: The py312-ailment port currently does not have a maintainer. As a result, it is more likely to have unresolved issues, not be up-to-date, or even be removed in the future. To volunteer to maintain this port, please create an issue at: https://bugs.freebsd.org/bugzilla More information about port maintainership is available at: https://docs.freebsd.org/en/articles/contributing/#ports-contributing
Files
distinfo 2
| File | Size | SHA256 |
|---|---|---|
| angr-ailment-v9.0.5405_GH0.tar.gz | 10716 | 6ab6952fe68c7440d09765cb3cc4c95d3616fb393d9cfba1f3a5ca7b67f45cff |
| angr-binaries-v9.0.5405_GH0.tar.gz | 5.7764618e+07 | c6cf9e357450d485ff9f32bba6f495e7a0336178b6d8dde1bb16430da8b58efe |
Commit history 2
| 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) |