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 < "2.3.3"
3. alt-ergo-lib
4. alt-ergo-lib-free
5. altgr-ergo < "2.3.0"
6. archsat
7. asli
8. asn1-combinators < "0.3.0"
9. awa
10. awsm
11. bamboo < "0.0.02"
12. bap < "1.0.0"
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 >= "0.4.2"
30. bls12-381-js-gen
31. bls12-381-legacy
32. bls12-381-unix
33. bn128
34. bt
35. caisar
36. calli
37. catala < "0.5.0"
38. class_group_vdf
39. clp_operations
40. coq >= "8.13.0" & < "8.17.0"
41. coq-core
42. coq-lsp >= "0.2.0+8.17" & < "0.2.0+8.20"
43. cryptokit >= "1.11"
44. ctypes-zarith
45. data-encoding
46. decimal
47. dht < "0.2.0"
48. dolmen_model
49. encoding
50. exenum >= "0.84"
51. farith
52. feat
53. ff
54. ff-pbt
55. ff-sig
56. fm-simplex-plugin
57. frama-c >= "11.0" & != "15.0"
58. frama-c-base >= "15.0"
59. frama-clang
60. fstar >= "0.9.3.0-beta1"
61. gemini
62. goblint >= "1.1.1"
63. goblint-cil >= "1.7.4"
64. hacl
65. hacl-star
66. hardcaml >= "v0.12.0"
67. herdtools7 >= "7.57"
68. hol_light
69. jasmin
70. jose
71. karamel
72. key-parsers
73. kremlin < "transition"
74. lem
75. letsencrypt < "0.3.0"
76. libzipperposition < "2.1"
77. logtk
78. malfunction
79. mc2
80. mec
81. mirage-crypto-pk < "1.0.0"
82. mopsa
83. nocrypto
84. obeam
85. ocplib-simplex >= "0.5.1"
86. orgeat
87. ortac-runtime
88. osdp
89. parsley
90. pilat = "1.3"
91. pkcs11 >= "0.10.0"
92. polynomial
93. ppx_wideopen
94. prbnmcn-basic-structures
95. primes
96. profiler-plugin
97. rfc7748
98. safemoney
99. sail < "0.15"
100. satML-plugin
101. scaml
102. sexp_grammar >= "v0.16.0"
103. smtml
104. solidity-common
105. tezos-base58
106. tezos-context-hash
107. tezos-crypto < "8.0"
108. tezos-protocol-environment >= "8.0" & < "11.0"
109. tezos-stdlib < "11.0"
110. tptp
111. voqc
112. why3 >= "0.84" & < "1.0.0"
113. yices2
114. yices2_bindings
115. z3 >= "4.8.7"
116. zarith-freestanding = "1.11"
117. zarith-ppx
118. zenon_modulo
119. zipperposition < "1.1" | >= "1.5.1" & < "2.1"
120. zipperposition-tools < "2.1"

None