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.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"
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
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. orgeat
90. ortac-runtime
91. osdp
92. parsley
93. patricia-tree < "0.10.0"
94. pilat >= "1.6"
95. pkcs11 >= "0.10.0"
96. polynomial
97. ppx_pbt >= "0.2.1"
98. ppx_wideopen
99. prbnmcn-basic-structures
100. prbnmcn-proptest
101. primes
102. profiler-plugin
103. randii
104. rfc7748
105. rocq-runtime
106. safemoney
107. sail < "0.15"
108. salto-analyzer
109. satML-plugin
110. sexp_grammar >= "v0.16.0"
111. smtml
112. solidity-common
113. tezos-base58
114. tezos-context-hash
115. tezos-stdlib < "12.3"
116. tptp
117. voqc
118. why3 >= "1.8.0"
119. yices2
120. yices2_bindings
121. z3 >= "4.8.7"
122. zarith-ppx
123. zenon_modulo
124. zipperposition < "2.1"
125. zipperposition-tools < "2.1"

None