1. zarith>= "1.4"
2. oasisbuild & >= "0.4.7"
3. ocaml>= "4.08.0"

None

1. bap-analyze>= "2.5.0"
2. bap-arm>= "2.5.0"
3. bap-bil>= "2.5.0"
4. bap-core-theory>= "2.5.0"
5. bap-mc>= "2.5.0"
6. bap-objdump>= "2.5.0"
7. bap-patterns>= "2.5.0"
8. bap-powerpc>= "2.5.0"
9. bap-primus>= "2.5.0"
10. bap-primus-lisp>= "2.5.0"
11. bap-primus-random>= "2.5.0"
12. bap-primus-symbolic-executor< "2.2.0" | >= "2.5.0"
13. bap-radare2>= "2.5.0"
14. bap-relocatable>= "2.5.0"
15. bap-std>= "2.5.0"
16. bap-stub-resolver>= "2.5.0"
17. bap-systemz>= "2.5.0"
18. bap-thumb>= "2.5.0"
19. bap-x86>= "2.5.0"
20. bitvec-binprot< "2.2.0" | >= "2.5.0"
21. bitvec-order< "2.2.0" | >= "2.5.0"
22. bitvec-sexp< "2.2.0" | >= "2.5.0"

None