Reference Manual¶ These documents specify the various features and languages present in Dune. Files dune dune-project dune-workspace config Lexical Conventions Languages Actions Ordered Set Language Boolean Language Predicate Language Library Dependencies Preprocessing Specification Cram Tests Concepts Variables Dependency Specification OCaml Flags Sandboxing Locks Diffing and Promotion Diffing Promotion Package Specification Aliases Foreign Code Foreign Stubs Foreign Archives Extra Objects Flags in Foreign Code Dune Components Command Line Interface Dune Libraries Dune Caches How Caching Works Configuration Cache Storage Mode Trimming the Cache Reproducibility Integrations The Rocq Prover Build Language Coq Dune RPC Packages Findlib Integration