pragmatism first

coqdep

Loading manual page ...

This manual	Reference	Other manuals
coqdep(1)	referred by	coq_makefile(1) \| coqc(1) \| coqchk(1) \| coqide(1) \| coqtop(1)
coqdep(1)	refer to	coqc(1) \| make(1) \| ocamlc(1)