package zarith

1. conf-perl build
2. conf-gmp
3. ocamlfind build
4. ocaml

None

1. alt-ergo < "2.3.0"
2. alt-ergo-free
3. alt-ergo-lib
4. altgr-ergo < "2.3.0"
5. archsat
6. asli
7. asn1-combinators < "0.3.1"
8. awa
9. awsm
10. bap-mips >= "2.2.0"
11. bap-patterns
12. bap-powerpc
13. bap-primus-random >= "2.2.0"
14. bap-primus-symbolic-executor
15. bap-radare2
16. bap-std
17. bigdecimal
18. bignum >= "v0.13.0"
19. binsec
20. bitpack_serializer
21. bitvec
22. bitwuzla >= "1.0.0"
23. bitwuzla-cxx
24. bls12-381 < "18.0"
25. bls12-381-gen
26. bls12-381-js >= "0.4.2"
27. bls12-381-js-gen
28. bls12-381-legacy
29. bls12-381-unix
30. bn128
31. caisar
32. calli
33. catala < "0.5.0"
34. class_group_vdf
35. clp_operations
36. coq >= "8.13.0" & < "8.17.0"
37. coq-core < "9.0.0"
38. coq-lsp >= "0.2.0+8.17" & < "0.2.0+8.20"
39. cryptokit
40. ctypes-zarith
41. data-encoding
42. decimal
43. dolmen_model
44. exenum >= "0.84"
45. farith
46. feat
47. ff
48. ff-pbt
49. ff-sig
50. fm-simplex-plugin
51. frama-c < "32.0~beta"
52. frama-clang
53. fstar < "2025.02.17"
54. gemini
55. giflib
56. goblint
57. goblint-cil >= "1.7.4"
58. hacl
59. hacl-star
60. hardcaml
61. herdtools7 = "7.57"
62. hol_light
63. jasmin
64. jose
65. karamel
66. kdl >= "0.2.0"
67. key-parsers
68. kremlin < "transition"
69. lem
70. libzipperposition < "2.1"
71. logtk
72. malfunction
73. mc2
74. mec
75. mirage-crypto-pk < "1.1.0"
76. mopsa
77. nocrypto
78. obeam
79. ocplib-simplex >= "0.5.1"
80. orgeat
81. ortac-runtime
82. osdp
83. parsley
84. pkcs11 >= "0.10.0"
85. polynomial
86. ppx_wideopen
87. prbnmcn-basic-structures
88. primes
89. profiler-plugin
90. rfc7748
91. rocq-runtime
92. safemoney
93. sail < "0.15"
94. satML-plugin
95. sexp_grammar >= "v0.16.0"
96. smtml
97. solidity-common
98. tezos-base58
99. tezos-context-hash
100. tezos-stdlib < "12.3"
101. tptp
102. voqc
103. why3 >= "1.8.0"
104. yices2
105. yices2_bindings
106. z3 >= "4.8.7"
107. zarith-ppx
108. zenon_modulo
109. zipperposition < "2.1"
110. zipperposition-tools < "2.1"

None