package num

1. ocamlfind build & >= "1.7.3"
2. ocaml >= "4.06.0"

None

1. aez
2. alt-ergo < "2.3.0"
3. alt-ergo-free < "2.3.3"
4. alt-ergo-lib < "2.5.0"
5. alt-ergo-lib-free
6. altgr-ergo < "2.3.0"
7. archetype >= "0.1.4"
8. arrayjit
9. base58
10. batteries
11. bignum >= "v0.10.0"
12. camlprime
13. cca
14. cil
15. clarity-lang
16. cloudi >= "1.7.4" & < "2.0.6"
17. coccinelle >= "1.0.0.1"
18. combine
19. coq < "8.14.0"
20. core_kernel = "v0.9.0"
21. cryptokit < "1.11"
22. csvfields >= "v0.10.0"
23. cubicle
24. datalog >= "0.5" & < "0.6"
25. deriving
26. deriving-ocsigen < "0.5"
27. exenum < "0.84"
28. feat-num
29. frama-c-base < "15.0"
30. fstar < "0.9.4.0-beta0"
31. General >= "0.4.0"
32. glsurf
33. goblint-cil < "1.7.4"
34. hardcaml < "v0.12.0"
35. hardcaml_waveterm
36. js_of_ocaml >= "3.10.0"
37. js_of_ocaml-compiler >= "3.10.0"
38. js_of_ocaml-lwt >= "3.10.0"
39. js_of_ocaml-ocamlbuild >= "3.10.0" & < "5.0"
40. js_of_ocaml-ppx >= "3.10.0"
41. js_of_ocaml-ppx_deriving_json >= "3.10.0"
42. js_of_ocaml-toplevel >= "3.10.0"
43. js_of_ocaml-tyxml >= "3.10.0"
44. KaSim
45. kappa-library
46. kaputt
47. kind2
48. lem
49. logtk >= "2.1"
50. lustre-v6 >= "6.103.3"
51. lutils
52. lutin
53. mldonkey >= "3.1.3"
54. msgpack
55. mysql_protocol
56. neural_nets_lib
57. numerix
58. nunchaku
59. obigstore
60. ocamldbi
61. ocamlyices
62. ocplib-simplex < "0.5.1"
63. ocs
64. orm
65. orpie
66. pfff < "0.40.4"
67. piqi >= "0.7.6"
68. polka
69. ppx_cstubs
70. pyml >= "20180530" & < "20200115"
71. rdbg < "1.175" | >= "1.199.0"
72. rlp
73. rml
74. sexplib >= "v0.9.0"
75. spirv < "1.1.2"
76. TCSLib
77. tplib
78. why3 >= "1.0.0"
79. why3-base != "0.88.0"
80. z3 < "4.8.7"
81. zipperposition < "1.2"

1. ocaml-option-bytecode-only
2. base-num