package bap-radare2

1. ogre = "2.5.0"
2. bitvec = "2.5.0"
3. bap-std = "2.5.0"
4. bap-relation = "2.5.0"
5. bap-main = "2.5.0"
6. bap-knowledge = "2.5.0"
7. bap-future = "2.5.0"
8. bap-core-theory = "2.5.0"
9. bap-arm = "2.5.0"
10. bap-abi = "2.5.0"
11. zarith
12. yojson
13. re
14. ppx_bap
15. ocaml >= "4.08.0"
16. core_kernel >= "v0.14" & < "v0.16"
17. conf-radare2

None

1. bap-extra >= "2.5.0"

None