%FILENAME%
klee-2.1-2-x86_64.pkg.tar.zst

%NAME%
klee

%BASE%
klee

%VERSION%
2.1-2

%DESC%
A symbolic virtual machine built on top of the LLVM compiler infrastructure.

%GROUPS%
blackarch
blackarch-binary
blackarch-reversing
blackarch-debugger

%CSIZE%
1984822

%ISIZE%
7638696

%MD5SUM%
d5d942e9b23bdabd24402e4486b4fc72

%SHA256SUM%
f4c73366cd4ffa1a46f34e65c83a4957a97c6ad351d27355f8616ba11584e3ee

%PGPSIG%
iQIzBAABCAAdFiEE+abminETVNhKm5FjdTO6/mmiUHkFAl6yHsgACgkQdTO6/mmiUHlNXA/+OJQvY10MoKZ2Xq4Whqp+6zA8mqH0mrV3ebyWlJMnTPCofHd46T0iULOml3JavlaEqwFYLePB4rORpyJ8seINbTwP7e4u1kvHxTxw8j6LPs8QOwRYTJcmoZQiXGS7NnWXWLACfusBfGNwnAQvZaJ8PtxK88EeWHN6rHX3xaI/3Xgr9iJEhw+TKfN3+f2vMYkncaZgijRUIt92x8vr+pTM45GwX2i+8XpFtKTtJjELz0nuUKn/jqkKNGVhqJdoxdRDrD0uWfK3fhQvXbVafMhsNHyXsFE0O9QtTlJbOD7MHElzxEucm2n3nloikE8MILq/ZjkyLAy64IOJ2ZEQQla3iWeM27VpnASVxz9MY8ZgxtzYLu32h9RH+fYHtLJg6aaF818w7p/IUONyaouglL6s9FGU3waLcicr9DBTaZQRhkWY2lnttZGBwLsDErk548KP7Q0u68UdmWeACy4BkY0XhIYag/Lkkx17UffqrdOcj5wYZG1rJmJgRZb4ZPGUm826vfcTNtD88cdfSCLexpg7WD0Pv7J40lXSyQrYijgcAv5k7Qjyci+42nXAQBs1oOjHn5rqPYgTjpDUSBvhTkkxEEbyjaicBmoMrOqd6kUw4B8pmAJaD9Vurkuykq8j2XxLeC+77wDcnodtWKNR6bjzIGEGtkK/z6lAUEwoqFJgT4o=

%URL%
https://github.com/klee/klee

%LICENSE%
custom:UIUC

%ARCH%
x86_64

%BUILDDATE%
1588729583

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

%DEPENDS%
gperftools
z3
libcap
python
llvm-libs
klee-uclibc
sqlite

%MAKEDEPENDS%
llvm
clang
cmake
git

