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

None