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. 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. bigdecimal
20. bignum >= "v0.13.0"
21. binsec
22. bitpack_serializer
23. bitvec
24. bitwuzla >= "1.0.0"
25. bitwuzla-cxx
26. bls12-381 < "20.1"
27. bls12-381-gen
28. bls12-381-js-gen < "0.4.2"
29. bls12-381-legacy
30. bls12-381-unix
31. bn128
32. caisar
33. calcium < "0.4.0"
34. calli
35. catala
36. cborl
37. class_group_vdf
38. cloudi = "2.0.6"
39. clp_operations
40. colibri2
41. colibrics
42. colibrilib
43. coq >= "8.13.0" & < "8.17.0"
44. coq-core < "9.0.0"
45. coq-lsp >= "0.2.0+8.17" & < "0.2.0+8.20"
46. cryptokit
47. ctypes-zarith
48. data-encoding
49. decimal
50. dolmen_model
51. exenum >= "0.84"
52. farith
53. feat
54. ff
55. ff-pbt
56. ff-sig
57. flint
58. fm-simplex-plugin
59. frama-c
60. frama-clang
61. fstar < "2025.02.17"
62. gemini
63. giflib
64. goblint
65. goblint-cil >= "1.7.4"
66. hacl
67. hacl-star
68. hardcaml
69. herdtools7 = "7.57"
70. hol_light
71. jasmin
72. jose
73. karamel
74. kdl >= "0.2.0"
75. key-parsers
76. kremlin < "transition"
77. lem
78. libzipperposition < "2.1"
79. logtk
80. malfunction
81. mc2
82. mec
83. mirage-crypto-pk < "1.1.0"
84. mopsa
85. nocrypto
86. obeam
87. ocplib-simplex >= "0.5.1"
88. octez-l2-libs < "20.1"
89. octez-libs < "20.1"
90. octez-polynomial
91. octez-proto-libs < "20.1"
92. orgeat
93. ortac-runtime
94. osdp
95. parsley
96. pilat >= "1.6"
97. pkcs11 >= "0.10.0"
98. polynomial
99. ppx_pbt >= "0.2.1"
100. ppx_wideopen
101. prbnmcn-basic-structures
102. prbnmcn-proptest
103. primes
104. profiler-plugin
105. randii
106. rfc7748
107. rocq-runtime
108. safemoney
109. sail < "0.15"
110. satML-plugin
111. sexp_grammar >= "v0.16.0"
112. smtml
113. solidity-common
114. tezos-base58
115. tezos-context-hash
116. tezos-crypto >= "16.0"
117. tezos-hacl
118. tezos-lazy-containers
119. tezos-micheline >= "16.0"
120. tezos-protocol-environment
121. tezos-stdlib
122. tezos-webassembly-interpreter
123. tptp
124. voqc
125. why3 >= "1.8.0"
126. yices2
127. yices2_bindings
128. z3 >= "4.8.7"
129. zarith-ppx
130. zenon_modulo
131. zipperposition < "2.1"
132. zipperposition-tools < "2.1"

None