package zarith

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

None

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

None