@OCamlStdlibDir@/coq-core/META
@OCamlStdlibDir@/rocq-runtime/META
@OCamlDllDir@/dllcoqrun_stubs.so
@OCamlDllDir@/dllcoqperf_stubs.so
@OCamlStdlibDir@/rocq-runtime/dev/ml_toplevel/include*
# *.cmo and *.cmxs files are added by debian/rules
