Quelle  _CoqProject   Sprache: unbekannt

META.coq-test-suite
-Q theories Quotation

# we need -I . so coqdep can find the META
# and -I src so ocamllibdep finds the contents
-I .
-I src

src/quotation.mlg
src/quotation_plugin.mlpack
theories/quotation.v