Coqdeplib.Makefile
val print_dep : Stdlib.Format.formatter -> Dep_info.t -> unit
val set_dyndep : string -> unit
val set_noglob : bool -> unit
val set_write_vos : bool -> unit