version=4
opts="filenamemangle=s/.+\/v?(\d\S+)\.tar\.gz/esbmc-$1\.tar\.gz/,repacksuffix=+dfsg" \
  https://github.com/esbmc/esbmc/tags .*/v?(\d[\d.]+)\.tar\.gz
