package dune-site

1. dune-private-libs = version
2. dune >= "3.23"

1. odoc with-doc

1. acgtk >= "2.2.0"
2. alt-ergo >= "2.5.1"
3. binsec
4. caisar
5. calcium < "0.4.0"
6. camomile >= "2.0.0"
7. caqti >= "2.1.1"
8. conan-cli
9. diffast-core
10. diffast-langs-cpp
11. diffast-langs-cpp-spec
12. diffast-langs-fortran
13. diffast-langs-fortran-spec
14. diffast-langs-java
15. diffast-langs-java-spec
16. diffast-langs-python
17. diffast-langs-python-spec
18. diffast-langs-verilog
19. diffast-langs-verilog-spec
20. flint
21. forester >= "5.0"
22. frama-c >= "26.0~beta"
23. gettext >= "0.5.0"
24. goblint
25. leaflet >= "0.2"
26. libsail
27. liquidsoap-lang
28. matita
29. neural_nets_lib >= "0.6.0"
30. ortac-core
31. owi >= "0.2"
32. piaf >= "0.2.0"
33. quill < "1.0.0~alpha3"
34. scope
35. smtml >= "0.22.0"
36. stog >= "0.20.0"
37. uring-trace
38. why3find

None