version=4
opts="filenamemangle=s/.+\/v(\d[^/]*)\.tar\.gz/esbmc_$1.orig.tar.gz/,\
repacksuffix=+dfsg,uversionmangle=s/(\d)[_\.\-]?(alpha|beta|rc)/\1~\2/" \
  https://github.com/esbmc/esbmc/tags .*/v(\d[\d.]+)\.tar\.gz
