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
4. alt-ergo-lib
5. altgr-ergo < "2.3.0"
6. anders >= "1.1.1"
7. archsat
8. asli
9. asn1-combinators < "0.3.1"
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" | >= "20.1"
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 < "9.0.0"
46. coq-lsp >= "0.2.0+8.17" & != "0.2.0+8.20" & < "0.2.3+8.17" | >= "0.2.3+9.0"
47. cryptokit
48. ctypes-zarith
49. data-encoding
50. decimal
51. dolmen_model
52. exenum >= "0.84"
53. farith
54. feat
55. ff
56. ff-pbt
57. ff-sig
58. flint
59. fm-simplex-plugin
60. frama-c
61. frama-clang
62. fstar < "2025.02.17"
63. gemini
64. giflib
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. libzipperposition < "2.1"
80. logtk
81. malfunction
82. mc2
83. mec
84. mirage-crypto-pk
85. mopsa
86. nocrypto
87. obeam
88. ocplib-simplex >= "0.5.1"
89. octez-l2-libs >= "20.1"
90. octez-libs >= "20.1"
91. octez-proto-libs >= "20.1"
92. orgeat
93. ortac-runtime
94. osdp
95. parsley
96. patricia-tree < "0.10.0"
97. pilat >= "1.6"
98. pkcs11 >= "0.10.0"
99. polynomial
100. ppx_pbt >= "0.2.1"
101. ppx_wideopen
102. prbnmcn-basic-structures
103. prbnmcn-proptest
104. primes
105. profiler-plugin
106. randii
107. rfc7748
108. rocq-runtime
109. safemoney
110. sail < "0.15"
111. salto-analyzer
112. satML-plugin
113. sexp_grammar >= "v0.16.0"
114. smtml
115. solidity-common
116. tezos-base58
117. tezos-context-hash
118. tezos-stdlib < "12.3"
119. tptp
120. voqc
121. why3 >= "1.8.0"
122. yices2
123. yices2_bindings
124. z3 >= "4.8.7"
125. zarith-ppx
126. zenon_modulo
127. zipperposition < "2.1"
128. zipperposition-tools < "2.1"

None