package zarith

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

None

1. alt-ergo < "2.3.0"
2. alt-ergo-free
3. alt-ergo-lib < "2.5.1"
4. altgr-ergo < "2.3.0"
5. archsat
6. asli
7. asn1-combinators < "0.3.1"
8. awa
9. awsm
10. bap-mips >= "2.2.0"
11. bap-patterns
12. bap-powerpc
13. bap-primus-random >= "2.2.0"
14. bap-primus-symbolic-executor
15. bap-radare2
16. bap-std
17. bignum < "v0.15.0"
18. binsec
19. bitvec
20. bitwuzla >= "1.0.0"
21. bitwuzla-cxx
22. bn128
23. caisar
24. calli
25. clp_operations
26. cryptokit
27. ctypes-zarith
28. data-encoding
29. exenum >= "0.84"
30. farith
31. feat
32. fm-simplex-plugin
33. frama-c < "29.0~beta"
34. frama-clang
35. fstar < "2025.02.17"
36. gemini
37. giflib
38. goblint-cil >= "1.7.4"
39. hacl
40. hacl-star
41. hardcaml < "v0.15.0"
42. hol_light
43. jose
44. karamel
45. kdl >= "0.2.0"
46. key-parsers
47. kremlin < "transition"
48. lem
49. libzipperposition < "2.1"
50. logtk
51. malfunction
52. mirage-crypto-pk < "1.1.0"
53. nocrypto
54. obeam
55. ocplib-simplex >= "0.5.1"
56. ortac-runtime
57. osdp
58. parsley
59. pilat < "1.6"
60. pkcs11 >= "0.10.0"
61. ppx_wideopen
62. primes
63. profiler-plugin
64. rfc7748
65. safemoney
66. sail < "0.15"
67. satML-plugin
68. smtml
69. solidity-common
70. tezos-base58
71. tezos-context-hash
72. tezos-stdlib < "12.3"
73. tptp
74. voqc
75. why3 >= "1.8.0"
76. yices2
77. yices2_bindings
78. z3 >= "4.8.7"
79. zarith-ppx
80. zipperposition < "2.1"
81. zipperposition-tools < "2.1"

None