Broken dependencies: coq