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 < "2.5.1"
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. bignum >= "v0.13.0" & < "v0.15.0"
18. binsec
19. bitpack_serializer
20. bitvec
21. bitwuzla >= "1.0.0"
22. bitwuzla-cxx
23. bls12-381 < "18.0"
24. bls12-381-gen
25. bls12-381-js >= "0.4.2"
26. bls12-381-js-gen
27. bls12-381-legacy
28. bls12-381-unix
29. bn128
30. caisar
31. calli
32. catala < "0.5.0"
33. class_group_vdf
34. clp_operations
35. coq >= "8.13.0" & < "8.16.0"
36. cryptokit
37. ctypes-zarith
38. data-encoding
39. decimal
40. dolmen_model
41. exenum >= "0.84"
42. farith
43. feat
44. ff
45. ff-pbt
46. ff-sig
47. fm-simplex-plugin
48. frama-c
49. frama-clang
50. fstar < "2025.02.17"
51. gemini
52. giflib
53. goblint
54. goblint-cil >= "1.7.4"
55. hacl
56. hacl-star
57. hardcaml < "v0.15.0"
58. herdtools7 = "7.57"
59. hol_light
60. jasmin
61. jose
62. karamel
63. kdl >= "0.2.0"
64. key-parsers
65. kremlin < "transition"
66. lem
67. libzipperposition < "2.1"
68. logtk
69. malfunction
70. mc2
71. mec
72. mirage-crypto-pk < "1.1.0"
73. mopsa
74. nocrypto
75. obeam
76. ocplib-simplex >= "0.5.1"
77. ortac-runtime
78. osdp
79. parsley
80. pkcs11 >= "0.10.0"
81. polynomial
82. ppx_wideopen
83. prbnmcn-basic-structures
84. primes
85. profiler-plugin
86. reason-standard
87. rfc7748
88. safemoney
89. sail < "0.15"
90. satML-plugin
91. smtml
92. solidity-common
93. tezos-base58
94. tezos-context-hash
95. tezos-stdlib < "12.3"
96. tptp
97. voqc
98. why3 >= "1.8.0"
99. yices2
100. yices2_bindings
101. z3 >= "4.8.7"
102. zarith-ppx
103. zipperposition < "2.1"
104. zipperposition-tools < "2.1"

None