version=3
opts=filenamemangle=s/.+\/z3-(\d\S*)\.tar\.gz/z3-$1\.tar\.gz/ \
  https://github.com/Z3Prover/z3/tags .*/z3-(\d\S*)\.tar\.gz
