# Compulsory line, this is a version 4 file
version=4

# Uncomment to examine a Webpage
# <Webpage URL> <string match>
# http://svn.cprover.org/svn/cbmc/releases/ cbmc-(.*)/
https://github.com/diffblue/cbmc/tags .*/cbmc-(\d\S*)\.tar\.gz
