package zarith

1. conf-perl build
2. conf-gmp
3. ocamlfind
4. ocaml < "5.0"

None

1. alt-ergo != "1.30" & < "2.3.0"
2. alt-ergo-lib < "2.4.1"
3. alt-ergo-lib-free
4. altgr-ergo < "1.30"
5. arakoon >= "1.8.6" & < "1.8.12"
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 < "113.24.00"
21. binsec < "0.4.0"
22. bitwuzla >= "1.0.0"
23. bitwuzla-cxx
24. bn128
25. bt
26. calli
27. clp_operations
28. ctypes-zarith
29. dht < "0.2.0"
30. exenum >= "0.84"
31. farith
32. feat
33. fm-simplex-plugin < "1.30"
34. frama-c >= "11.0" & != "15.0" & < "23.0"
35. frama-c-base >= "15.0"
36. fstar >= "0.9.3.0-beta1"
37. gemini
38. goblint-cil >= "1.7.4"
39. hacl-star
40. jose
41. karamel
42. key-parsers < "0.4.0"
43. kremlin < "transition"
44. letsencrypt < "0.3.0"
45. libzipperposition < "2.1"
46. logtk
47. malfunction
48. nocrypto
49. ocplib-simplex >= "0.5.1"
50. ortac-runtime
51. osdp < "1.1.0"
52. parsley
53. pilat < "1.6"
54. pkcs11 >= "0.10.0"
55. ppx_wideopen
56. primes
57. profiler-plugin < "1.30"
58. sail < "0.15"
59. satML-plugin < "1.30"
60. scaml
61. solidity-common
62. tezos-base58
63. tezos-context-hash
64. tezos-crypto < "8.0"
65. tezos-protocol-environment >= "8.0" & < "11.0"
66. tezos-stdlib < "11.0"
67. tptp
68. voqc < "0.2.1"
69. why3 >= "0.84" & < "1.0.0"
70. yices2
71. yices2_bindings
72. z3 >= "4.8.7"
73. zarith-ppx
74. zarith-xen < "1.4"
75. zipperposition < "2.1"
76. zipperposition-tools < "2.1"

None