Version: 5
Template: github
Owner: eprover
Project: eprover
Repacksuffix: +ds
DVersionMangle: s/\+ds//
Custom-Version: E-([\d\.]+)
