@OCamlStdlibDir@/psmt2-frontend/META
# the rest is added by d/rules

