Version: 5

Template: GitHub
Owner: gap-packages
Project: float
Dversionmangle: s/\+ds//
Repack: yes
Repacksuffix: +ds
