Version: 5
Template: github
Owner: coq-community
Project: coq-dpdgraph
Custom-Version: v?([\d\.]+\+[\d\.]+)
