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. 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
84. mopsa
85. nocrypto
86. obeam
87. ocplib-simplex >= "0.5.1"
88. orgeat
89. ortac-runtime
90. osdp
91. parsley
92. patricia-tree < "0.10.0"
93. pilat >= "1.6"
94. pkcs11 >= "0.10.0"
95. polynomial
96. ppx_pbt >= "0.2.1"
97. ppx_wideopen
98. prbnmcn-basic-structures
99. prbnmcn-proptest
100. primes
101. profiler-plugin
102. randii
103. rfc7748
104. rocq-runtime
105. safemoney
106. sail < "0.15"
107. salto-analyzer
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