package num

1. ocaml >= "4.06.0"

None

1. aez
2. alt-ergo < "2.3.0"
3. alt-ergo-free
4. alt-ergo-lib < "2.5.1"
5. altgr-ergo < "2.3.0"
6. archetype >= "0.1.4"
7. arrayjit
8. base58
9. batteries
10. bignum
11. camlprime
12. cca
13. clarity-lang
14. cloudi < "2.0.6"
15. coccinelle
16. combine
17. coq < "8.14.0"
18. csvfields
19. cubicle
20. deriving
21. exenum < "0.84"
22. feat-num
23. General
24. goblint-cil < "1.7.4"
25. hardcaml_waveterm
26. hol_light
27. js_of_ocaml >= "3.10.0"
28. js_of_ocaml-compiler >= "3.10.0"
29. js_of_ocaml-lwt >= "3.10.0"
30. js_of_ocaml-ocamlbuild >= "3.10.0" & < "5.0"
31. js_of_ocaml-ppx >= "3.10.0"
32. js_of_ocaml-ppx_deriving_json >= "3.10.0"
33. js_of_ocaml-toplevel >= "3.10.0"
34. js_of_ocaml-tyxml >= "3.10.0"
35. kappa-library
36. kaputt
37. kind2
38. lem
39. logtk >= "2.1"
40. lustre-v6 >= "6.103.3"
41. lutils
42. lutin
43. mldonkey
44. mlsolver
45. msgpack
46. mysql_protocol
47. neural_nets_lib
48. ocamlyices
49. ocplib-simplex < "0.5.1"
50. orm
51. orpie
52. pfff < "0.40.4"
53. pgsolver >= "4.4"
54. piqi >= "0.7.6"
55. polka
56. ppx_cstubs
57. pyml = "20190626"
58. rdbg >= "1.196.12"
59. rlp
60. rml
61. sexplib
62. spirv < "1.1.2"
63. TCSLib
64. tcs-lib
65. tplib
66. wasm_of_ocaml-compiler
67. why3 < "1.8.0"
68. z3 < "4.8.7"

1. base-num