Version: 5
Mode: git
Source: https://github.com/esbmc/esbmc.git
Matching-Pattern: refs/tags/?[Vv]([\d\.]+.*?)
Dversion-Mangle: auto
Repacksuffix: +dfsg
