Version: 5
Template: github
Owner: math-comp
Project: finmap
Custom-Version: v([\d\.]+)
