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 < "2.5.0"
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. bignum >= "v0.13.0" & < "v0.15.0"
21. binsec
22. bitvec
23. bitwuzla >= "1.0.0"
24. bitwuzla-cxx
25. bn128
26. bt
27. caisar
28. calli
29. clp_operations
30. cryptokit >= "1.11"
31. ctypes-zarith
32. data-encoding
33. dht < "0.2.0"
34. encoding
35. exenum >= "0.84"
36. farith
37. feat
38. ff
39. ff-pbt
40. ff-sig
41. fm-simplex-plugin
42. frama-c >= "11.0" & != "15.0"
43. frama-c-base >= "15.0"
44. frama-clang
45. fstar >= "0.9.3.0-beta1"
46. gemini
47. goblint >= "1.1.1" & < "2.4.0"
48. goblint-cil >= "1.7.4"
49. hacl
50. hacl-star
51. hardcaml >= "v0.12.0" & < "v0.15.0"
52. hol_light
53. jasmin
54. jose
55. karamel
56. key-parsers
57. kremlin < "transition"
58. lem
59. letsencrypt < "0.3.0"
60. libzipperposition < "2.1"
61. logtk
62. malfunction
63. mc2
64. mec
65. mirage-crypto-pk < "1.0.0"
66. nocrypto
67. obeam
68. ocplib-simplex >= "0.5.1"
69. ortac-runtime
70. osdp
71. parsley
72. pilat = "1.3"
73. pkcs11 >= "0.10.0"
74. polynomial
75. ppx_wideopen
76. primes
77. profiler-plugin
78. reason-standard
79. rfc7748
80. safemoney
81. sail < "0.15"
82. satML-plugin
83. scaml
84. smtml
85. solidity-common
86. tezos-base58
87. tezos-context-hash
88. tezos-crypto < "8.0"
89. tezos-protocol-environment >= "8.0" & < "11.0"
90. tezos-stdlib < "11.0"
91. tptp
92. voqc
93. why3 >= "0.84" & < "1.0.0"
94. yices2
95. yices2_bindings
96. z3 >= "4.8.7"
97. zarith-freestanding = "1.9.1"
98. zarith-ppx
99. zipperposition < "1.1" | >= "1.5.1" & < "2.1"
100. zipperposition-tools < "2.1"

None