package dune-site

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

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. hegel
26. leaflet >= "0.2"
27. libsail
28. liquidsoap-lang
29. matita
30. neural_nets_lib >= "0.6.0"
31. ortac-core
32. owi >= "0.2"
33. piaf >= "0.2.0"
34. quill < "1.0.0~alpha3"
35. scope
36. smtml >= "0.22.0"
37. stog >= "0.20.0"
38. uring-trace
39. why3find

None