
(executable
 (name coqdep)
 (public_name coqdep)
 (package coq-core)
 (modules coqdep)
 (libraries coqdeplib))
