Version: 5

Template: Github
Dversionmangle: auto
Owner: typetools
Project: checker-framework
Repack: yes
Repacksuffix: +ds
