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
52. frama-clang
53. fstar < "2025.02.17"
54. gemini
55. goblint
56. goblint-cil >= "1.7.4"
57. hacl
58. hacl-star
59. hardcaml
60. herdtools7 = "7.57"
61. hol_light
62. jasmin
63. jose
64. karamel
65. kdl >= "0.2.0"
66. key-parsers
67. kremlin < "transition"
68. lem
69. libzipperposition < "2.1"
70. logtk
71. malfunction
72. mc2
73. mec
74. mirage-crypto-pk < "1.1.0"
75. mopsa
76. nocrypto
77. obeam
78. ocplib-simplex >= "0.5.1"
79. orgeat
80. ortac-runtime
81. osdp
82. parsley
83. pkcs11 >= "0.10.0"
84. polynomial
85. ppx_wideopen
86. prbnmcn-basic-structures
87. primes
88. profiler-plugin
89. rfc7748
90. rocq-runtime
91. safemoney
92. sail < "0.15"
93. satML-plugin
94. sexp_grammar >= "v0.16.0"
95. smtml
96. solidity-common
97. tezos-base58
98. tezos-context-hash
99. tezos-stdlib < "12.3"
100. tptp
101. voqc
102. why3 >= "1.8.0"
103. yices2
104. yices2_bindings
105. z3 >= "4.8.7"
106. zarith-ppx
107. zenon_modulo
108. zipperposition < "2.1"
109. zipperposition-tools < "2.1"

None