Version: 5
Template: gitlab
Dist: https://gitlab.inria.fr/fpottier/menhir
Repacksuffix: +ds
DVersionMangle: s/\+ds//
