_CoqProject

-arg -w -arg +elpi.deprecated

-R theories elpi
-Q examples elpi.examples
-Q tests    elpi.tests
-Q src      elpi
-Q apps/derive/tests elpi.apps.derive.tests
-Q tests    elpi.tests
-Q elpi     elpi

-R apps/derive/theories elpi.apps
-R apps/derive/tests    elpi.apps.derive.tests
-R apps/derive/examples elpi.apps.derive.examples
-R apps/NES/theories elpi.apps
-R apps/NES/tests    elpi.apps.NES.tests
-R apps/NES/examples elpi.apps.NES.examples
-R apps/eltac/theories elpi.apps.eltac
-R apps/eltac/tests    elpi.apps.eltac.tests
-R apps/eltac/examples elpi.apps.eltac.examples

theories/elpi.v
theories/wip/memoization.v

-I src
src/META.coq-elpi

src/coq_elpi_vernacular_syntax.mlg
src/coq_elpi_vernacular.ml
src/coq_elpi_vernacular.mli
src/coq_elpi_programs.ml
src/coq_elpi_programs.mli
src/coq_elpi_utils.mli
src/coq_elpi_utils.ml
src/coq_elpi_HOAS.ml
src/coq_elpi_HOAS.mli
src/coq_elpi_name_quotation.ml
src/coq_elpi_glob_quotation.ml
src/coq_elpi_glob_quotation.mli
src/coq_elpi_arg_HOAS.ml
src/coq_elpi_arg_HOAS.mli
src/coq_elpi_arg_syntax.mlg
src/coq_elpi_builtins_HOAS.ml
src/coq_elpi_builtins.ml
src/coq_elpi_builtins.mli
src/coq_elpi_config.ml

src/elpi_plugin.mlpack