coqtop.byte
coqtop
minicoq
coqtop.opt
glob.dump
tmp
.depend.devel
newtheories
newcontrib
*.v8