@OCamlStdlibDir@/psmt2-frontend/*opam*
@OCamlStdlibDir@/psmt2-frontend/*dune*
# the rest is added by d/rules

