package zarith

1. conf-gmp
2. conf-pkg-config
3. ocamlfind
4. ocaml >= "4.07.0"

None

1. alonzo
2. alt-ergo < "2.3.0"
3. alt-ergo-free
4. alt-ergo-lib
5. altgr-ergo < "2.3.0"
6. anders >= "1.1.1"
7. archsat
8. asli
9. asn1-combinators < "0.3.0"
10. awa
11. awsm
12. bam
13. bap-mips >= "2.2.0"
14. bap-patterns
15. bap-powerpc
16. bap-primus-random >= "2.2.0"
17. bap-primus-symbolic-executor
18. bap-radare2
19. bap-std
20. bigdecimal
21. bignum >= "v0.13.0"
22. binsec
23. bitpack_serializer
24. bitvec
25. bitwuzla >= "1.0.0"
26. bitwuzla-cxx
27. bls12-381 < "18.0"
28. bls12-381-gen
29. bls12-381-js-gen < "0.4.2"
30. bls12-381-legacy
31. bls12-381-unix
32. bn128
33. caisar
34. calcium < "0.4.0"
35. calli
36. catala
37. cborl
38. class_group_vdf
39. cloudi >= "2.0.6"
40. clp_operations
41. colibri2
42. colibrics
43. colibrilib
44. coq >= "8.13.0" & < "8.17.0"
45. coq-core
46. coq-lsp >= "0.2.0+8.17" & != "0.2.0+8.20"
47. cryptokit
48. ctypes-zarith
49. data-encoding
50. decimal
51. dolmen_model
52. encoding
53. exenum >= "0.84"
54. farith
55. feat
56. ff
57. ff-pbt
58. ff-sig
59. flint
60. fm-simplex-plugin
61. frama-c
62. frama-clang
63. fstar
64. gemini
65. goblint
66. goblint-cil >= "1.7.4"
67. hacl
68. hacl-star
69. hardcaml
70. herdtools7 >= "7.57"
71. hol_light
72. jasmin
73. jose
74. karamel
75. kdl >= "0.2.0"
76. key-parsers
77. kremlin < "transition"
78. lem
79. letsencrypt < "0.3.0"
80. libzipperposition < "2.1"
81. logtk
82. malfunction
83. mc2
84. mec
85. mirage-crypto-pk
86. mopsa
87. nocrypto
88. obeam
89. ocplib-simplex >= "0.5.1"
90. orgeat
91. ortac-runtime
92. osdp
93. parsley
94. patricia-tree < "0.10.0"
95. pilat >= "1.6"
96. pkcs11 >= "0.10.0"
97. polynomial
98. ppx_pbt >= "0.2.1"
99. ppx_wideopen
100. prbnmcn-basic-structures
101. prbnmcn-proptest
102. primes
103. profiler-plugin
104. randii
105. rfc7748
106. safemoney
107. sail < "0.15"
108. satML-plugin
109. sexp_grammar >= "v0.16.0"
110. smtml
111. solidity-common
112. tezos-base58
113. tezos-context-hash
114. tezos-stdlib < "12.3"
115. tptp
116. voqc
117. why3 >= "1.8.0"
118. yices2
119. yices2_bindings
120. z3 >= "4.8.7"
121. zarith-ppx
122. zenon_modulo
123. zipperposition < "2.1"
124. zipperposition-tools < "2.1"

None