Quelle  dune   Sprache: unbekannt

(ocamllex coqpp_lex)
(ocamlyacc coqpp_parse)

(library
 (name coqpp)
 (wrapped false)
 (modules :standard \ coqpp)
 (modules_without_implementation coqpp_ast))

(executable
 (public_name coqpp)
 (empty_module_interface_if_absent)
 (package coq-core)
 (libraries coqpp)
 (modules coqpp))