zip = "^2.5.0" is yanked

[juhp]

I don't know the crates ecosystem well, but apparently zip 2.5.0, 2.6.0 and 2.6.1 were "yanked" from crates.io:

https://crates.io/crates/zip/versions

Short version: elan now seems to fail to build out of the box...

error: failed to compile `elan v4.1.2 (/var/home/petersen/copr/lean/elan/BUILD/elan-4.1.2-build/elan-4.1.2)`, intermediate artifacts can be found at `/var/home/petersen/copr/lean/elan/BUILD/elan-4.1.2-build/elan-4.1.2/target`.
To reuse those artifacts with a future compilation, set the environment variable `CARGO_TARGET_DIR` to that path.

Caused by:
  failed to select a version for the requirement `zip = "^2.5.0"`
    version 2.5.0 is yanked
    version 2.6.0 is yanked
    version 2.6.1 is yanked
  location searched: crates.io index
  required by package `elan v4.1.2 (/var/home/petersen/copr/lean/elan/BUILD/elan-4.1.2-build/elan-4.1.2)`

Building with zip@3.0.0 seems to work (I didn't try zip@4.0.0).