Version: 5
Template: github
Owner: mattam82
Project: Coq-Equations
Custom-Version: v([\d\.]+-[\d\.]+)
