version=4
https://github.com/coq/coq/releases .*/[vV]?(\d[^\s+]+)\.tar\.gz
