version=4
opts="mode=git,pgpmode=none,pretty=1.09~git%cd.%h" \
https://github.com/debrouxl/tilp_and_gfm \
HEAD debian debian/clean-orig-source
