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