Right now, 7.1.0 is not actually on Bazel Central Registry due to some issues that came up during that process. Those have since been fixed (I think), but the process either needs to be retriggered, or 7.1.0 should be "yanked" and 7.1.1 released. As it stands, the instructions in the 7.1.0 release are incorrect since 7.1.0 doesn't actually exist on BCR.