version=4
opts="mode=git,pgpmode=none,\
filenamemangle=s/(.+)/esbmc_$1.orig.tar.gz/,\
repacksuffix=+dfsg,\
dversionmangle=s/\+dfsg//;s/\.0$//" \
  https://github.com/esbmc/esbmc.git \
  refs/tags/v(\d[\d.]*)$
