package batteries

1. num
2. ocamlbuild build
3. ocamlfind build & >= "1.5.3"
4. ocaml >= "4.00.0" & < "4.12.0"

1. qcheck with-test & >= "0.6" & < "0.14"
2. qtest with-test & >= "2.5"

1. acpc
2. bamboo
3. bookaml
4. bst >= "5.0.0"
5. camlhighlight
6. ccss
7. clangml < "4.0.0"
8. clangml-transforms < "0.24"
9. cpm
10. csvprovider
11. daft
12. distributed < "0.3.0"
13. earlybird < "1.0.0"
14. electrumAnalyzer < "0.3.5-2"
15. expect >= "0.0.4"
16. fstar
17. gen-bs
18. get_line
19. goblint < "2.0.0"
20. goblint-cil >= "1.8.0" & < "2.0.0"
21. grib < "0.11.0"
22. gtk-light
23. hdf
24. horned_worm < "0.3.1"
25. hts_shrink
26. jasmin < "2022.09.0"
27. jhupllib >= "0.2.2"
28. jingoo < "1.2.13"
29. karamel
30. kremlin < "transition"
31. lambdoc
32. lbvs_consent
33. lilis < "0.2.1"
34. line_oriented
35. linwrap < "9.1.4"
36. liquid_syntax
37. markdown
38. merlin-acme
39. modelica_ml
40. molenc < "16.5.0"
41. monadlib
42. mutf8
43. obandit
44. obigstore
45. odnnr
46. ogen = "0.1.2"
47. omlr
48. oplsr
49. oranger < "3.0.1"
50. orf
51. orrandomForest >= "3.0.0"
52. orsvm_e1071
53. orxgboost
54. otetris
55. pa_comprehension
56. pardi
57. pb-plugin
58. pds-reachability
59. pgocaml >= "1.7" & < "2.0"
60. portia
61. ppx_nanocaml
62. profound
63. rankers
64. redis < "0.2.1"
65. remu_ts
66. resource-pooling < "0.2"
67. simple-bmc
68. sparrow
69. spirv
70. sqlexpr >= "0.5.5" & < "0.7.1"
71. svmwrap
72. telegraml
73. testsimple
74. typeid
75. ucorelib >= "0.1.0"
76. vcardgen >= "1.1"
77. yajl-extra >= "0.7.3"

None