@OCamlStdlibDir@/coq-core/dune-package
@OCamlStdlibDir@/coq-core/opam
@OCamlStdlibDir@/rocq-core/dune-package
@OCamlStdlibDir@/rocq-core/opam
@OCamlStdlibDir@/rocq-runtime/dune-package
@OCamlStdlibDir@/rocq-runtime/opam
# *.cm* files will be added here by debian/rules

