DEVEL = Coq

include ../Makefile.common