Version: 5
Template: github
Owner: LPCIC
Project: coq-elpi
Custom-Version: v([\d\.]+)
