package menhir

1. ocamlbuild build & < "0.9.1"
2. ocamlfind
3. ocaml < "5.0"

None

1. acgtk >= "1.5.0" & < "1.5.3"
2. alba < "0.4.3"
3. alt-ergo >= "2.0.0" & < "2.3.0" | >= "2.4.0"
4. alt-ergo-free < "2.3.3"
5. alt-ergo-parsers
6. alt-ergo-parsers-free
7. archetype < "1.0.0" | >= "1.2.1" & < "1.2.5"
8. asli
9. atd < "2.3.3"
10. bamboo
11. binsec < "0.4.0"
12. caper
13. caradoc
14. cca < "0.4"
15. ccss
16. cfg < "2.1.0"
17. charrua-core
18. charrua-server < "1.4.0"
19. coccinelle < "1.0.0-rc23" | >= "1.0.7" & < "1.1.0"
20. codept = "0.10.3"
21. coin < "0.1.4"
22. combine >= "0.42"
23. DrawGrammar
24. dedukti < "2.7"
25. doc-ock-xml
26. drom_toml
27. dune >= "3.17.0"
28. edn < "0.2.0"
29. electrod
30. embedded_ocaml_templates < "0.3.1"
31. encoding < "0.0.2"
32. erlang
33. FrontC = "4.0.0"
34. forester != "2.1" & < "3.0.0"
35. frama-c-luncov >= "0.2.1"
36. frenetic >= "5.0.0" & < "5.0.5"
37. gadelac
38. gdb
39. gdbprofiler < "0.4"
40. genet
41. gobba >= "0.4.2"
42. gufo
43. heptagon < "1.01.00"
44. imaplet-lwt
45. inferno >= "20220603"
46. js_of_ocaml >= "1.4.0" & < "3.0"
47. js_of_ocaml-compiler >= "3.7.1"
48. kdl
49. kind2 < "1.6.0"
50. labrys
51. lambdapi < "2.0.0"
52. lambdoc
53. libzipperposition
54. lilis
55. links >= "0.9" & < "0.9.4"
56. logtk >= "1.5.1"
57. lp < "0.4.0"
58. lsp < "1.8.0"
59. mazeppa < "0.4.1"
60. mc2
61. merlin < "2.0.0" | >= "3.5.0" & != "4.6-414" & < "4.7-414"
62. merlin-lib < "4.8~5.1preview"
63. mezzo
64. minicaml < "0.3.3"
65. modelica_ml
66. msat = "0.8"
67. mustache >= "3.0.0" & < "3.1.0"
68. nice_parser
69. nunchaku
70. obelisk < "0.7.0"
71. obrowser
72. ocaml-lsp-server < "1.2.0"
73. ocaml-r < "0.1.0"
74. odate < "0.7"
75. odds
76. ollvm
77. ollvm-tapir
78. ometrics < "0.2.0"
79. otoml
80. p4pp < "0.1.8"
81. petr4
82. phylogenetics
83. profound
84. psmt2-frontend < "0.3.0"
85. rdf >= "0.5" & < "0.10.0"
86. rfsm
87. runtime_events_tools >= "0.5.0"
88. sail < "0.15"
89. sgf
90. shapefile
91. sibylfs
92. smbc < "0.4.2"
93. smtlib-utils < "0.4"
94. sociaml-vcard
95. solidity-parser
96. spdiff
97. sqlgg < "20231201"
98. stog-writing
99. tip-parser
100. toml < "7.1.0"
101. tptp >= "0.3.1"
102. uuuu < "0.3.0"
103. wcs-lib >= "2017-05-26.02"
104. why3-base >= "0.86"
105. wikitext
106. zanuda
107. zephyrus
108. zipperposition >= "1.1"

None