package zarith

1. ocamlfind
2. conf-gmp
3. ocaml < "4.03.0"

None

1. alt-ergo != "1.30" & < "2.3.0"
2. alt-ergo-lib < "2.4.1"
3. alt-ergo-lib-free
4. altgr-ergo < "1.30"
5. archsat
6. asli
7. asn1-combinators < "0.3.0"
8. awa
9. awsm
10. bamboo < "0.0.02"
11. bap < "1.0.0"
12. bap-mips >= "2.2.0"
13. bap-patterns
14. bap-powerpc
15. bap-primus-random >= "2.2.0"
16. bap-primus-symbolic-executor
17. bap-radare2
18. bap-std
19. bignum < "113.24.00"
20. binsec < "0.4.0"
21. bitwuzla >= "1.0.0"
22. bitwuzla-cxx
23. bn128
24. bt
25. calli
26. clp_operations
27. ctypes-zarith
28. dht < "0.2.0"
29. exenum >= "0.84"
30. farith
31. feat
32. fm-simplex-plugin < "1.30"
33. frama-c >= "11.0" & != "15.0" & < "23.0"
34. frama-c-base >= "15.0"
35. fstar >= "0.9.3.0-beta1"
36. gemini
37. goblint-cil >= "1.7.4"
38. hacl-star
39. jose
40. karamel
41. key-parsers < "0.4.0"
42. kremlin < "transition"
43. letsencrypt < "0.3.0"
44. libzipperposition < "2.1"
45. logtk
46. malfunction
47. nocrypto != "0.4.0"
48. ocplib-simplex >= "0.5.1"
49. ortac-runtime
50. osdp < "1.1.0"
51. parsley
52. pilat < "1.6"
53. pkcs11 >= "0.10.0"
54. ppx_wideopen
55. primes
56. profiler-plugin < "1.30"
57. sail < "0.15"
58. satML-plugin < "1.30"
59. scaml
60. solidity-common
61. tezos-base58
62. tezos-context-hash
63. tezos-crypto < "8.0"
64. tezos-protocol-environment >= "8.0" & < "11.0"
65. tezos-stdlib < "11.0"
66. tptp
67. voqc < "0.2.1"
68. why3 >= "0.84" & < "1.0.0"
69. yices2
70. yices2_bindings
71. z3 >= "4.8.7"
72. zarith-ppx
73. zipperposition < "2.1"
74. zipperposition-tools < "2.1"

None