It looks like https://github.com/ScoopInstaller/Extras/blob/master/bucket/springboot.json is maintained independently and the version we generate is not required.