Mirror of the git repository of Coq now hosted at https://github.com/coq/coq (synchronized every 15min)