Version: 5

# using '~' to be able to stick to version 1.0.2 which might be a previous tag then latest
Source: https://github.com/hwmcc/btor2tools.git
Matching-Pattern: HEAD
Mode: git
Git-Pretty: 1.0.2~git%cd.%h
