Version: 5
Template: github
Owner: affeldt-aist
Project: rocqnavi
Custom-Version: rocqnavi\.@ANY_VERSION@
