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

