package dune-site

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

1. odoc with-doc

1. alt-ergo >= "2.5.0"
2. binsec >= "0.4.0"
3. caisar
4. calcium < "0.4.0"
5. camomile >= "2.0.0"
6. caqti >= "2.1.1"
7. conan-cli
8. flint
9. frama-c >= "26.0~beta"
10. goblint >= "1.1.1"
11. libsail
12. liquidsoap-lang
13. matita
14. ortac-core
15. owi >= "0.2"
16. piaf >= "0.2.0"
17. stog >= "0.20.0"
18. uring-trace
19. why3find

None