%FILENAME%
manticore-1:0.3.7.r87.g066bfcf-1-any.pkg.tar.zst

%NAME%
manticore

%BASE%
manticore

%VERSION%
1:0.3.7.r87.g066bfcf-1

%DESC%
Symbolic execution tool.

%GROUPS%
blackarch
blackarch-binary

%CSIZE%
382220

%ISIZE%
1971886

%SHA256SUM%
f94e9ffefc208686d20d68623cea0c9e7d4ec089d0c60f7f127c3c368f0bf29d

%URL%
https://github.com/trailofbits/manticore

%LICENSE%
AGPL-3.0-or-later

%ARCH%
any

%BUILDDATE%
1771112485

%PACKAGER%
Levon Kayan <noptrix@nullsecurity.net>

%DEPENDS%
python
python-yaml
python-protobuf
python-pysha3
python-cbor2
python-prettytable
python-ply
python-rlp
python-intervaltree
python-crytic-compile
python-wasm
python-pyevmasm
python-z3-solver
python-capstone
python-unicorn
python-pyelftools
python-redis

%MAKEDEPENDS%
git
python-setuptools

