%FILENAME%
manticore-1:0.3.7.r88.gcdf6c4b-1-any.pkg.tar.zst

%NAME%
manticore

%BASE%
manticore

%VERSION%
1:0.3.7.r88.gcdf6c4b-1

%DESC%
Symbolic execution tool.

%GROUPS%
blackarch
blackarch-binary

%CSIZE%
382195

%ISIZE%
1971362

%SHA256SUM%
4d1e4a00b2a735f8aad2fdd3c7a8a3fb5ed626b4766affdeed1a6c39378f03dd

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

%LICENSE%
AGPL-3.0-or-later

%ARCH%
any

%BUILDDATE%
1782738031

%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

