# Hack to see Coq-Elpi even if it is not installed yet
-Q ../../theories elpi
-I ../../src

-R theories elpi.apps

theories/NES.v

