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