coq- used as a prefix and three digits version numbers