(...if the version that pants needs has changed, we use a manual inbound whl sync that we would use for any other 3rdparty dep)