I then set a version in pants.ini, but that's not ...
# general
a
I then set a version in pants.ini, but that's not what downloads first.