package zarith

1. conf-gmp
2. ocamlfind
3. ocaml >= "4.04.0"

None

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

None