Version: 5
Template: github
Owner: coq
Project: coq
DVersionmangle: s/\+dfsg//
Repacksuffix: +dfsg
Version-Type: SEMANTIC_VERSION
