Counting uses the coq-contribs repo