Dev contribs now depend on Coq >= 8.5