Dev contribs depend on Coq >= 8.5