Repositories renamed using the namespace coq:
Dependency name updated