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. msgpack
45. mysql_protocol
46. neural_nets_lib
47. ocamlyices
48. ocplib-simplex < "0.5.1"
49. orm
50. orpie
51. pfff < "0.40.4"
52. piqi >= "0.7.6"
53. polka
54. ppx_cstubs
55. pyml = "20190626"
56. rdbg >= "1.196.12"
57. rlp
58. rml
59. sexplib
60. spirv < "1.1.2"
61. TCSLib
62. tplib
63. wasm_of_ocaml-compiler
64. why3 < "1.8.0"
65. z3 < "4.8.7"

1. base-num