The simplest would probably be to just bump the de...
# plugins
f
The simplest would probably be to just bump the default version. Pants has checksums like this for downloads in several places, and past practice has just been to have a default version. If the user wants a different version, they have to update the known checksums on their own.
1